Documentation

forAllUnchecked :: (Show a, GenUnchecked a, Testable prop) => (a -> prop) -> Property #

forAllValid :: (Show a, GenValid a, Testable prop) => (a -> prop) -> Property #

forAllInvalid :: (Show a, GenInvalid a, Testable prop) => (a -> prop) -> Property #

(<==>) :: Bool -> Bool -> Bool #

(===>) :: Bool -> Bool -> Bool #