Documentation
smallCheckI :: Testable a => a -> IO ()Source
forAllElem :: (Show a, Testable b) => [a] -> (a -> b) -> PropertySource
thereExistsElem :: (Show a, Testable b) => [a] -> (a -> b) -> PropertySource
thereExists1Elem :: (Show a, Testable b) => [a] -> (a -> b) -> PropertySource
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) |
alts4 :: (Serial a, Serial b, Serial c, Serial d) => Series e -> Series (a -> b -> c -> d -> e)Source
N a |