Hedgehog

Properties

data PropertyT m a

data Group

data PropertyName

checkSequential

data DiscardLimit

data ShrinkLimit

data ShrinkRetries

Generating Test Data

type Gen

data GenT m a

class MonadGen m

data Range a

data Size

data Seed

Tests

type Test

data TestT m a

class MonadTest m

State Machine Tests

data Command n m state

data Callback input output state

data Action m state

data Sequential m state

data Parallel m state

executeSequential

executeParallel

data Var a v

data Symbolic a

data Concrete a

data Opaque a

Transformers

Functors

class HTraversable t

class Eq1 f

class Ord1 f

class Show1 f