Test.Mini

(source)

A minimalistic testing framework with pretty priting
and (not yet implemented) value diffing.

Definitions

record Success : Type -> Type -> Type

  A successful test case

Totality: total
Visibility: public export
Constructor:

MkSuccess : i -> o -> Success i o

Projections:

.input : Success i o -> i
.result : Success i o -> o

Hints:

Eq i => Eq o => Eq (Success i o)
Generic (Success i o) [[i, o]]
Generic (Result i o) [[List (Success i o), List (Failure i o)]]
Meta (Success i o) [[i, o]]
Meta (Result i o) [[List (Success i o), List (Failure i o)]]
PrettyVal i => PrettyVal o => PrettyVal (Success i o)
Show i => Show o => Show (Success i o)

.input : Success i o -> i

Visibility: public export

input : Success i o -> i

Visibility: public export

.result : Success i o -> o

Visibility: public export

result : Success i o -> o

Visibility: public export

record Failure : Type -> Type -> Type

  A failed test case

Totality: total
Visibility: public export
Constructor:

MkFailure : i -> o -> o -> Failure i o

Projections:

.expected : Failure i o -> o
.input : Failure i o -> i
.result : Failure i o -> o

Hints:

Eq i => Eq o => Eq (Failure i o)
Generic (Failure i o) [[i, o, o]]
Generic (Result i o) [[List (Success i o), List (Failure i o)]]
Meta (Failure i o) [[i, o, o]]
Meta (Result i o) [[List (Success i o), List (Failure i o)]]
PrettyVal i => PrettyVal o => PrettyVal (Failure i o)
Show i => Show o => Show (Failure i o)

.input : Failure i o -> i

Visibility: public export

input : Failure i o -> i

Visibility: public export

.result : Failure i o -> o

Visibility: public export

result : Failure i o -> o

Visibility: public export

.expected : Failure i o -> o

Visibility: public export

expected : Failure i o -> o

Visibility: public export

record Result : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor:

MkResult : List (Success i o) -> List (Failure i o) -> Result i o

Projections:

.failed : Result i o -> List (Failure i o)
.ok : Result i o -> List (Success i o)

Hints:

Eq i => Eq o => Eq (Result i o)
Generic (Result i o) [[List (Success i o), List (Failure i o)]]
Meta (Result i o) [[List (Success i o), List (Failure i o)]]
Monoid i => Monoid o => Monoid (Result i o)
Monoid (Result i o)
Semigroup i => Semigroup o => Semigroup (Result i o)
Semigroup (Result i o)
Show i => Show o => Show (Result i o)

.ok : Result i o -> List (Success i o)

Visibility: public export

ok : Result i o -> List (Success i o)

Visibility: public export

.failed : Result i o -> List (Failure i o)

Visibility: public export

failed : Result i o -> List (Failure i o)

Visibility: public export

run : Foldable t => (i -> Either (Failure i o) (Success i o)) -> t i -> Result i o

Visibility: public export

runEq : (Foldable t, Eq o) => (i -> o) -> t (i, o) -> Result i o

Visibility: public export

foreground : Color -> String -> String

Visibility: export

greenOk : String

Visibility: export

redFailed : String

Visibility: export

spaces : String

Visibility: export

report : PrettyVal i => PrettyVal o => Result i o -> IO Bool

Visibility: export

testAll : List (IO Bool) -> IO Bool

Visibility: export