Control.Concurrent.CHPSpec.LazySmallCheck

This module is a near-copy of the Test.LazySmallCheck module from the lazysmallcheck package on Hackage. It was written by Matthew Naylor and Fredrik Lindblad. I have modified it to add the fuzz function that is used by chp-spec internally, but to write that function I needed access to more internals than the original Test.LazySmallCheck exposed, hence I had to make a copy of the module. Unfortunately, this means that the Serial type-class here is a different type-class (despite being identical in behaviour and API) from the original lazysmallcheck package. The modified module is exposed in case you need to supply any of your own instances for Serial. For more explanation of how Lazy SmallCheck is used in this library for modelling IO actions, see this blog post: http://chplib.wordpress.com/2010/04/20/automatic-model-generation-part-3-choice-and-io/

Documentation

class Serial a where

Methods

series :: Series a

Instances

Serial Bool

Serial Char

Serial Double

Serial Float

Serial Int

Serial Integer

Serial ()

Serial a => Serial [a]

Serial a => Serial (Maybe a)

(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)

(Serial a, Serial b, Serial c, Serial d, Serial e) => Serial (a, b, c, d, e)

type Series a = Int -> Cons a

data Cons a

cons :: a -> Series a

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

(\/) :: 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

fuzz :: Serial a => (a -> StateT s IO b) -> StateT s IO ([b], Bool)