Data.TypedEncoding.Combinators.ToEncStr

v0.2 like (backward compatible) combinators for covering to and from encoded string.

Since: 0.3.0.0

Documentation

toEncStringF :: forall nm f a str. ToEncString f nm nm a str => a -> f (Enc '[nm] () str)

toEncStringF' :: forall alg nm f a str. ToEncString f nm alg a str => a -> f (Enc '[nm] () str)

toEncString :: forall nm a str. ToEncString Identity nm nm a str => a -> Enc '[nm] () str

toEncString' :: forall alg nm a str. ToEncString Identity nm alg a str => a -> Enc '[nm] () str

fromEncStringF :: forall nm f a str. FromEncString f nm nm a str => Enc '[nm] () str -> f a

fromEncStringF' :: forall alg nm f a str. FromEncString f nm alg a str => Enc '[nm] () str -> f a

fromEncString :: forall nm a str. FromEncString Identity nm nm a str => Enc '[nm] () str -> a

fromEncString' :: forall alg nm a str. FromEncString Identity nm alg a str => Enc '[nm] () str -> a