Type-Driven Development with Idris

Solutions to exercises from Type-Driven Development with Idris by Edwin Brady, and tests thereof.

Package

package typedriven

pkgs       = effects

opts       = "--total"
sourcedir  = src

modules    = Exercises.GettingStarted
           , Exercises.Interactive
           , Chapter.DataTypes, Exercises.DataTypes
           , Exercises.InteractivePrograms
           , Chapter.State, Exercises.State
           , Chapter.StateMachines, Exercises.StateMachines
           , Chapter.DependentStateMachines, Exercises.DependentStateMachines

brief      = "Solutions to exercises in Type-Driven Development with Idris."
readme     = README.org
license    = MIT
author     = "Eric Bailey"

homepage   = https://github.com/yurrriq/tdd-with-idris
sourceloc  = https://github.com/yurrriq/tdd-with-idris
bugtracker = https://github.com/yurrriq/tdd-with-idris/issues

Test package

package typedriven.test

pkgs       = test

opts       = "--total"
sourcedir  = src

modules    = Exercises.Test.GettingStarted
           , Exercises.Test.Interactive
           , Exercises.Test.DataTypes
           , Exercises.Test.State
           , Test.Helpers

brief      = "Test for exercises in Type-Driven Development with Idris."
author     = "Eric Bailey"

nix-shell config

{ doCheck ? false }:

with import <nixpkgs> {};

let
  idris = callPackage ./pkgs/idris.nix { inherit doCheck; };
in

stdenv.mkDerivation rec {
  name = "tdd-with-idris-${version}";
  version = "0.0.1";

  buildInputs = [ idris ];
}