lazysmallcheck-0.1: A library for demand-driven testing of Haskell programs Contents Index

LazySmallCheck

Documentation

class Serial a where

Methods series :: Series a Instances Serial Bool Serial Char Serial Int Serial Integer (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) (Serial a, Serial b, Serial c, Serial d, Serial e) => Serial (a, b, c, d, e) Serial a => Serial (Maybe a) Serial a => Serial [a] (Serial a, Serial b) => Serial (Either a b)

(\/) :: Series a -> Series a -> Series 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 Testable Bool (Show a, Serial a, Testable b) => Testable (a -> b)

depthCheck :: Testable a => Int -> a -> IO ()

Produced by Haddock version 0.8