| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
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
- 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
- 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
- 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
- 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
- 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
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 #
Since: 0.3.0.0