Data.TypedEncoding.Combinators.Decode

Combinators reexported in Data.TypedEncoding.

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

Since: 0.3.0.0

Convenience combinators which mimic v0.2 combinators signatures. These assume that algs are the same as nms

decodeF :: forall nm xs f c str. Decode f nm nm c str => Enc (nm ': xs) c str -> f (Enc xs c str)

decodeFAll :: forall nms f c str. (Monad f, DecodeAll f nms nms c str) => Enc nms c str -> f (Enc ('[] :: [Symbol]) c str)

decodeAll :: forall nms c str. DecodeAll Identity nms nms c str => Enc nms c str -> Enc ('[] :: [Symbol]) c str

decodeFPart :: forall xs xsf f c str. (Monad f, DecodeAll f xs xs c str) => Enc (Append xs xsf) c str -> f (Enc xsf c str)

decodePart :: forall xs xsf c str. DecodeAll Identity xs xs c str => Enc (Append xs xsf) c str -> Enc xsf c str

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

decodeF' :: forall alg nm xs f c str. Decode f nm alg c str => Enc (nm ': xs) c str -> f (Enc xs c str)

decodeFAll' :: forall algs nms f c str. (Monad f, DecodeAll f nms algs c str) => Enc nms c str -> f (Enc ('[] :: [Symbol]) c str)

decodeAll' :: forall algs nms c str. DecodeAll Identity nms algs c str => Enc nms c str -> Enc ('[] :: [Symbol]) c str

decodeFPart' :: forall algs xs xsf f c str. (Monad f, DecodeAll f xs algs c str) => Enc (Append xs xsf) c str -> f (Enc xsf c str)

decodePart' :: forall algs xs xsf c str. DecodeAll Identity xs algs c str => Enc (Append xs xsf) c str -> Enc xsf c str