Hedgehog.Internal.State

Variables

data Var

data Symbolic a

data Concrete a

Environment

data Environment

data EnvironmentError

emptyEnvironment

insertConcrete

reifyDynamic

reifyEnvironment

reify

Commands

data Command n m state

data Callback input output m state

commandGenOK

Actions

data Action m state

takeVariables

variablesOK

dropInvalid

action

actions

execute

executeSequential