| Interface | Description |
|---|---|
| Action<S> |
An action class represents a state change that can be preformed
on a stateful
S. |
| ActionSequence<M> |
A sequence of Actions that can be run with a model of type
M |
| ActionSequenceArbitrary<M> | |
| Invariant<T> |
| Enum | Description |
|---|---|
| ActionSequence.RunState |