Command -package:cabal-install package:hedgehog

The specification for the expected behaviour of an Action. These are used to generate sequences of actions to test. This is the main type you will use when writing state machine tests. gen is usually an instance of MonadGen, and m is usually an instance of MonadTest. These constraints appear when you pass your Command list to sequential or parallel.

A set of callbacks which provide optional command configuration such as pre-condtions, post-conditions and state updates.

Executes a command using the arguments generated by commandGen.

A generator which provides random arguments for a command. If the command cannot be executed in the current state, it should return Nothing.

Checks that input for a command can be executed in the given state.