Data.TypedEncoding.Combinators.Encode.Experimental

Experimental features, slow to compile when used.

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)

_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