Test.StateMachine.Types

Untyped actions

data Untyped act

Type aliases

type StateMachine model act m

stateMachine

okTransition

okPostcondition

okSemantics

data StateMachine' model act m err

type Generator model act

type Shrinker act

type Precondition model act

type Transition model act

type Transition' model act err

type Postcondition model act

type Postcondition' model act err

type InitialModel m

data Result err resp

ppResult

type Semantics act m

type Semantics' act m err

type Runner m

data Reason

Data type generic operations

Higher-order functors, foldables and traversables

References