cuddle-1.1.0.0: CDDL Generator and test utilities
Safe HaskellNone
LanguageGHC2021

Codec.CBOR.Cuddle.CDDL.CTree

Synopsis

Resolved CDDL Tree

data family XXCTree i Source #

Instances

Instances details
Show (XXCTree ValidatorStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

Methods

showsPrec :: Int -> XXCTree ValidatorStage -> ShowS #

show :: XXCTree ValidatorStage -> String #

showList :: [XXCTree ValidatorStage] -> ShowS #

newtype XXCTree ValidatorStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

newtype XXCTree ValidatorStage = VRuleRef Name
data XXCTree MonoReferenced Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.Resolve

data XXCTree MonoReferenced

data CTreePhase Source #

Instances

Instances details
IndexMappable XCddl HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl HuddleStage -> XCddl CTreePhase Source #

IndexMappable XCddl ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl ParserStage -> XCddl CTreePhase Source #

IndexMappable XRule HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XRule HuddleStage -> XRule CTreePhase Source #

IndexMappable XRule ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XRule ParserStage -> XRule CTreePhase Source #

IndexMappable XTerm HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm HuddleStage -> XTerm CTreePhase Source #

IndexMappable XTerm ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm ParserStage -> XTerm CTreePhase Source #

IndexMappable XXType2 HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 HuddleStage -> XXType2 CTreePhase Source #

IndexMappable XXType2 ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 ParserStage -> XXType2 CTreePhase Source #

Generic (XCddl CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep (XCddl CTreePhase) 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XCddl CTreePhase) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (C1 ('MetaCons "CTreeXCddl" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: XCddl CTreePhase -> Rep (XCddl CTreePhase) x #

to :: Rep (XCddl CTreePhase) x -> XCddl CTreePhase #

Generic (XRule CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep (XRule CTreePhase) 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XRule CTreePhase) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeXRule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CBORGenerator))))

Methods

from :: XRule CTreePhase -> Rep (XRule CTreePhase) x #

to :: Rep (XRule CTreePhase) x -> XRule CTreePhase #

Generic (XTerm CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep (XTerm CTreePhase) 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XTerm CTreePhase) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (C1 ('MetaCons "CTreeXTerm" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: XTerm CTreePhase -> Rep (XTerm CTreePhase) x #

to :: Rep (XTerm CTreePhase) x -> XTerm CTreePhase #

Generic (XXTopLevel CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep (XXTopLevel CTreePhase) 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XXTopLevel CTreePhase) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

Methods

from :: XXTopLevel CTreePhase -> Rep (XXTopLevel CTreePhase) x #

to :: Rep (XXTopLevel CTreePhase) x -> XXTopLevel CTreePhase #

Generic (XXType2 CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep (XXType2 CTreePhase) 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XXType2 CTreePhase) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

Methods

from :: XXType2 CTreePhase -> Rep (XXType2 CTreePhase) x #

to :: Rep (XXType2 CTreePhase) x -> XXType2 CTreePhase #

Show (XCddl CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

showsPrec :: Int -> XCddl CTreePhase -> ShowS #

show :: XCddl CTreePhase -> String #

showList :: [XCddl CTreePhase] -> ShowS #

Show (XTerm CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

showsPrec :: Int -> XTerm CTreePhase -> ShowS #

show :: XTerm CTreePhase -> String #

showList :: [XTerm CTreePhase] -> ShowS #

Show (XXTopLevel CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

showsPrec :: Int -> XXTopLevel CTreePhase -> ShowS #

show :: XXTopLevel CTreePhase -> String #

showList :: [XXTopLevel CTreePhase] -> ShowS #

Show (XXType2 CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

showsPrec :: Int -> XXType2 CTreePhase -> ShowS #

show :: XXType2 CTreePhase -> String #

showList :: [XXType2 CTreePhase] -> ShowS #

Default (XTerm CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

def :: XTerm CTreePhase #

Eq (XCddl CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

(==) :: XCddl CTreePhase -> XCddl CTreePhase -> Bool #

(/=) :: XCddl CTreePhase -> XCddl CTreePhase -> Bool #

Eq (XTerm CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

(==) :: XTerm CTreePhase -> XTerm CTreePhase -> Bool #

(/=) :: XTerm CTreePhase -> XTerm CTreePhase -> Bool #

Eq (XXTopLevel CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

(==) :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> Bool #

(/=) :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> Bool #

Eq (XXType2 CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

(==) :: XXType2 CTreePhase -> XXType2 CTreePhase -> Bool #

(/=) :: XXType2 CTreePhase -> XXType2 CTreePhase -> Bool #

Ord (XCddl CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

compare :: XCddl CTreePhase -> XCddl CTreePhase -> Ordering #

(<) :: XCddl CTreePhase -> XCddl CTreePhase -> Bool #

(<=) :: XCddl CTreePhase -> XCddl CTreePhase -> Bool #

(>) :: XCddl CTreePhase -> XCddl CTreePhase -> Bool #

(>=) :: XCddl CTreePhase -> XCddl CTreePhase -> Bool #

max :: XCddl CTreePhase -> XCddl CTreePhase -> XCddl CTreePhase #

min :: XCddl CTreePhase -> XCddl CTreePhase -> XCddl CTreePhase #

Ord (XTerm CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

compare :: XTerm CTreePhase -> XTerm CTreePhase -> Ordering #

(<) :: XTerm CTreePhase -> XTerm CTreePhase -> Bool #

(<=) :: XTerm CTreePhase -> XTerm CTreePhase -> Bool #

(>) :: XTerm CTreePhase -> XTerm CTreePhase -> Bool #

(>=) :: XTerm CTreePhase -> XTerm CTreePhase -> Bool #

max :: XTerm CTreePhase -> XTerm CTreePhase -> XTerm CTreePhase #

min :: XTerm CTreePhase -> XTerm CTreePhase -> XTerm CTreePhase #

Ord (XXTopLevel CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

compare :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> Ordering #

(<) :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> Bool #

(<=) :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> Bool #

(>) :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> Bool #

(>=) :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> Bool #

max :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> XXTopLevel CTreePhase #

min :: XXTopLevel CTreePhase -> XXTopLevel CTreePhase -> XXTopLevel CTreePhase #

Ord (XXType2 CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

compare :: XXType2 CTreePhase -> XXType2 CTreePhase -> Ordering #

(<) :: XXType2 CTreePhase -> XXType2 CTreePhase -> Bool #

(<=) :: XXType2 CTreePhase -> XXType2 CTreePhase -> Bool #

(>) :: XXType2 CTreePhase -> XXType2 CTreePhase -> Bool #

(>=) :: XXType2 CTreePhase -> XXType2 CTreePhase -> Bool #

max :: XXType2 CTreePhase -> XXType2 CTreePhase -> XXType2 CTreePhase #

min :: XXType2 CTreePhase -> XXType2 CTreePhase -> XXType2 CTreePhase #

Hashable (XTerm CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

hashWithSalt :: Int -> XTerm CTreePhase -> Int #

hash :: XTerm CTreePhase -> Int #

Hashable (XXType2 CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

hashWithSalt :: Int -> XXType2 CTreePhase -> Int #

hash :: XXType2 CTreePhase -> Int #

data XCddl CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

data XCddl CTreePhase = CTreeXCddl
newtype XRule CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

newtype XRule CTreePhase = CTreeXRule (Maybe CBORGenerator)
data XTerm CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

data XTerm CTreePhase = CTreeXTerm
newtype XXTopLevel CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

newtype XXTopLevel CTreePhase = CTreeXXTopLevel Void
newtype XXType2 CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

newtype XXType2 CTreePhase = CTreeXXType2 Void
type Rep (XCddl CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XCddl CTreePhase) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (C1 ('MetaCons "CTreeXCddl" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (XRule CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XRule CTreePhase) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeXRule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CBORGenerator))))
type Rep (XTerm CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XTerm CTreePhase) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (C1 ('MetaCons "CTreeXTerm" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (XXTopLevel CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XXTopLevel CTreePhase) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))
type Rep (XXType2 CTreePhase) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (XXType2 CTreePhase) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

data CTree i Source #

Constructors

Literal Value 
Postlude PTerm 
Map [CTree i] 
Array [CTree i] 
Choice (NonEmpty (CTree i)) 
Group [CTree i] 
KV 

Fields

Occur 

Fields

Range 

Fields

Control 

Fields

Enum (CTree i) 
Unwrap (CTree i) 
Tag Word64 (CTree i) 
CTreeE (XXCTree i) 

Instances

Instances details
IndexMappable CTree MonoReferenced ValidatorStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

Methods

mapIndex :: CTree MonoReferenced -> CTree ValidatorStage Source #

Generic (CTree i) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep (CTree i) 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (CTree i) = D1 ('MetaData "CTree" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (((C1 ('MetaCons "Literal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: (C1 ('MetaCons "Postlude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PTerm)) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTree i])))) :+: ((C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTree i])) :+: C1 ('MetaCons "Choice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (CTree i))))) :+: (C1 ('MetaCons "Group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) '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 :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i))) :+: C1 ('MetaCons "Unwrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)))) :+: (C1 ('MetaCons "Tag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i))) :+: C1 ('MetaCons "CTreeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (XXCTree i)))))))

Methods

from :: CTree i -> Rep (CTree i) x #

to :: Rep (CTree i) x -> CTree i #

Show (Node f) => Show (CTree f) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

showsPrec :: Int -> CTree f -> ShowS #

show :: CTree f -> String #

showList :: [CTree f] -> ShowS #

Eq (Node f) => Eq (CTree f) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

(==) :: CTree f -> CTree f -> Bool #

(/=) :: CTree f -> CTree f -> Bool #

Hashable (Node f) => Hashable (CTree f) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

hashWithSalt :: Int -> CTree f -> Int #

hash :: CTree f -> Int #

type Rep (CTree i) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (CTree i) = D1 ('MetaData "CTree" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (((C1 ('MetaCons "Literal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: (C1 ('MetaCons "Postlude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PTerm)) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTree i])))) :+: ((C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTree i])) :+: C1 ('MetaCons "Choice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (CTree i))))) :+: (C1 ('MetaCons "Group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) '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 :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i))) :+: C1 ('MetaCons "Unwrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i)))) :+: (C1 ('MetaCons "Tag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTree i))) :+: C1 ('MetaCons "CTreeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (XXCTree i)))))))

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

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

foldCTree :: (XXCTree i -> CTree j) -> (CTree i -> CTree j) -> CTree i -> CTree j Source #

type Node i = XXCTree i Source #

newtype CTreeRoot i Source #

Constructors

CTreeRoot (Map Name (CTree i)) 

Instances

Instances details
IndexMappable CTreeRoot MonoReferenced ValidatorStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

Methods

mapIndex :: CTreeRoot MonoReferenced -> CTreeRoot ValidatorStage Source #

Generic (CTreeRoot i) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep (CTreeRoot i) 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (CTreeRoot i) = D1 ('MetaData "CTreeRoot" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeRoot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name (CTree i)))))

Methods

from :: CTreeRoot i -> Rep (CTreeRoot i) x #

to :: Rep (CTreeRoot i) x -> CTreeRoot i #

Show (CTree i) => Show (CTreeRoot i) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

showsPrec :: Int -> CTreeRoot i -> ShowS #

show :: CTreeRoot i -> String #

showList :: [CTreeRoot i] -> ShowS #

type Rep (CTreeRoot i) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep (CTreeRoot i) = D1 ('MetaData "CTreeRoot" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'True) (C1 ('MetaCons "CTreeRoot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name (CTree i)))))

data PTerm Source #

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.)

Constructors

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

Instances

Instances details
Generic PTerm Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Associated Types

type Rep PTerm 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep PTerm = D1 ('MetaData "PTerm" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (((C1 ('MetaCons "PTBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTUInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTNInt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PTInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTHalf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTFloat" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PTDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTBytes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTText" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PTAny" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTNil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTUndefined" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: PTerm -> Rep PTerm x #

to :: Rep PTerm x -> PTerm #

Show PTerm Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

showsPrec :: Int -> PTerm -> ShowS #

show :: PTerm -> String #

showList :: [PTerm] -> ShowS #

Eq PTerm Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

(==) :: PTerm -> PTerm -> Bool #

(/=) :: PTerm -> PTerm -> Bool #

Ord PTerm Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

compare :: PTerm -> PTerm -> Ordering #

(<) :: PTerm -> PTerm -> Bool #

(<=) :: PTerm -> PTerm -> Bool #

(>) :: PTerm -> PTerm -> Bool #

(>=) :: PTerm -> PTerm -> Bool #

max :: PTerm -> PTerm -> PTerm #

min :: PTerm -> PTerm -> PTerm #

Hashable PTerm Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

hashWithSalt :: Int -> PTerm -> Int #

hash :: PTerm -> Int #

type Rep PTerm Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

type Rep PTerm = D1 ('MetaData "PTerm" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" 'False) (((C1 ('MetaCons "PTBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTUInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTNInt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PTInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTHalf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTFloat" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PTDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTBytes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTText" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PTAny" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PTNil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTUndefined" 'PrefixI 'False) (U1 :: Type -> Type)))))