Hedgehog

data Group

data PropertyName

data Test m a

data DiscardLimit

data ShrinkLimit

data Gen m a

data Range a

data Size

data Seed

Property

checkSequential

Test

Abstract State Machine

data Command n m state

data Callback input output m state

data Action m state

executeSequential

data Concrete a

data Symbolic a

data Var

data Opaque a

Transformers

Functors

class HTraversable t

class Eq1 f

class Ord1 f

class Show1 f