Idris2Doc : Test.Async.Spec.Asserts

Test.Async.Spec.Asserts

(source)

Definitions

failWith : MaybeDiff->String->Teste
Totality: total
Visibility: export
failDiff : Showa=>Showb=>a->b->Teste
  Fails with an error that shows the difference between two values.

Totality: total
Visibility: export
diff : Showa=>Showb=>a-> (a->b->Bool) ->b->Teste
Totality: total
Visibility: export
(===) : Eqa=>Showa=>a->a->Teste
  Fails the test if the two arguments provided are not equal.

Totality: total
Visibility: export
Fixity Declarations:
infix operator, level 6
infix operator, level 6
assert : AllInterpolationes=>Showa=>Eqa=>Asynceesa->a->Teste
Totality: total
Visibility: export
(=!=) : AllInterpolationes=>Showa=>Eqa=>Asynceesa->a->Teste
  Operator version of `assert`

Totality: total
Visibility: export
Fixity Declaration: infix operator, level 6