Binrep.Generic.BLen

Documentation

blenGeneric :: (Generic a, GBLen (Rep a), BLen w) => Cfg w -> a -> BLenT

class GBLen f where

Methods

gblen :: BLen w => Cfg w -> f p -> BLenT

Instances

GBLen (U1 :: k -> Type)

Empty constructor.

Defined in Binrep.Generic.BLen

Methods

gblen :: forall w (p :: k0). BLen w => Cfg w -> U1 p -> BLenT

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

Refuse to derive instance for void datatype.

Defined in Binrep.Generic.BLen

Methods

gblen :: forall w (p :: k0). BLen w => Cfg w -> V1 p -> BLenT

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

Product type fields are consecutive.

Defined in Binrep.Generic.BLen

Methods

gblen :: forall w (p :: k0). BLen w => Cfg w -> (l :*: r) p -> BLenT

GBLenSum (l :+: r) => GBLen (l :+: r :: k -> Type)

Constructor sums are differentiated by a prefix tag.

Defined in Binrep.Generic.BLen

Methods

gblen :: forall w (p :: k0). BLen w => Cfg w -> (l :+: r) p -> BLenT

BLen c => GBLen (K1 i c :: k -> Type)

Field.

Defined in Binrep.Generic.BLen

Methods

gblen :: forall w (p :: k0). BLen w => Cfg w -> K1 i c p -> BLenT

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

Any datatype, constructor or record.

Defined in Binrep.Generic.BLen

Methods

gblen :: forall w (p :: k0). BLen w => Cfg w -> M1 i d f p -> BLenT

class GBLenSum f where

Methods

gblensum :: BLen w => Cfg w -> f p -> BLenT

Instances

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

Defined in Binrep.Generic.BLen

Methods

gblensum :: forall w (p :: k0). BLen w => Cfg w -> (l :+: r) p -> BLenT

(GBLen f, Constructor c) => GBLenSum (C1 c f :: k -> Type)

Defined in Binrep.Generic.BLen

Methods

gblensum :: forall w (p :: k0). BLen w => Cfg w -> C1 c f p -> BLenT