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

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

Name of all possible commands

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

Name of this particular command

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

Name of all possible commands

Instances

CommandNames (U1 :: k -> Type)

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: U1 r -> String

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

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

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: Rec1 f r -> String

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

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

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: (f :*: g) r -> String

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

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

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: (f :+: g) r -> String

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

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

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: K1 i c r -> String

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

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

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: M1 S c f r -> String

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

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

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: M1 D c f r -> String

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

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

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: M1 C c f r -> String

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

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

Convenience wrapper for Command