dmjio

module RedBlackTree
  (
    Tree,
    empty,
    member,
    insert)
where

data Color = R | B deriving Show

dmjio

{-# LANGUAGE
    DeriveGeneric,
    FlexibleInstances,
    FlexibleContexts,
    AllowAmbiguousTypes,
    ScopedTypeVariables,
    TypeApplications,
    TypeFamilies,
    TypeOperators,
    PartialTypeSignatures,

dmjio

# Function which takes a list of packages to install and creates a 
# tarball which contains the full list of dependencies of those paths, 
# and a script which will install them.
# 
# For example, here's how you would create a tarball packaging up 
# python3 and nodejs:
#
#
# let
#   pkgs = import <nixpkgs> {};

dmjio

{ pkgs ? import <nixpkgs> {}}:


let
  texpkgs = pkgs.texlive.combine {
    inherit (pkgs.texlive) scheme-small latexmk;
  };
in
  pkgs.stdenv.mkDerivation {
    name = "mbd";

dmjio

{ pkgs ? import <nixpkgs> {}}:


let
  texpkgs = pkgs.texlive.combine {
    inherit (pkgs.texlive) scheme-small latexmk;
  };
in
  pkgs.stdenv.mkDerivation {
    name = "mbd";

dmjio

// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console

dmjio

{ runCommand, fetchzip, cabal2nix }:
let
  package-src = runCommand "package-src" {
    src = fetchzip {
      url = "...zip";
      sha256 = "...";
    };
    buildInputs = [ cabal2nix ];
  }
  ''

dmjio

Type classes are a language of their own, this is an attempt to document some features.

Work in progress.

Accept values with varying number of arguments

Common technique used in EDSLs (embedded domain-specific languages) to accept functions with varying number of arguments.

(Hackage) QuickCheck

quickCheck :: Testable prop => prop -> IO ()

dmjio

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
module Nub where

import Data.Proxy
import Data.Type.Bool

dmjio

{ config, pkgs, ... }:

{
  imports =
    [ # Include the results of the hardware scan.
      ./hardware-configuration.nix

    ];

  time.timeZone = "America/Chicago";