Idris2Doc : Test.Simple

Test.Simple

(source)
A simple library for simple unit tests

Definitions

ETest : Type
Visibility: export
by : (a -> a -> Bool) -> TestValues a -> EqValues a
Visibility: export
runTests : List ETest -> IO ()
Visibility: export
(>>) : List ETest -> List ETest -> List ETest
Visibility: export
Fixity Declaration: infixl operator, level 1
pure : Testing a -> List ETest
Visibility: export
test : String -> Eq a => TestValues a -> List ETest
Visibility: export
testEq : String -> EqValues a -> List ETest
Visibility: export
shouldBe : a -> a -> TestValues a
Visibility: export
Fixity Declaration: infixl operator, level 9
and : TestValues a -> TestValues b -> TestValues (a, b)
Visibility: export
Fixity Declaration: infixl operator, level 7
or : TestValues a -> TestValues b -> TestValues (OrValues a b)
Visibility: export
Fixity Declaration: infixl operator, level 8
.shouldBeTrue : Bool -> TestValues Bool
Visibility: export
.shouldBeFalse : Bool -> TestValues Bool
Visibility: export