Binrep.Generic.Put

Documentation

putGeneric :: (Generic a, GPut (Rep a), Put w) => Cfg w -> a -> Builder

class GPut f where

Methods

gput :: Put w => Cfg w -> f p -> Builder

Instances

GPut (U1 :: k -> Type)

Empty constructor.

Defined in Binrep.Generic.Put

Methods

gput :: forall w (p :: k0). Put w => Cfg w -> U1 p -> Builder

(TypeError GErrRefuseVoid :: Constraint) => GPut (V1 :: k -> Type)

Refuse to derive instance for void datatype.

Defined in Binrep.Generic.Put

Methods

gput :: forall w (p :: k0). Put w => Cfg w -> V1 p -> Builder

(GPut l, GPut r) => GPut (l :*: r :: k -> Type)

Product type fields are consecutive.

Defined in Binrep.Generic.Put

Methods

gput :: forall w (p :: k0). Put w => Cfg w -> (l :*: r) p -> Builder

(GPutSum (l :+: r), GetConName (l :+: r)) => GPut (l :+: r :: k -> Type)

Constructor sums are differentiated by a prefix tag.

Defined in Binrep.Generic.Put

Methods

gput :: forall w (p :: k0). Put w => Cfg w -> (l :+: r) p -> Builder

Put c => GPut (K1 i c :: k -> Type)

Field.

Defined in Binrep.Generic.Put

Methods

gput :: forall w (p :: k0). Put w => Cfg w -> K1 i c p -> Builder

GPut f => GPut (M1 i d f :: k -> Type)

Any datatype, constructor or record.

Defined in Binrep.Generic.Put

Methods

gput :: forall w (p :: k0). Put w => Cfg w -> M1 i d f p -> Builder

class GPutSum f where

Methods

gputsum :: Put w => Cfg w -> f a -> Builder

Instances

(GPutSum l, GPutSum r) => GPutSum (l :+: r :: k -> Type)

Defined in Binrep.Generic.Put

Methods

gputsum :: forall w (a :: k0). Put w => Cfg w -> (l :+: r) a -> Builder

(GPut r, Constructor c) => GPutSum (C1 c r :: k -> Type)

Defined in Binrep.Generic.Put

Methods

gputsum :: forall w (a :: k0). Put w => Cfg w -> C1 c r a -> Builder

class GetConName f where

Get the name of the constructor of a sum datatype.

Methods

getConName :: f a -> String

Instances

(GetConName a, GetConName b) => GetConName (a :+: b :: k -> Type)

Defined in Binrep.Generic.Put

Methods

getConName :: forall (a0 :: k0). (a :+: b) a0 -> String

Constructor c => GetConName (C1 c a :: k -> Type)

Defined in Binrep.Generic.Put

Methods

getConName :: forall (a0 :: k0). C1 c a a0 -> String