Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
GPut (U1 :: k -> Type) Source # | Empty constructor. |
(TypeError GErrRefuseVoid :: Constraint) => GPut (V1 :: k -> Type) Source # | Refuse to derive instance for void datatype. |
(GPut l, GPut r) => GPut (l :*: r :: k -> Type) Source # | Product type fields are consecutive. |
(GPutSum (l :+: r), GetConName (l :+: r)) => GPut (l :+: r :: k -> Type) Source # | Constructor sums are differentiated by a prefix tag. |
Put c => GPut (K1 i c :: k -> Type) Source # | Field. |
GPut f => GPut (M1 i d f :: k -> Type) Source # | Any datatype, constructor or record. |
class GetConName f where Source #
Get the name of the constructor of a sum datatype.
getConName :: f a -> String Source #
Instances
(GetConName a, GetConName b) => GetConName (a :+: b :: k -> Type) Source # | |
Defined in Binrep.Generic.Put getConName :: forall (a0 :: k0). (a :+: b) a0 -> String Source # | |
Constructor c => GetConName (C1 c a :: k -> Type) Source # | |
Defined in Binrep.Generic.Put getConName :: forall (a0 :: k0). C1 c a a0 -> String Source # |