Safe Haskell	Safe-Inferred
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

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

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

Name of all possible commands

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

Instances

Instances details

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

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

Convenience wrapper for Command