Sqel.Codec.Product

Documentation

prodParams :: forall as b. Contravariant b => (forall x. Monoid (b x)) => All Top as => NP b as -> b (NP I as)

class GetEncoder b a where

Methods

getEncoder :: b a -> Encoder a

Instances

GetEncoder Encoder a

Defined in Sqel.Codec.Product

Methods

getEncoder :: Encoder a -> Encoder a

GetEncoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getEncoder :: FullCodec a -> Encoder a

class GetDecoder b a where

Methods

getDecoder :: b a -> Decoder a

Instances

GetDecoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getDecoder :: FullCodec a -> Decoder a

class ProdEncoder b a as | a -> as where

Methods

prodEncoder :: NP b as -> Encoder a

Instances

(ConstructProd a as, All (GetEncoder b) as) => ProdEncoder b a as

Defined in Sqel.Codec.Product

Methods

prodEncoder :: NP b as -> Encoder a

class ProdDecoder b a as | a -> as where

Methods

prodDecoder :: NP b as -> Decoder a

Instances

(ReifyProd a as, All (GetDecoder b) as) => ProdDecoder b a as

Defined in Sqel.Codec.Product

Methods

prodDecoder :: NP b as -> Decoder a

class ProdCodec b a as | a -> as where

Methods

prodCodec :: NP b as -> b a

Instances

ProdEncoder Encoder a as => ProdCodec Encoder a as

Defined in Sqel.Codec.Product

Methods

prodCodec :: NP Encoder as -> Encoder a

(ProdDecoder FullCodec a as, ProdEncoder FullCodec a as) => ProdCodec FullCodec a as

Defined in Sqel.Codec.Product

Methods

prodCodec :: NP FullCodec as -> FullCodec a