Test.SmallCheck
Documentation
smallCheck :: Testable a => Int -> a -> IO ()
smallCheckI :: Testable a => a -> IO ()
depthCheck :: Testable a => Int -> a -> IO ()
class Testable a
forAllElem :: (Show a, Testable b) => [a] -> (a -> b) -> Property
thereExists :: (Show a, Testable b) => Series a -> (a -> b) -> Property
thereExistsElem :: (Show a, Testable b) => [a] -> (a -> b) -> Property
thereExists1 :: (Show a, Testable b) => Series a -> (a -> b) -> Property
thereExists1Elem :: (Show a, Testable b) => [a] -> (a -> b) -> Property
class Serial a where
Instances
Serial Bool | |
Serial Char | |
Serial Double | |
Serial Float | |
Serial Int | |
Serial Integer | |
Serial () | |
Serial a => Serial [a] | |
Serial a => Serial (Maybe a) | |
(Integral a, Serial a) => Serial (N a) | |
(Serial a, Serial b) => Serial (a -> b) | |
(Serial a, Serial b) => Serial (Either a b) | |
(Serial a, Serial b) => Serial (a, b) | |
(Serial a, Serial b, Serial c) => Serial (a, b, c) | |
(Serial a, Serial b, Serial c, Serial d) => Serial (a, b, c, d) |