Idris2Doc : Test.Async.Spec.Asserts

Test.Async.Spec.Asserts

(source)

Definitions

failWith : Maybe Diff -> String -> Test e
Totality: total
Visibility: export
failDiff : Show a => Show b => a -> b -> Test e
  Fails with an error that shows the difference between two values.

Totality: total
Visibility: export
diff : Show a => Show b => a -> (a -> b -> Bool) -> b -> Test e
Totality: total
Visibility: export
(===) : Eq a => Show a => a -> a -> Test e
  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 : All Interpolation es => Show a => Eq a => Async e es a -> a -> Test e
Totality: total
Visibility: export
(=!=) : All Interpolation es => Show a => Eq a => Async e es a -> a -> Test e
  Operator version of `assert`

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