Test.StateMachine.Types

Untyped actions

data Untyped act

Type aliases

type Generator model act

type Shrinker act

type Precondition model act

type Transition model act

type Semantics act m

type Postcondition model act

type InitialModel m

Higher-order functors, foldables and traversables

Referenses