| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Instances.Support.Decode
Contents
Description
Common decoding combinators
Since: 0.3.0.0
Synopsis
- decAnyR :: forall r f c str. (Restriction r, Applicative f) => Decoding f r r c str
- decAnyR' :: forall alg r f c str. (Restriction r, Applicative f) => Decoding f r alg c str
- decAnyR_ :: forall r f c str alg. (Restriction r, Algorithm r alg, Applicative f) => Decoding f r alg c str
- _implDecodingF :: forall nm f c str. Functor f => (str -> f str) -> Decoding f nm (AlgNm nm) c str
- _implDecodingConfF :: forall nm f c str. Functor f => (c -> str -> f str) -> Decoding f nm (AlgNm nm) c str
- implDecodingF :: forall nm f c str. Functor f => (str -> f str) -> Decoding f nm nm c str
- implDecodingF' :: forall alg nm f c str. Functor f => (str -> f str) -> Decoding f nm alg c str
Universal decoding for all "r-" types
decAnyR :: forall r f c str. (Restriction r, Applicative f) => Decoding f r r c str Source #
Since: 0.3.0.0
decAnyR' :: forall alg r f c str. (Restriction r, Applicative f) => Decoding f r alg c str Source #
Since: 0.3.0.0
decAnyR_ :: forall r f c str alg. (Restriction r, Algorithm r alg, Applicative f) => Decoding f r alg c str Source #
Since: 0.3.0.0
v0.2 style decoding combinators
Compiler figure out algorithm, these appear fast enough
_implDecodingF :: forall nm f c str. Functor f => (str -> f str) -> Decoding f nm (AlgNm nm) c str Source #
_implDecodingConfF :: forall nm f c str. Functor f => (c -> str -> f str) -> Decoding f nm (AlgNm nm) c str Source #
Assume alg ~ nm or explicit alg
implDecodingF :: forall nm f c str. Functor f => (str -> f str) -> Decoding f nm nm c str Source #
implDecodingF' :: forall alg nm f c str. Functor f => (str -> f str) -> Decoding f nm alg c str Source #