IdrisDoc
: Test.Unit.Assertions
Index
Test.Unit.Assertions
Some simple assertions.
assertTrue
:
(
given
:
Bool
) ->
IO
Bool
assertRight
:
Show
a
=>
Show
b
=> (
given
:
Either
a
b
) ->
IO
Bool
assertNothing
:
Show
a
=> (
given
:
Maybe
a
) ->
IO
Bool
assertNotEquals
:
Eq
a
=>
Show
a
=> (
given
:
a
) -> (
expected
:
a
) ->
IO
Bool
assertLeft
:
Show
a
=>
Show
b
=> (
given
:
Either
a
b
) ->
IO
Bool
assertJust
:
Show
a
=> (
given
:
Maybe
a
) ->
IO
Bool
assertFalse
:
(
given
:
Bool
) ->
IO
Bool
assertEquals
:
Eq
a
=>
Show
a
=> (
given
:
a
) -> (
expected
:
a
) ->
IO
Bool