Test.StateMachine.ConstructorName

Documentation

class GConName a

Minimal complete definition

gconName, gconNames

Instances

(Generic1 cmd, GConName1 (Rep1 cmd)) => GConName (Command cmd)

Defined in Test.StateMachine.ConstructorName

Methods

gconName :: Command cmd -> String

gconNames :: Proxy (Command cmd) -> [String]

gconName :: GConName a => a -> String

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

class GConName1 f

Minimal complete definition

gconName1, gconNames1

Instances

GConName1 (U1 :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: U1 a -> String

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

GConName1 f => GConName1 (Rec1 f :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: Rec1 f a -> String

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

(GConName1 f, GConName1 g) => GConName1 (f :*: g :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

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

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

(GConName1 f, GConName1 g) => GConName1 (f :+: g :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

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

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

GConName1 (K1 i c :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: K1 i c a -> String

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

GConName1 f => GConName1 (M1 S c f :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: M1 S c f a -> String

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

GConName1 f => GConName1 (M1 D c f :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: M1 D c f a -> String

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

Constructor c => GConName1 (M1 C c f :: k -> *)

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: M1 C c f a -> String

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

GConName1 (Reference a :: (* -> *) -> *)

Defined in Test.StateMachine.ConstructorName

Methods

gconName1 :: Reference a a0 -> String

gconNames1 :: Proxy (Reference a a0) -> [String]

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

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