typed-encoding-0.4.1.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Instances.Support.Validate

Contents

Description

Exports for instance creation.

Contains typical things needed when implementing encoding, decoding, recreate, or type to string conversions.

Synopsis

Documentation

>>> :set -XOverloadedStrings -XMultiParamTypeClasses -XDataKinds -XTypeApplications

Validation

validFromDec :: forall nm f c str. (KnownSymbol nm, RecreateErr f, Applicative f) => Decoding (Either UnexpectedDecodeEx) nm nm c str -> Validation f nm nm c str Source #

Since: 0.3.0.0

validFromDec' :: forall alg nm f c str. (KnownSymbol nm, RecreateErr f, Applicative f) => Decoding (Either UnexpectedDecodeEx) nm alg c str -> Validation f nm alg c str Source #

Since: 0.3.0.0

validR :: forall nm f c str. (Restriction nm, KnownSymbol nm, RecreateErr f, Applicative f) => Encoding (Either EncodeEx) nm nm c str -> Validation f nm nm c str Source #

Since: 0.3.0.0

validR' :: forall nm f c str alg. (Restriction nm, Algorithm nm alg, KnownSymbol nm, RecreateErr f, Applicative f) => Encoding (Either EncodeEx) nm alg c str -> Validation f nm alg c str Source #

Can cause slow compilation if used

Since: 0.3.0.0

validFromEnc' :: forall alg nm f c str. (KnownSymbol nm, RecreateErr f, Applicative f) => Encoding (Either EncodeEx) nm alg c str -> Validation f nm alg c str Source #

Deprecated: Use validR' instead (valid for r- encodings only)

This should be used with "r-" validations only

Since: 0.3.0.0

validRFromEnc' :: forall alg nm f c str. (KnownSymbol nm, RecreateErr f, Applicative f) => Encoding (Either EncodeEx) nm alg c str -> Validation f nm alg c str Source #