Test.StateMachine.Types

data StateMachineModel model cmd

class ShowCmd cmd

showCmd

type Signature ix

data Response ix

data SResponse ix

type family Response_ (refs :: TyFun ix Type -> Type) (resp :: Response ix) :: Type where ...

type family GetResponse_ (resp :: Response ix) :: k where ...

class HasResponse cmd

response

type CommandConstraint ix cmd

data Untyped f refs

data RefPlaceholder ix

Indexed variant of Functor, Foldable and Traversable.

data Ex p

class IxFunctor f

ifmap

class IxFoldable t

ifoldMap

itoList

iany

class IxTraversable t

itraverse

ifor

Indexed variants of some constraints package combinators.

class IxForallF p f

type Ords refs

type Ords' refs i

iinstF

Re-export

(\\)

type (k1 @@ k2) a b

data Property

property

data Proxy k t