typed-encoding-0.4.1.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

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

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 #