Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Combinators.Encode.Experimental

Contents

Description

Experimental features, slow to compile when used.

Synopsis

_encodeF :: forall nm xs f c str alg. (Encode f nm alg c str, alg ~ AlgNm nm) => Enc xs c str -> f (Enc (nm ': xs) c str)
_encodeFAll :: forall nms f c str algs. (Monad f, EncodeAll f nms algs c str, algs ~ AlgNmMap nms) => Enc ('[] :: [Symbol]) c str -> f (Enc nms c str)
_encodeAll :: forall nms c str algs. (EncodeAll Identity nms algs c str, algs ~ AlgNmMap nms) => Enc ('[] :: [Symbol]) c str -> Enc nms c str
_encodeFPart :: forall xs xsf f c str algs. (Monad f, EncodeAll f xs algs c str, algs ~ AlgNmMap xs) => Enc xsf c str -> f (Enc (Append xs xsf) c str)
_encodePart :: forall xs xsf c str algs. (EncodeAll Identity xs algs c str, algs ~ AlgNmMap xs) => Enc xsf c str -> Enc (Append xs xsf) c str

Combinators equivalent to Data.TypedEncoding.Common.Class.Encode that automatically figure out algorithm name.

_encodeF :: forall nm xs f c str alg. (Encode f nm alg c str, alg ~ AlgNm nm) => Enc xs c str -> f (Enc (nm ': xs) c str) Source #

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

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

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

_encodePart :: forall xs xsf c str algs. (EncodeAll Identity xs algs c str, algs ~ AlgNmMap xs) => Enc xsf c str -> Enc (Append xs xsf) c str Source #