Safe Haskell	None
Language	Haskell2010

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 Methods gconName :: Command cmd -> String Source # gconNames :: Proxy (Command cmd) -> [String] Source #

gconName :: GConName a => a -> String Source #

gconNames :: GConName a => Proxy a -> [String] Source #

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 Methods gconName1 :: Reference a a0 -> String Source # gconNames1 :: Proxy (Reference a a0) -> [String] Source #

gconName1 :: GConName1 f => f a -> String Source #

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