IdrisDoc: Test.Unit.Assertions

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