hedgehog.state
Type members
Classlikes
An instantiation of a 'Command' which can be executed, and its effect evaluated.
An instantiation of a 'Command' which can be executed, and its effect evaluated.
- Companion:
- object
The specification for the expected behaviour of an Action
.
The specification for the expected behaviour of an Action
.
Capture the Input
and Output
variables from Command
existentially.
Capture the Input
and Output
variables from Command
existentially.
FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.
A mapping of symbolic values to concrete values.
A mapping of symbolic values to concrete values.
A sequential prefix of actions to execute, with two branches to execute in parallel.
A sequential prefix of actions to execute, with two branches to execute in parallel.
Variables are the symbolic representation of executing an action.
To lookup the actual result of an action you require an Environment
,
which is only accessible at specific stages of testing.
Variables are the symbolic representation of executing an action.
To lookup the actual result of an action you require an Environment
,
which is only accessible at specific stages of testing.
The constructor is hidden to avoid users accidentally creating their own.
- Companion:
- object