Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Combinators.Encode

Contents

Description

Combinators reexported in Data.TypedEncoding.

Decoding combinators that are backward compatible to v0.2 versions.

Since: 0.3.0.0

Synopsis

encodeF :: forall nm xs f c str. Encode f nm nm c str => Enc xs c str -> f (Enc (nm ': xs) c str)
encodeFAll :: forall nms f c str. (Monad f, EncodeAll f nms nms c str) => Enc ('[] :: [Symbol]) c str -> f (Enc nms c str)
encodeAll :: forall nms c str. EncodeAll Identity nms nms c str => Enc ('[] :: [Symbol]) c str -> Enc nms c str
encodeFPart :: forall xs xsf f c str. (Monad f, EncodeAll f xs xs c str) => Enc xsf c str -> f (Enc (Append xs xsf) c str)
encodePart :: forall xs xsf c str. EncodeAll Identity xs xs c str => Enc xsf c str -> Enc (Append xs xsf) c str
encodeF' :: forall alg nm xs f c str. Encode f nm alg c str => Enc xs c str -> f (Enc (nm ': xs) c str)
encodeFAll' :: forall algs nms f c str. (Monad f, EncodeAll f nms algs c str) => Enc ('[] :: [Symbol]) c str -> f (Enc nms c str)
encodeAll' :: forall algs nms c str. EncodeAll Identity nms algs c str => Enc ('[] :: [Symbol]) c str -> Enc nms c str
encodeFPart' :: forall algs xs xsf f c str. (Monad f, EncodeAll f xs algs c str) => Enc xsf c str -> f (Enc (Append xs xsf) c str)
encodePart' :: forall algs xs xsf c str. EncodeAll Identity xs algs c str => Enc xsf c str -> Enc (Append xs xsf) c str

Convenience combinators which mimic pre-v0.3 type signatures. These assume that `algs` are the same as `nms`

encodeF :: forall nm xs f c str. Encode f nm nm c str => Enc xs c str -> f (Enc (nm ': xs) c str) Source #

encodeFAll :: forall nms f c str. (Monad f, EncodeAll f nms nms c str) => Enc ('[] :: [Symbol]) c str -> f (Enc nms c str) Source #

encodeAll :: forall nms c str. EncodeAll Identity nms nms c str => Enc ('[] :: [Symbol]) c str -> Enc nms c str Source #

encodeFPart :: forall xs xsf f c str. (Monad f, EncodeAll f xs xs c str) => Enc xsf c str -> f (Enc (Append xs xsf) c str) Source #

encodePart :: forall xs xsf c str. EncodeAll Identity xs xs c str => Enc xsf c str -> Enc (Append xs xsf) c str Source #

Convenience combinators which mimic pre-v0.3 type signatures. These do not try to figure out `algs` or assume much about them

encodeF' :: forall alg nm xs f c str. Encode f nm alg c str => Enc xs c str -> f (Enc (nm ': xs) c str) Source #

encodeFAll' :: forall algs nms f c str. (Monad f, EncodeAll f nms algs c str) => Enc ('[] :: [Symbol]) c str -> f (Enc nms c str) Source #

encodeAll' :: forall algs nms c str. EncodeAll Identity nms algs c str => Enc ('[] :: [Symbol]) c str -> Enc nms c str Source #

encodeFPart' :: forall algs xs xsf f c str. (Monad f, EncodeAll f xs algs c str) => Enc xsf c str -> f (Enc (Append xs xsf) c str) Source #

encodePart' :: forall algs xs xsf c str. EncodeAll Identity xs algs c str => Enc xsf c str -> Enc (Append xs xsf) c str Source #