Modulecuddle-1.8.1.0GHC2021

Codec.CBOR.Cuddle.CBOR.Validator

Synopsis

value validateCBOR
value validateFromName
value validateFromGRef
data ValidatorPhase
data ValidateCBORError

Packagecuddle-1.8.1.0
Exports5
LanguageGHC2021
LicenceApache-2.0
SourceValidator.hs

valuevalidateCBOR

:: HasCallStack
=> ByteString
-> Name
-> CTreeRoot ValidatorPhase
-> Either ValidateCBORError (Evidenced ValidationTrace)

valuevalidateFromName :: HasCallStack => Name -> Term -> Validator ()

Source#

Validate a CBOR Term against a top-level rule from inside a custom validator.

valuevalidateFromGRef :: HasCallStack => GRef -> Term -> Validator ()

Source#

Validate a CBOR Term against the type bound to the given generic parameter at the enclosing rule. Use this from inside a custom validator attached to a generic rule.

datadata ValidatorPhase

Instances5IndexMappable, XXCTree

IndexMappable CTree ValidatorPhase MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTree MonoReferenced ValidatorPhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTreeRoot ValidatorPhase MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTreeRoot MonoReferenced ValidatorPhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree ValidatorPhase
- VRuleRef Name
- VValidator TermValidator (CTree ValidatorPhase)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator

datadata ValidateCBORError

Constructors

Instances2Eq, Show

Eq ValidateCBORErrorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator
Show ValidateCBORErrorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator