Idris2Doc : Test.Simple

Test.Simple

(source)
A simple library for simple unit tests

Definitions

ETest : Type
Visibility: export
by : (a->a->Bool) ->TestValuesa->EqValuesa
Visibility: export
runTests : ListETest->IO ()
Visibility: export
(>>) : ListETest->ListETest->ListETest
Visibility: export
Fixity Declaration: infixl operator, level 1
pure : Testinga->ListETest
Visibility: export
test : String->Eqa=>TestValuesa->ListETest
Visibility: export
testEq : String->EqValuesa->ListETest
Visibility: export
shouldBe : a->a->TestValuesa
Visibility: export
Fixity Declaration: infixl operator, level 9
and : TestValuesa->TestValuesb->TestValues (a, b)
Visibility: export
Fixity Declaration: infixl operator, level 7
or : TestValuesa->TestValuesb->TestValues (OrValuesab)
Visibility: export
Fixity Declaration: infixl operator, level 8
.shouldBeTrue : Bool->TestValuesBool
Visibility: export
.shouldBeFalse : Bool->TestValuesBool
Visibility: export