Data.TypedEncoding.Combinators.Encode

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)

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

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)

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