Modulecuddle-1.8.1.0GHC2021

Codec.CBOR.Cuddle.CDDL.Custom.Validator

5 types
1 class
2 values

Packagecuddle-1.8.1.0
Exports11
LanguageGHC2021
LicenceApache-2.0
SourceValidator.hs

typetype TermValidator = RuleTerm -> Validator ()

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

newtypenewtype Validator a

Instances7Monad, Functor, MonadFail, Applicative, MonadCddl, MonadReader, …

Monad ValidatorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
Functor ValidatorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
MonadFail ValidatorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
Applicative ValidatorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
MonadCddl ValidatorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
MonadReader ValidateEnv ValidatorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
type Phase Validator = ValidatorPhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator

datadata CustomValidatorResult

Instances4Eq, Show, Generic, Rep

Eq CustomValidatorResultDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
Show CustomValidatorResultDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
Generic CustomValidatorResultDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
type Rep CustomValidatorResult = D1 ('MetaData "CustomValidatorResult" "Codec.CBOR.Cuddle.CDDL.Custom.Validator" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'False) (C1 ('MetaCons "CustomValidatorSuccess" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CustomValidatorFailure" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator

data familydata family XXCTree i

Instances19Eq, Show, Generic, Pretty, Hashable, Rep, …

Eq (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Eq (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Eq (XXCTree OrReferencedSimple)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Show (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Show (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Show (XXCTree OrReferencedSimple)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Generic (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Pretty (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Pretty (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Hashable (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
type Rep (XXCTree MonoSimplePhase) = D1 ('MetaData "XXCTree" "Codec.CBOR.Cuddle.CDDL.Resolve" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'True) (C1 ('MetaCons "MSimpleRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree GenPhase
- GenRef Name
- GenGenerator (CBORGen RuleTerm) (CTree GenPhase)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
data XXCTree ValidatorPhase
- VRuleRef Name
- VValidator TermValidator (CTree ValidatorPhase)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
data XXCTree DistReferenced
- DRef (DistRef DistReferenced)
- DGenerator (CBORGen RuleTerm) (CTree DistReferenced)
- DValidator TermValidator (CTree DistReferenced)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree DistReferencedNoGen
- DHRef (DistRef DistReferencedNoGen)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree MonoReferenced
- MRuleRef Name
- MGenerator (CBORGen RuleTerm) (CTree MonoReferenced)
- MValidator TermValidator (CTree MonoReferenced)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree MonoSimplePhase
- MSimpleRef Name
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree OrReferenced
- OrRef Name [CTree OrReferenced]
- OGenerator (CBORGen RuleTerm) (CTree OrReferenced)
- OValidator TermValidator (CTree OrReferenced)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree OrReferencedSimple
- DGOrRef Name [CTree OrReferencedSimple]
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve

constructorVRuleRef Name

constructorVValidator TermValidator (CTree ValidatorPhase)

classclass HasValidator a where

Methods

validatorL :: Lens' a (Maybe TermValidator)

Instances2HasValidator

HasValidator RuleDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.Huddle
HasValidator (XRule HuddleStage)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.Huddle

datadata ValidateEnv

Constructors

ValidateEnv
- veRoot :: CTreeRoot ValidatorPhase
- veLocal :: Map Name (CTree ValidatorPhase)

Instances1MonadReader

MonadReader ValidateEnv ValidatorDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator

valuewithLocalValidateBindings

:: Map Name (CTree ValidatorPhase)
-> Validator a
-> Validator a

Run an action with the given local generic bindings installed.

valuerunValidator

:: Validator ()
-> CTreeRoot ValidatorPhase
-> CustomValidatorResult