Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
prodParams :: forall as b. Contravariant b => (forall x. Monoid (b x)) => All Top as => NP b as -> b (NP I as) Source #
class GetEncoder b a where Source #
getEncoder :: b a -> Encoder a Source #
Instances
GetEncoder Encoder a Source # | |
Defined in Sqel.Codec.Product getEncoder :: Encoder a -> Encoder a Source # | |
GetEncoder FullCodec a Source # | |
Defined in Sqel.Codec.Product getEncoder :: FullCodec a -> Encoder a Source # |
class GetDecoder b a where Source #
getDecoder :: b a -> Decoder a Source #
Instances
GetDecoder FullCodec a Source # | |
Defined in Sqel.Codec.Product getDecoder :: FullCodec a -> Decoder a Source # |
class ProdEncoder b a as | a -> as where Source #
prodEncoder :: NP b as -> Encoder a Source #
Instances
(ConstructProd a as, All (GetEncoder b) as) => ProdEncoder b a as Source # | |
Defined in Sqel.Codec.Product prodEncoder :: NP b as -> Encoder a Source # |
class ProdDecoder b a as | a -> as where Source #
prodDecoder :: NP b as -> Decoder a Source #
Instances
(ReifyProd a as, All (GetDecoder b) as) => ProdDecoder b a as Source # | |
Defined in Sqel.Codec.Product prodDecoder :: NP b as -> Decoder a Source # |