| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Instances.Support.Validate
Contents
Description
Convenience validation utilities.
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
- 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
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
(renamed from validR defined in pre 0.5 versions)
Since: 0.5.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 #