Test.StateMachine.Types

Untyped actions

data Untyped act

Type aliases

type StateMachine model act m

stateMachine

data StateMachine' model act err m

type Generator model act

type Shrinker act

type Precondition model act

type Transition model act

type Postcondition model act

type InitialModel m

data Result resp err

type Semantics act err m

type Runner m

Data type generic operations

Higher-order functors, foldables and traversables

References