Test.StateMachine.ConstructorName

Documentation

class CommandNames (cmd :: k -> Type) where

The names of all possible commands

This is used for things like tagging, coverage checking, etc.

Minimal complete definition

Nothing

Methods

cmdName :: cmd r -> String

Name of this particular command

default cmdName :: (Generic1 cmd, CommandNames (Rep1 cmd)) => cmd r -> String

cmdNames :: Proxy (cmd r) -> [String]

Name of all possible commands

default cmdNames :: forall r. CommandNames (Rep1 cmd) => Proxy (cmd r) -> [String]

Instances

CommandNames (U1 :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). U1 r -> String

cmdNames :: forall (r :: k0). Proxy (U1 r) -> [String]

CommandNames f => CommandNames (Rec1 f :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). Rec1 f r -> String

cmdNames :: forall (r :: k0). Proxy (Rec1 f r) -> [String]

(CommandNames f, CommandNames g) => CommandNames (f :*: g :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). (f :*: g) r -> String

cmdNames :: forall (r :: k0). Proxy ((f :*: g) r) -> [String]

(CommandNames f, CommandNames g) => CommandNames (f :+: g :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). (f :+: g) r -> String

cmdNames :: forall (r :: k0). Proxy ((f :+: g) r) -> [String]

CommandNames (K1 i c :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). K1 i c r -> String

cmdNames :: forall (r :: k0). Proxy (K1 i c r) -> [String]

Constructor c => CommandNames (M1 C c f :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). M1 C c f r -> String

cmdNames :: forall (r :: k0). Proxy (M1 C c f r) -> [String]

CommandNames f => CommandNames (M1 D c f :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). M1 D c f r -> String

cmdNames :: forall (r :: k0). Proxy (M1 D c f r) -> [String]

CommandNames f => CommandNames (M1 S c f :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k0). M1 S c f r -> String

cmdNames :: forall (r :: k0). Proxy (M1 S c f r) -> [String]

commandName :: CommandNames cmd => Command cmd resp -> String

Convenience wrapper for Command