typeswitch-dev

||| 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