Hedgehog.Internal.State

Variables

data Var a v

concrete

opaque

data Concrete a

data Symbolic a

data Name

Environment

data Environment

data EnvironmentError

emptyEnvironment

insertConcrete

reifyDynamic

reifyEnvironment

reify

Commands

data Command n m state

data Callback input output state

commandGenOK

Actions

data Action m state

data Sequential m state

data Parallel m state

takeVariables

variablesOK

dropInvalid

action

sequential

parallel

executeSequential

executeParallel