 | lazysmallcheck-0.3: A library for demand-driven testing of Haskell programs | Contents | Index |
|
|
|
|
|
Documentation |
|
class Serial a where |
|
|
type Series a = Int -> Cons a |
|
data Cons a |
|
cons :: a -> Series a |
|
(><) :: Series (a -> b) -> Series a -> Series b |
|
empty :: Series a |
|
(\/) :: Series a -> Series a -> Series a |
|
drawnFrom :: [a] -> Cons a |
|
cons0 :: a -> Series a |
|
cons1 :: Serial a => (a -> b) -> Series b |
|
cons2 :: (Serial a, Serial b) => (a -> b -> c) -> Series c |
|
cons3 :: (Serial a, Serial b, Serial c) => (a -> b -> c -> d) -> Series d |
|
cons4 :: (Serial a, Serial b, Serial c, Serial d) => (a -> b -> c -> d -> e) -> Series e |
|
cons5 :: (Serial a, Serial b, Serial c, Serial d, Serial e) => (a -> b -> c -> d -> e -> f) -> Series f |
|
class Testable a |
| Instances | |
|
|
depthCheck :: Testable a => Int -> a -> IO () |
|
smallCheck :: Testable a => Int -> a -> IO () |
|
test :: Testable a => a -> IO () |
|
(==>) :: Bool -> Bool -> Bool |
|
data Property |
Instances | |
|
|
lift :: Bool -> Property |
|
neg :: Property -> Property |
|
(*&*) :: Property -> Property -> Property |
|
(*|*) :: Property -> Property -> Property |
|
(*=>*) :: Property -> Property -> Property |
|
Produced by Haddock version 2.1.0 |