Hedgehog

Properties

data Property

data PropertyT m a

data Group

data PropertyName

data GroupName

property

test

forAll

forAllWith

discard

check

recheck

discover

checkParallel

checkSequential

withTests

data TestLimit

withDiscards

data DiscardLimit

withShrinks

data ShrinkLimit

withRetries

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

annotate

annotateShow

footnote

footnoteShow

success

failure

assert

(===)

tripping

eval

evalM

evalIO

evalEither

evalExceptT

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

concrete

opaque

data Symbolic a

data Concrete a

data Opaque a

Transformers

distribute

Functors

class HTraversable t

class Eq1 f

eq1

class Ord1 f

compare1

class Show1 f

showsPrec1