Modulelazysmallcheck-0.6Haskell98

Test.LazySmallCheck

For documentation, see the paper "SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values" available at http://www.cs.york.ac.uk/fp/smallcheck/. Several examples are also included in the package.

Synopsis

class Serial
type Series
data Cons
value cons
value ><
value empty
value \/
value drawnFrom
value cons0
value cons1
value cons2
value cons3
value cons4
value cons5
class Testable
value depthCheck
value smallCheck
value test
value ==>
data Property
value lift
value neg
value *&*
value *|*
value *=>*
value *=*

Packagelazysmallcheck-0.6
Exports26
LanguageHaskell98
LicenceBSD-3-Clause
SourceLazySmallCheck.hs

classclass Serial a where

Methods

series :: Series a

Instances14Serial, …

Serial IntegerDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial BoolDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial CharDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial DoubleDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial FloatDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial IntDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial ()Defined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial a => Serial (Maybe a)Defined in lazysmallcheck-0.6 · Test.LazySmallCheck
Serial a => Serial [a]Defined in lazysmallcheck-0.6 · Test.LazySmallCheck
(Serial a, Serial b) => Serial (Either a b)Defined in lazysmallcheck-0.6 · Test.LazySmallCheck
(Serial a, Serial b) => Serial (a, b)Defined in lazysmallcheck-0.6 · Test.LazySmallCheck
(Serial a, Serial b, Serial c) => Serial (a, b, c)Defined in lazysmallcheck-0.6 · Test.LazySmallCheck
(Serial a, Serial b, Serial c, Serial d) => Serial (a, b, c, d)Defined in lazysmallcheck-0.6 · Test.LazySmallCheck
(Serial a, Serial b, Serial c, Serial d, Serial e) => Serial (a, b, c, d, e)Defined in lazysmallcheck-0.6 · Test.LazySmallCheck

typetype Series a = Int -> Cons a

datadata Cons a

valuecons :: a -> Series a

value(><) :: Series (a -> b) -> Series a -> Series b

valueempty :: Series a

value(\/) :: Series a -> Series a -> Series a

valuedrawnFrom :: [a] -> Cons a

valuecons0 :: a -> Series a

valuecons1 :: Serial a => (a -> b) -> Series b

valuecons2 :: (Serial a, Serial b) => (a -> b -> c) -> Series c

valuecons3 :: (Serial a, Serial b, Serial c) => (a -> b -> c -> d) -> Series d

valuecons4

:: (Serial a, Serial b, Serial c, Serial d)
=> a -> b -> c -> d -> e
-> Series e

valuecons5

:: (Serial a, Serial b, Serial c, Serial d, Serial e)
=> a -> b -> c -> d -> e -> f
-> Series f

classclass Testable a where

Instances3Testable

Testable BoolDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
Testable PropertyDefined in lazysmallcheck-0.6 · Test.LazySmallCheck
(Show a, Serial a, Testable b) => Testable (a -> b)Defined in lazysmallcheck-0.6 · Test.LazySmallCheck

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

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

valuetest :: Testable a => a -> IO ()

value(==>) :: Bool -> Bool -> Bool

datadata Property

Instances1Testable

Testable PropertyDefined in lazysmallcheck-0.6 · Test.LazySmallCheck

valuelift :: Bool -> Property

valueneg :: Property -> Property

value(*&*) :: Property -> Property -> Property

value(*|*) :: Property -> Property -> Property

value(*=>*) :: Property -> Property -> Property

value(*=*) :: Property -> Property -> Property