lazysmallcheck-0.3: A library for demand-driven testing of Haskell programsContentsIndex
Test.LazySmallCheck
Documentation
class Serial a where
Methods
series :: Series a
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
show/hide Instances
depthCheck :: Testable a => Int -> a -> IO ()
smallCheck :: Testable a => Int -> a -> IO ()
test :: Testable a => a -> IO ()
(==>) :: Bool -> Bool -> Bool
data Property
show/hide Instances
lift :: Bool -> Property
neg :: Property -> Property
(*&*) :: Property -> Property -> Property
(*|*) :: Property -> Property -> Property
(*=>*) :: Property -> Property -> Property
Produced by Haddock version 2.1.0