| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Combinators.ToEncStr
Description
v0.2 like (backward compatible) combinators for covering to and from encoded string.
Since: 0.3.0.0
Synopsis
- 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
backward compatible v0.2 like combinators
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 #