typed-encoding-0.5.1.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Instances.Support.Decode

Contents

Description

Common decoding combinators

Since: 0.3.0.0

Synopsis

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 #