quickcheck-state-machine-0.10.2: Test monadic programs using state machine based models
Safe HaskellNone
LanguageHaskell2010

Test.StateMachine.ConstructorName

Synopsis

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 :: forall (r :: k). cmd r -> String Source #

Name of this particular command

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

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

Name of all possible commands

default cmdNames :: forall (r :: k). 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 :: k). U1 r -> String Source #

cmdNames :: forall (r :: k). Proxy (U1 r) -> [String] Source #

CommandNames f => CommandNames (Rec1 f :: k -> Type) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k). Rec1 f r -> String Source #

cmdNames :: forall (r :: k). 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 :: k). (f :*: g) r -> String Source #

cmdNames :: forall (r :: k). 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 :: k). (f :+: g) r -> String Source #

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

CommandNames (K1 i c :: k -> Type) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

cmdName :: forall (r :: k). K1 i c r -> String Source #

cmdNames :: forall (r :: k). 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 :: k). M1 C c f r -> String Source #

cmdNames :: forall (r :: k). 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 :: k). M1 D c f r -> String Source #

cmdNames :: forall (r :: k). 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 :: k). M1 S c f r -> String Source #

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

commandName :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). CommandNames cmd => Command cmd resp -> String Source #

Convenience wrapper for Command