Safe Haskell	None
Language	Haskell2010

Test.StateMachine.ConstructorName

Synopsis

class CommandNames (cmd :: k -> Type) where
- cmdName :: cmd r -> String
- cmdNames :: Proxy (cmd r) -> [String]
commandName :: CommandNames cmd => Command cmd resp -> String

Documentation

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

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 Source #

Name of this particular command

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

Name of all possible commands

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

Name of this particular command

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

Name of all possible commands

Instances

CommandNames (U1 :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: U1 r -> String Source # cmdNames :: Proxy (U1 r) -> [String] Source #
CommandNames f => CommandNames (Rec1 f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: Rec1 f r -> String Source # cmdNames :: Proxy (Rec1 f r) -> [String] Source #
(CommandNames f, CommandNames g) => CommandNames (f :*: g :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: (f :: g) r -> String Source # cmdNames :: Proxy ((f :: g) r) -> [String] Source #
(CommandNames f, CommandNames g) => CommandNames (f :+: g :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: (f :+: g) r -> String Source # cmdNames :: Proxy ((f :+: g) r) -> [String] Source #
CommandNames (K1 i c :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: K1 i c r -> String Source # cmdNames :: Proxy (K1 i c r) -> [String] Source #
CommandNames f => CommandNames (M1 S c f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: M1 S c f r -> String Source # cmdNames :: Proxy (M1 S c f r) -> [String] Source #
CommandNames f => CommandNames (M1 D c f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: M1 D c f r -> String Source # cmdNames :: Proxy (M1 D c f r) -> [String] Source #
Constructor c => CommandNames (M1 C c f :: k -> Type) Source #
Instance details Defined in Test.StateMachine.ConstructorName Methods cmdName :: M1 C c f r -> String Source # cmdNames :: Proxy (M1 C c f r) -> [String] Source #

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

Convenience wrapper for Command