Minimalistic unit testing framework for Idris.

Test.idr

||| Minimalistic unit testing framework for idris.
module Test

%access public export
%default total

data Test : Type where
    Check : (x: Type) -> {auto p: x} -> Test
    Forall : (t: Type) -> (t -> Test) -> Test
    (>>=) : Test -> (() -> Test) -> Test

example_tests : Test
example_tests = do
    Check (1 + 1 = 2)
    Check (2 + 2 = 4)
    Check ("hello " ++ "world" = "hello world")
    Forall Nat $ \x => do
      Check (0 + x = x)