Binrep.Generic.Get

Documentation

getGeneric :: (Generic a, GGet (Rep a), Get w, Eq w, Show w) => Cfg w -> Parser String a

class GGet f where

Methods

gget :: (Get w, Eq w, Show w) => Cfg w -> Parser String (f a)

Instances

GGet (U1 :: k -> Type)

Empty constructor.

Defined in Binrep.Generic.Get

Methods

gget :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> Parser String (U1 a)

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

Refuse to derive instance for void datatype.

Defined in Binrep.Generic.Get

Methods

gget :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> Parser String (V1 a)

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

Product type fields are consecutive.

Defined in Binrep.Generic.Get

Methods

gget :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> Parser String ((l :*: r) a)

GGetSum (l :+: r) => GGet (l :+: r :: k -> Type)

Constructor sums are differentiated by a prefix tag.

Defined in Binrep.Generic.Get

Methods

gget :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> Parser String ((l :+: r) a)

Get c => GGet (K1 i c :: k -> Type)

Field.

Defined in Binrep.Generic.Get

Methods

gget :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> Parser String (K1 i c a)

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

Any datatype, constructor or record.

Defined in Binrep.Generic.Get

Methods

gget :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> Parser String (M1 i d f a)

class GGetSum f where

Methods

ggetsum :: (Get w, Eq w, Show w) => Cfg w -> w -> Maybe (Parser String (f a))

Instances

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

Defined in Binrep.Generic.Get

Methods

ggetsum :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> w -> Maybe (Parser String ((l :+: r) a))

(GGet r, Constructor c) => GGetSum (C1 c r :: k -> Type)

Bad. Need to wrap this like SumFromString in Aeson.

Defined in Binrep.Generic.Get

Methods

ggetsum :: forall w (a :: k0). (Get w, Eq w, Show w) => Cfg w -> w -> Maybe (Parser String (C1 c r a))