typed-encoding-0.3.0.2: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Combinators.ToEncStr

Description

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) Source #

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

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

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

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

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

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

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