Modulecuddle-1.8.1.0GHC2021

Codec.CBOR.Cuddle.CDDL.CTree

4 types
4 values

Packagecuddle-1.8.1.0
Exports9
LanguageGHC2021
LicenceApache-2.0
SourceCTree.hs

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

datadata CTree i

Constructors

Literal Value
Postlude PTerm
Map [CTree i]
Array [CTree i]
Choice (NonEmpty (CTree i))
Group [CTree i]
KV
- key :: CTree i
- value :: CTree i
- cut :: Bool
Occur
- item :: CTree i
- occurs :: OccurrenceIndicator
Range
- from :: CTree i
- to :: CTree i
- inclusive :: RangeBound
Control
- op :: CtlOp
- target :: CTree i
- controller :: CTree i
Enum (CTree i)
Unwrap (CTree i)
Tag Word64 (CTree i)
CTreeE (XXCTree i)

Instances20HasState, HasSink, IndexMappable, HasReader, HasSource, Eq, …

HasSource "synth" MonoState MonoMDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
HasState "synth" MonoState MonoMDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
HasSink "synth" MonoState MonoMDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTree GenPhase MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTree ValidatorPhase MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTree DistReferenced DistReferencedNoGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTree MonoReferenced GenPhaseDefined 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 CTree MonoReferenced MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTree OrReferenced OrReferencedSimpleDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
HasReader "global" (Map Name (ProvidedParameters (CTree DistReferenced))) MonoMDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
HasReader "local" (Map Name (CTree MonoReferenced)) MonoMDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
HasSource "global" (Map Name (ProvidedParameters (CTree DistReferenced))) MonoMDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
HasSource "local" (Map Name (CTree MonoReferenced)) MonoMDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Eq (Node f) => Eq (CTree f)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Show (Node f) => Show (CTree f)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Generic (CTree i)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Pretty (XXCTree p) => Pretty (CTree p)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.Pretty · orphan
Hashable (Node f) => Hashable (CTree f)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
type Rep (CTree i) = D1 ('MetaData "CTree" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'False) (((C1 ('MetaCons "Literal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: (C1 ('MetaCons "Postlude" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PTerm)) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTree i])))) :+: ((C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTree i])) :+: C1 ('MetaCons "Choice" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (CTree i))))) :+: (C1 ('MetaCons "Group" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTree i])) :+: C1 ('MetaCons "KV" 'PrefixI 'True) (S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)) :*: (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)) :*: S1 ('MetaSel ('Just "cut") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))) :+: ((C1 ('MetaCons "Occur" 'PrefixI 'True) (S1 ('MetaSel ('Just "item") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)) :*: S1 ('MetaSel ('Just "occurs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OccurrenceIndicator)) :+: (C1 ('MetaCons "Range" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)) :*: (S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)) :*: S1 ('MetaSel ('Just "inclusive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RangeBound))) :+: C1 ('MetaCons "Control" 'PrefixI 'True) (S1 ('MetaSel ('Just "op") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CtlOp) :*: (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)) :*: S1 ('MetaSel ('Just "controller") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)))))) :+: ((C1 ('MetaCons "Enum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i))) :+: C1 ('MetaCons "Unwrap" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)))) :+: (C1 ('MetaCons "Tag" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i))) :+: C1 ('MetaCons "CTreeE" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (XXCTree i)))))))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree

valuetraverseCTree

:: Monad m
=> XXCTree i -> m (CTree j)
-> CTree i -> m (CTree j)
-> CTree i
-> m (CTree j)

Traverse the CTree, carrying out the given operation at each node

valuefoldCTree

:: XXCTree i -> CTree j
-> CTree i -> CTree j
-> CTree i
-> CTree j

typetype Node i = XXCTree i

newtypenewtype CTreeRoot i

Constructors

CTreeRoot (Map Name (CTree i))

Instances8IndexMappable, Show, Generic, Rep, …

IndexMappable CTreeRoot GenPhase MonoSimplePhaseDefined 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 GenPhaseDefined 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
IndexMappable CTreeRoot MonoReferenced MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Show (CTree i) => Show (CTreeRoot i)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Generic (CTreeRoot i)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
type Rep (CTreeRoot i) = D1 ('MetaData "CTreeRoot" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'True) (C1 ('MetaCons "CTreeRoot" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name (CTree i)))))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree

datadata PTerm

CDDL predefines a number of names. This subsection summarizes these names, but please see Appendix D for the exact definitions.

The following keywords for primitive datatypes are defined:

"bool" Boolean value (major type 7, additional information 20 or 21).

"uint" An unsigned integer (major type 0).

"nint" A negative integer (major type 1).

"int" An unsigned integer or a negative integer.

"float16" A number representable as a half-precision float [IEEE754] (major type 7, additional information 25).

"float32" A number representable as a single-precision float [IEEE754] (major type 7, additional information 26).

"float64" A number representable as a double-precision float [IEEE754] (major type 7, additional information 27).

"float" One of float16, float32, or float64.

"bstr" or "bytes" A byte string (major type 2).

"tstr" or "text" Text string (major type 3).

(Note that there are no predefined names for arrays or maps; these are defined with the syntax given below.)

PTBool PTUInt PTNInt PTInt PTHalf PTFloat PTDouble PTBytes PTText PTAny PTNil PTUndefined

Instances10Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Enum PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Eq PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Ord PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Show PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Generic PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Arbitrary PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
Pretty PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.Pretty · orphan
Hashable PTermDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree
type Rep PTerm = D1 ('MetaData "PTerm" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'False) (((C1 ('MetaCons "PTBool" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "PTUInt" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PTNInt" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "PTInt" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "PTHalf" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PTFloat" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "PTDouble" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "PTBytes" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PTText" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "PTAny" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "PTNil" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PTUndefined" 'PrefixI 'False) U1))))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.CTree

valueuintMax :: Integer

valuenintMin :: Integer