quickcheck-state-machine-0.4.0: Test monadic programs using state machine based models

Safe HaskellNone
LanguageHaskell2010

Test.StateMachine.ConstructorName

Documentation

class GConName a Source #

Minimal complete definition

gconName, gconNames

Instances
(Generic1 cmd, GConName1 (Rep1 cmd)) => GConName (Command cmd) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

class GConName1 f Source #

Minimal complete definition

gconName1, gconNames1

Instances
GConName1 (U1 :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: U1 a -> String Source #

gconNames1 :: Proxy (U1 a) -> [String] Source #

GConName1 f => GConName1 (Rec1 f :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: Rec1 f a -> String Source #

gconNames1 :: Proxy (Rec1 f a) -> [String] Source #

(GConName1 f, GConName1 g) => GConName1 (f :*: g :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: (f :*: g) a -> String Source #

gconNames1 :: Proxy ((f :*: g) a) -> [String] Source #

(GConName1 f, GConName1 g) => GConName1 (f :+: g :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: (f :+: g) a -> String Source #

gconNames1 :: Proxy ((f :+: g) a) -> [String] Source #

GConName1 (K1 i c :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: K1 i c a -> String Source #

gconNames1 :: Proxy (K1 i c a) -> [String] Source #

GConName1 f => GConName1 (M1 S c f :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: M1 S c f a -> String Source #

gconNames1 :: Proxy (M1 S c f a) -> [String] Source #

GConName1 f => GConName1 (M1 D c f :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: M1 D c f a -> String Source #

gconNames1 :: Proxy (M1 D c f a) -> [String] Source #

Constructor c => GConName1 (M1 C c f :: k -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: M1 C c f a -> String Source #

gconNames1 :: Proxy (M1 C c f a) -> [String] Source #

GConName1 (Reference a :: (* -> *) -> *) Source # 
Instance details

Defined in Test.StateMachine.ConstructorName