Documentation

IndexMappable XXType2 HuddleStage PrettyStage

Methods

mapIndex ∷ XXType2 HuddleStage → XXType2 CTreePhase Source #

Instance details

IndexMappable XXType2 ParserStage CTreePhase

Methods

mapIndex ∷ XXType2 HuddleStage → XXType2 PrettyStage Source #

Instance details

IndexMappable XXType2 ParserStage HuddleStage

Methods

mapIndex ∷ XXType2 ParserStage → XXType2 CTreePhase Source #

Instance details

IndexMappable XXType2 ParserStage ParserStage

Methods

mapIndex ∷ XXType2 ParserStage → XXType2 HuddleStage Source #

Instance details

IndexMappable XXType2 ParserStage PrettyStage

Methods

mapIndex ∷ XXType2 ParserStage → XXType2 ParserStage Source #

Instance details

Methods

mapIndex ∷ XXType2 ParserStage → XXType2 PrettyStage Source #

CollectComments (XXType2 PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments ∷ XXType2 PrettyStage → [Comment] Source #

Semigroup (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XXType2 HuddleStage → XXType2 HuddleStage → XXType2 HuddleStage #

sconcat ∷ NonEmpty (XXType2 HuddleStage) → XXType2 HuddleStage #

stimes ∷ Integral b ⇒ b → XXType2 HuddleStage → XXType2 HuddleStage #

Generic (XXType2 CTreePhase)

Instance details

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-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" '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 #

Generic (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XXType2 HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XXType2 HuddleStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

Methods

from ∷ XXType2 HuddleStage → Rep (XXType2 HuddleStage) x #

to ∷ Rep (XXType2 HuddleStage) x → XXType2 HuddleStage #

Generic (XXType2 ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XXType2 ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser type Rep (XXType2 ParserStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

Methods

from ∷ XXType2 ParserStage → Rep (XXType2 ParserStage) x #

to ∷ Rep (XXType2 ParserStage) x → XXType2 ParserStage #

Generic (XXType2 PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Associated Types

type Rep (XXType2 PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty type Rep (XXType2 PrettyStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

Methods

from ∷ XXType2 PrettyStage → Rep (XXType2 PrettyStage) x #

to ∷ Rep (XXType2 PrettyStage) x → XXType2 PrettyStage #

Show (XXType2 CTreePhase)

Instance details

Methods

showsPrec ∷ Int → XXType2 CTreePhase → ShowS #

show ∷ XXType2 CTreePhase → String #

showList ∷ [XXType2 CTreePhase] → ShowS #

Show (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XXType2 HuddleStage → ShowS #

show ∷ XXType2 HuddleStage → String #

showList ∷ [XXType2 HuddleStage] → ShowS #

Show (XXType2 ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

showsPrec ∷ Int → XXType2 ParserStage → ShowS #

show ∷ XXType2 ParserStage → String #

showList ∷ [XXType2 ParserStage] → ShowS #

Show (XXType2 PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

showsPrec ∷ Int → XXType2 PrettyStage → ShowS #

show ∷ XXType2 PrettyStage → String #

showList ∷ [XXType2 PrettyStage] → ShowS #

Eq (XXType2 CTreePhase)

Instance details

Methods

(==) ∷ XXType2 CTreePhase → XXType2 CTreePhase → Bool #

(/=) ∷ XXType2 CTreePhase → XXType2 CTreePhase → Bool #

Eq (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XXType2 HuddleStage → XXType2 HuddleStage → Bool #

(/=) ∷ XXType2 HuddleStage → XXType2 HuddleStage → Bool #

Eq (XXType2 ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(==) ∷ XXType2 ParserStage → XXType2 ParserStage → Bool #

(/=) ∷ XXType2 ParserStage → XXType2 ParserStage → Bool #

Eq (XXType2 PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(==) ∷ XXType2 PrettyStage → XXType2 PrettyStage → Bool #

(/=) ∷ XXType2 PrettyStage → XXType2 PrettyStage → Bool #

Ord (XXType2 CTreePhase)

Instance details

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 (XXType2 CTreePhase)

Instance details

Methods

hashWithSalt ∷ Int → XXType2 CTreePhase → Int Source #

hash ∷ XXType2 CTreePhase → Int Source #

ToExpr (XXType2 ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr ∷ XXType2 ParserStage → Expr Source #

listToExpr ∷ [XXType2 ParserStage] → Expr Source #

ToExpr (XXType2 PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr ∷ XXType2 PrettyStage → Expr Source #

listToExpr ∷ [XXType2 PrettyStage] → Expr Source #

newtype XXType2 CTreePhase

Instance details

newtype XXType2 CTreePhase = CTreeXXType2 Void

newtype XXType2 HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXType2 HuddleStage = HuddleXXType2 Void

newtype XXType2 ParserStage

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XXType2 ParserStage = ParserXXType2 Void

newtype XXType2 PrettyStage

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XXType2 PrettyStage = PrettyXXType2 Void

type Rep (XXType2 CTreePhase)

Instance details

IndexMappable XXTopLevel HuddleStage PrettyStage

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

type Rep (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XXType2 HuddleStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

type Rep (XXType2 ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XXType2 ParserStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

type Rep (XXType2 PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

type Rep (XXType2 PrettyStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

data Rule Source #

Constructors

Rule
Fields ruleDefinition ∷ Named Type0 ruleExtra ∷ XRule HuddleStage

Instances

Instances details

HasName Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName ∷ Rule → Name Source #

HasGenerator Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

generatorL ∷ Lens' Rule (Maybe CBORGenerator) Source #

HasComment Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL ∷ Lens' Rule Comment Source #

IsRangeBound Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toRangeBound ∷ Rule → RangeBound

IsType0 Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 ∷ Rule → Type0 Source #

Includable Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle.HuddleM

Methods

include ∷ Rule → HuddleM Rule Source #

Generic Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep Rule = D1 ('MetaData "Rule" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) (S1 ('MetaSel ('Just "ruleDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Named Type0)) :*: S1 ('MetaSel ('Just "ruleExtra") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (XRule HuddleStage))))

Methods

from ∷ Rule → Rep Rule x #

to ∷ Rep Rule x → Rule #

IsChoosable Rule Type2

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toChoice ∷ Rule → Choice Type2

type Rep Rule

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep Rule = D1 ('MetaData "Rule" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) (S1 ('MetaSel ('Just "ruleDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Named Type0)) :*: S1 ('MetaSel ('Just "ruleExtra") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (XRule HuddleStage))))

class HasName a where Source #

Methods

getName ∷ a → Name Source #

Instances

Instances details

HasName Name
Instance details Defined in Codec.CBOR.Cuddle.CDDL Methods getName ∷ Name → Name Source #
HasName GRuleDef
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods getName ∷ GRuleDef → Name Source #
HasName GroupDef
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods getName ∷ GroupDef → Name Source #
HasName HuddleItem
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods getName ∷ HuddleItem → Name Source #
HasName Rule
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods getName ∷ Rule → Name Source #
HasName (Named a)
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods getName ∷ Named a → Name Source #

data family XXTopLevel i Source #

Instances

Instances details

Instance details

IndexMappable XXTopLevel ParserStage HuddleStage

Methods

mapIndex ∷ XXTopLevel HuddleStage → XXTopLevel PrettyStage Source #

Instance details

IndexMappable XXTopLevel ParserStage ParserStage

Methods

mapIndex ∷ XXTopLevel ParserStage → XXTopLevel HuddleStage Source #

Instance details

IndexMappable XXTopLevel ParserStage PrettyStage

Methods

mapIndex ∷ XXTopLevel ParserStage → XXTopLevel ParserStage Source #

Instance details

Methods

mapIndex ∷ XXTopLevel ParserStage → XXTopLevel PrettyStage Source #

CollectComments (XXTopLevel PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments ∷ XXTopLevel PrettyStage → [Comment] Source #

Monoid (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

mempty ∷ XXTopLevel HuddleStage #

mappend ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → XXTopLevel HuddleStage #

mconcat ∷ [XXTopLevel HuddleStage] → XXTopLevel HuddleStage #

Semigroup (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → XXTopLevel HuddleStage #

sconcat ∷ NonEmpty (XXTopLevel HuddleStage) → XXTopLevel HuddleStage #

stimes ∷ Integral b ⇒ b → XXTopLevel HuddleStage → XXTopLevel HuddleStage #

Generic (XXTopLevel CTreePhase)

Instance details

Associated Types

type Rep (XXTopLevel CTreePhase)

Instance details

type Rep (XXTopLevel CTreePhase) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" '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 (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XXTopLevel HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XXTopLevel HuddleStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XXTopLevel HuddleStage → Rep (XXTopLevel HuddleStage) x #

to ∷ Rep (XXTopLevel HuddleStage) x → XXTopLevel HuddleStage #

Generic (XXTopLevel ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XXTopLevel ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser type Rep (XXTopLevel ParserStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XXTopLevel ParserStage → Rep (XXTopLevel ParserStage) x #

to ∷ Rep (XXTopLevel ParserStage) x → XXTopLevel ParserStage #

Generic (XXTopLevel PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Associated Types

type Rep (XXTopLevel PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty type Rep (XXTopLevel PrettyStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XXTopLevel PrettyStage → Rep (XXTopLevel PrettyStage) x #

to ∷ Rep (XXTopLevel PrettyStage) x → XXTopLevel PrettyStage #

Show (XXTopLevel CTreePhase)

Instance details

Methods

showsPrec ∷ Int → XXTopLevel CTreePhase → ShowS #

show ∷ XXTopLevel CTreePhase → String #

showList ∷ [XXTopLevel CTreePhase] → ShowS #

Show (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XXTopLevel HuddleStage → ShowS #

show ∷ XXTopLevel HuddleStage → String #

showList ∷ [XXTopLevel HuddleStage] → ShowS #

Show (XXTopLevel ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

showsPrec ∷ Int → XXTopLevel ParserStage → ShowS #

show ∷ XXTopLevel ParserStage → String #

showList ∷ [XXTopLevel ParserStage] → ShowS #

Show (XXTopLevel PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

showsPrec ∷ Int → XXTopLevel PrettyStage → ShowS #

show ∷ XXTopLevel PrettyStage → String #

showList ∷ [XXTopLevel PrettyStage] → ShowS #

Eq (XXTopLevel CTreePhase)

Instance details

Methods

(==) ∷ XXTopLevel CTreePhase → XXTopLevel CTreePhase → Bool #

(/=) ∷ XXTopLevel CTreePhase → XXTopLevel CTreePhase → Bool #

Eq (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → Bool #

(/=) ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → Bool #

Eq (XXTopLevel ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(==) ∷ XXTopLevel ParserStage → XXTopLevel ParserStage → Bool #

(/=) ∷ XXTopLevel ParserStage → XXTopLevel ParserStage → Bool #

Eq (XXTopLevel PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(==) ∷ XXTopLevel PrettyStage → XXTopLevel PrettyStage → Bool #

(/=) ∷ XXTopLevel PrettyStage → XXTopLevel PrettyStage → Bool #

Ord (XXTopLevel CTreePhase)

Instance details

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 #

ToExpr (XXTopLevel ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr ∷ XXTopLevel ParserStage → Expr Source #

listToExpr ∷ [XXTopLevel ParserStage] → Expr Source #

ToExpr (XXTopLevel PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr ∷ XXTopLevel PrettyStage → Expr Source #

listToExpr ∷ [XXTopLevel PrettyStage] → Expr Source #

newtype XXTopLevel CTreePhase

Instance details

newtype XXTopLevel CTreePhase = CTreeXXTopLevel Void

newtype XXTopLevel HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXTopLevel HuddleStage = HuddleXXTopLevel Comment

newtype XXTopLevel ParserStage

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XXTopLevel ParserStage = ParserXXTopLevel Comment

newtype XXTopLevel PrettyStage

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XXTopLevel PrettyStage = PrettyXXTopLevel Comment

type Rep (XXTopLevel CTreePhase)

Instance details

IndexMappable XRule HuddleStage CTreePhase

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

type Rep (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XXTopLevel HuddleStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

type Rep (XXTopLevel ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XXTopLevel ParserStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

type Rep (XXTopLevel PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

type Rep (XXTopLevel PrettyStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

data family XRule i Source #

Instances

Instances details

Instance details

IndexMappable XRule HuddleStage PrettyStage

Methods

mapIndex ∷ XRule HuddleStage → XRule CTreePhase Source #

Instance details

IndexMappable XRule ParserStage CTreePhase

Methods

mapIndex ∷ XRule HuddleStage → XRule PrettyStage Source #

Instance details

IndexMappable XRule ParserStage ParserStage

Methods

mapIndex ∷ XRule ParserStage → XRule CTreePhase Source #

Instance details

IndexMappable XRule ParserStage PrettyStage

Methods

mapIndex ∷ XRule ParserStage → XRule ParserStage Source #

Instance details

Methods

mapIndex ∷ XRule ParserStage → XRule PrettyStage Source #

CollectComments (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments ∷ XRule PrettyStage → [Comment] Source #

HasComment (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL ∷ Lens' (XRule HuddleStage) Comment Source #

HasComment (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

commentL ∷ Lens' (XRule ParserStage) Comment Source #

HasComment (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

commentL ∷ Lens' (XRule PrettyStage) Comment Source #

Default (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

def ∷ XRule HuddleStage Source #

Default (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

def ∷ XRule PrettyStage Source #

Monoid (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

mempty ∷ XRule ParserStage #

mappend ∷ XRule ParserStage → XRule ParserStage → XRule ParserStage #

mconcat ∷ [XRule ParserStage] → XRule ParserStage #

Semigroup (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(<>) ∷ XRule ParserStage → XRule ParserStage → XRule ParserStage #

sconcat ∷ NonEmpty (XRule ParserStage) → XRule ParserStage #

stimes ∷ Integral b ⇒ b → XRule ParserStage → XRule ParserStage #

Generic (XRule CTreePhase)

Instance details

Associated Types

type Rep (XRule CTreePhase)

Instance details

type Rep (XRule CTreePhase) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" '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 (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XRule HuddleStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "HuddleXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "hxrComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "hxrGenerator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CBORGenerator))))

Methods

from ∷ XRule HuddleStage → Rep (XRule HuddleStage) x #

to ∷ Rep (XRule HuddleStage) x → XRule HuddleStage #

Generic (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XRule ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser type Rep (XRule ParserStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXRule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XRule ParserStage → Rep (XRule ParserStage) x #

to ∷ Rep (XRule ParserStage) x → XRule ParserStage #

Generic (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Associated Types

type Rep (XRule PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty type Rep (XRule PrettyStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrettyXRule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XRule PrettyStage → Rep (XRule PrettyStage) x #

to ∷ Rep (XRule PrettyStage) x → XRule PrettyStage #

Show (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

showsPrec ∷ Int → XRule ParserStage → ShowS #

show ∷ XRule ParserStage → String #

showList ∷ [XRule ParserStage] → ShowS #

Show (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

showsPrec ∷ Int → XRule PrettyStage → ShowS #

show ∷ XRule PrettyStage → String #

showList ∷ [XRule PrettyStage] → ShowS #

Eq (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(==) ∷ XRule ParserStage → XRule ParserStage → Bool #

(/=) ∷ XRule ParserStage → XRule ParserStage → Bool #

Eq (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(==) ∷ XRule PrettyStage → XRule PrettyStage → Bool #

(/=) ∷ XRule PrettyStage → XRule PrettyStage → Bool #

ToExpr (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr ∷ XRule ParserStage → Expr Source #

listToExpr ∷ [XRule ParserStage] → Expr Source #

ToExpr (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr ∷ XRule PrettyStage → Expr Source #

listToExpr ∷ [XRule PrettyStage] → Expr Source #

newtype XRule CTreePhase

Instance details

newtype XRule CTreePhase = CTreeXRule (Maybe CBORGenerator)

data XRule HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

data XRule HuddleStage = HuddleXRule {

hxrComment ∷ Comment
hxrGenerator ∷ Maybe CBORGenerator

}

newtype XRule ParserStage

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XRule ParserStage = ParserXRule {

unParserXRule ∷ Comment

}

newtype XRule PrettyStage

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XRule PrettyStage = PrettyXRule {

unPrettyXRule ∷ Comment

}

type Rep (XRule CTreePhase)

Instance details

IndexMappable XTerm HuddleStage CTreePhase

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

type Rep (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XRule HuddleStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "HuddleXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "hxrComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "hxrGenerator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CBORGenerator))))

type Rep (XRule ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XRule ParserStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXRule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

type Rep (XRule PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

type Rep (XRule PrettyStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrettyXRule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

data family XTerm i Source #

Instances

Instances details

Instance details

IndexMappable XTerm HuddleStage PrettyStage

Methods

mapIndex ∷ XTerm HuddleStage → XTerm CTreePhase Source #

Instance details

IndexMappable XTerm ParserStage CTreePhase

Methods

mapIndex ∷ XTerm HuddleStage → XTerm PrettyStage Source #

Instance details

IndexMappable XTerm ParserStage HuddleStage

Methods

mapIndex ∷ XTerm ParserStage → XTerm CTreePhase Source #

Instance details

IndexMappable XTerm ParserStage ParserStage

Methods

mapIndex ∷ XTerm ParserStage → XTerm HuddleStage Source #

Instance details

IndexMappable XTerm ParserStage PrettyStage

Methods

mapIndex ∷ XTerm ParserStage → XTerm ParserStage Source #

Instance details

Methods

mapIndex ∷ XTerm ParserStage → XTerm PrettyStage Source #

CollectComments (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments ∷ XTerm PrettyStage → [Comment] Source #

HasComment (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

commentL ∷ Lens' (XTerm ParserStage) Comment Source #

HasComment (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

commentL ∷ Lens' (XTerm PrettyStage) Comment Source #

Default (XTerm CTreePhase)

Instance details

Methods

def ∷ XTerm CTreePhase Source #

Monoid (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

mempty ∷ XTerm HuddleStage #

mappend ∷ XTerm HuddleStage → XTerm HuddleStage → XTerm HuddleStage #

mconcat ∷ [XTerm HuddleStage] → XTerm HuddleStage #

Monoid (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

mempty ∷ XTerm ParserStage #

mappend ∷ XTerm ParserStage → XTerm ParserStage → XTerm ParserStage #

mconcat ∷ [XTerm ParserStage] → XTerm ParserStage #

Monoid (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

mempty ∷ XTerm PrettyStage #

mappend ∷ XTerm PrettyStage → XTerm PrettyStage → XTerm PrettyStage #

mconcat ∷ [XTerm PrettyStage] → XTerm PrettyStage #

Semigroup (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XTerm HuddleStage → XTerm HuddleStage → XTerm HuddleStage #

sconcat ∷ NonEmpty (XTerm HuddleStage) → XTerm HuddleStage #

stimes ∷ Integral b ⇒ b → XTerm HuddleStage → XTerm HuddleStage #

Semigroup (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(<>) ∷ XTerm ParserStage → XTerm ParserStage → XTerm ParserStage #

sconcat ∷ NonEmpty (XTerm ParserStage) → XTerm ParserStage #

stimes ∷ Integral b ⇒ b → XTerm ParserStage → XTerm ParserStage #

Semigroup (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(<>) ∷ XTerm PrettyStage → XTerm PrettyStage → XTerm PrettyStage #

sconcat ∷ NonEmpty (XTerm PrettyStage) → XTerm PrettyStage #

stimes ∷ Integral b ⇒ b → XTerm PrettyStage → XTerm PrettyStage #

IsString (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

fromString ∷ String → XTerm PrettyStage #

Generic (XTerm CTreePhase)

Instance details

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-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" '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 (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XTerm HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XTerm HuddleStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XTerm HuddleStage → Rep (XTerm HuddleStage) x #

to ∷ Rep (XTerm HuddleStage) x → XTerm HuddleStage #

Generic (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XTerm ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser type Rep (XTerm ParserStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XTerm ParserStage → Rep (XTerm ParserStage) x #

to ∷ Rep (XTerm ParserStage) x → XTerm ParserStage #

Generic (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Associated Types

type Rep (XTerm PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty type Rep (XTerm PrettyStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrettyXTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XTerm PrettyStage → Rep (XTerm PrettyStage) x #

to ∷ Rep (XTerm PrettyStage) x → XTerm PrettyStage #

Show (XTerm ValidatorStage)

Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

Methods

showsPrec ∷ Int → XTerm ValidatorStage → ShowS #

show ∷ XTerm ValidatorStage → String #

showList ∷ [XTerm ValidatorStage] → ShowS #

Show (XTerm CTreePhase)

Instance details

Methods

showsPrec ∷ Int → XTerm CTreePhase → ShowS #

show ∷ XTerm CTreePhase → String #

showList ∷ [XTerm CTreePhase] → ShowS #

Show (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XTerm HuddleStage → ShowS #

show ∷ XTerm HuddleStage → String #

showList ∷ [XTerm HuddleStage] → ShowS #

Show (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

showsPrec ∷ Int → XTerm ParserStage → ShowS #

show ∷ XTerm ParserStage → String #

showList ∷ [XTerm ParserStage] → ShowS #

Show (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

showsPrec ∷ Int → XTerm PrettyStage → ShowS #

show ∷ XTerm PrettyStage → String #

showList ∷ [XTerm PrettyStage] → ShowS #

Eq (XTerm CTreePhase)

Instance details

Methods

(==) ∷ XTerm CTreePhase → XTerm CTreePhase → Bool #

(/=) ∷ XTerm CTreePhase → XTerm CTreePhase → Bool #

Eq (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XTerm HuddleStage → XTerm HuddleStage → Bool #

(/=) ∷ XTerm HuddleStage → XTerm HuddleStage → Bool #

Eq (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(==) ∷ XTerm ParserStage → XTerm ParserStage → Bool #

(/=) ∷ XTerm ParserStage → XTerm ParserStage → Bool #

Eq (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(==) ∷ XTerm PrettyStage → XTerm PrettyStage → Bool #

(/=) ∷ XTerm PrettyStage → XTerm PrettyStage → Bool #

Ord (XTerm CTreePhase)

Instance details

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 #

Hashable (XTerm CTreePhase)

Instance details

Methods

hashWithSalt ∷ Int → XTerm CTreePhase → Int Source #

hash ∷ XTerm CTreePhase → Int Source #

ToExpr (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr ∷ XTerm ParserStage → Expr Source #

listToExpr ∷ [XTerm ParserStage] → Expr Source #

ToExpr (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr ∷ XTerm PrettyStage → Expr Source #

listToExpr ∷ [XTerm PrettyStage] → Expr Source #

data XTerm ValidatorStage

Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

data XTerm ValidatorStage = ValidatorXTerm

data XTerm CTreePhase

Instance details

data XTerm CTreePhase = CTreeXTerm

newtype XTerm HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XTerm HuddleStage = HuddleXTerm Comment

newtype XTerm ParserStage

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XTerm ParserStage = ParserXTerm {

unParserXTerm ∷ Comment

}

newtype XTerm PrettyStage

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XTerm PrettyStage = PrettyXTerm {

unPrettyXTerm ∷ Comment

}

type Rep (XTerm CTreePhase)

Instance details

IndexMappable XCddl HuddleStage CTreePhase

type Rep (XTerm CTreePhase) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "CTreeXTerm" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XTerm HuddleStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

type Rep (XTerm ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XTerm ParserStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParserXTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

type Rep (XTerm PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

type Rep (XTerm PrettyStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrettyXTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

data family XCddl i Source #

Instances

Instances details

Instance details

IndexMappable XCddl HuddleStage PrettyStage

Methods

mapIndex ∷ XCddl HuddleStage → XCddl CTreePhase Source #

Instance details

IndexMappable XCddl ParserStage CTreePhase

Methods

mapIndex ∷ XCddl HuddleStage → XCddl PrettyStage Source #

Instance details

IndexMappable XCddl ParserStage HuddleStage

Methods

mapIndex ∷ XCddl ParserStage → XCddl CTreePhase Source #

Instance details

IndexMappable XCddl ParserStage ParserStage

Methods

mapIndex ∷ XCddl ParserStage → XCddl HuddleStage Source #

Instance details

IndexMappable XCddl ParserStage PrettyStage

Methods

mapIndex ∷ XCddl ParserStage → XCddl ParserStage Source #

Instance details

Methods

mapIndex ∷ XCddl ParserStage → XCddl PrettyStage Source #

CollectComments (XCddl PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments ∷ XCddl PrettyStage → [Comment] Source #

Monoid (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

mempty ∷ XCddl HuddleStage #

mappend ∷ XCddl HuddleStage → XCddl HuddleStage → XCddl HuddleStage #

mconcat ∷ [XCddl HuddleStage] → XCddl HuddleStage #

Monoid (XCddl ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

mempty ∷ XCddl ParserStage #

mappend ∷ XCddl ParserStage → XCddl ParserStage → XCddl ParserStage #

mconcat ∷ [XCddl ParserStage] → XCddl ParserStage #

Semigroup (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XCddl HuddleStage → XCddl HuddleStage → XCddl HuddleStage #

sconcat ∷ NonEmpty (XCddl HuddleStage) → XCddl HuddleStage #

stimes ∷ Integral b ⇒ b → XCddl HuddleStage → XCddl HuddleStage #

Semigroup (XCddl ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(<>) ∷ XCddl ParserStage → XCddl ParserStage → XCddl ParserStage #

sconcat ∷ NonEmpty (XCddl ParserStage) → XCddl ParserStage #

stimes ∷ Integral b ⇒ b → XCddl ParserStage → XCddl ParserStage #

Generic (XCddl CTreePhase)

Instance details

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-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" '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 (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XCddl HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XCddl HuddleStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

Methods

from ∷ XCddl HuddleStage → Rep (XCddl HuddleStage) x #

to ∷ Rep (XCddl HuddleStage) x → XCddl HuddleStage #

Generic (XCddl ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Associated Types

type Rep (XCddl ParserStage)
Instance details Defined in Codec.CBOR.Cuddle.Parser type Rep (XCddl ParserStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

Methods

from ∷ XCddl ParserStage → Rep (XCddl ParserStage) x #

to ∷ Rep (XCddl ParserStage) x → XCddl ParserStage #

Generic (XCddl PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Associated Types

type Rep (XCddl PrettyStage)
Instance details Defined in Codec.CBOR.Cuddle.Pretty type Rep (XCddl PrettyStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

Methods

from ∷ XCddl PrettyStage → Rep (XCddl PrettyStage) x #

to ∷ Rep (XCddl PrettyStage) x → XCddl PrettyStage #

Show (XCddl CTreePhase)

Instance details

Methods

showsPrec ∷ Int → XCddl CTreePhase → ShowS #

show ∷ XCddl CTreePhase → String #

showList ∷ [XCddl CTreePhase] → ShowS #

Show (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XCddl HuddleStage → ShowS #

show ∷ XCddl HuddleStage → String #

showList ∷ [XCddl HuddleStage] → ShowS #

Show (XCddl ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

showsPrec ∷ Int → XCddl ParserStage → ShowS #

show ∷ XCddl ParserStage → String #

showList ∷ [XCddl ParserStage] → ShowS #

Show (XCddl PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

showsPrec ∷ Int → XCddl PrettyStage → ShowS #

show ∷ XCddl PrettyStage → String #

showList ∷ [XCddl PrettyStage] → ShowS #

Eq (XCddl CTreePhase)

Instance details

Methods

(==) ∷ XCddl CTreePhase → XCddl CTreePhase → Bool #

(/=) ∷ XCddl CTreePhase → XCddl CTreePhase → Bool #

Eq (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XCddl HuddleStage → XCddl HuddleStage → Bool #

(/=) ∷ XCddl HuddleStage → XCddl HuddleStage → Bool #

Eq (XCddl ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(==) ∷ XCddl ParserStage → XCddl ParserStage → Bool #

(/=) ∷ XCddl ParserStage → XCddl ParserStage → Bool #

Eq (XCddl PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(==) ∷ XCddl PrettyStage → XCddl PrettyStage → Bool #

(/=) ∷ XCddl PrettyStage → XCddl PrettyStage → Bool #

Ord (XCddl CTreePhase)

Instance details

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 #

ToExpr (XCddl ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr ∷ XCddl ParserStage → Expr Source #

listToExpr ∷ [XCddl ParserStage] → Expr Source #

ToExpr (XCddl PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr ∷ XCddl PrettyStage → Expr Source #

listToExpr ∷ [XCddl PrettyStage] → Expr Source #

data XCddl CTreePhase

Instance details

data XCddl CTreePhase = CTreeXCddl

newtype XCddl HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XCddl HuddleStage = HuddleXCddl [Comment]

newtype XCddl ParserStage

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XCddl ParserStage = ParserXCddl [Comment]

newtype XCddl PrettyStage

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XCddl PrettyStage = PrettyXCddl [Comment]

type Rep (XCddl CTreePhase)

Instance details

IndexMappable XCddl HuddleStage CTreePhase

type Rep (XCddl CTreePhase) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.CDDL.CTree" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "CTreeXCddl" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XCddl HuddleStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

type Rep (XCddl ParserStage)

Instance details

Defined in Codec.CBOR.Cuddle.Parser

type Rep (XCddl ParserStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Parser" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "ParserXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

type Rep (XCddl PrettyStage)

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

type Rep (XCddl PrettyStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Pretty" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "PrettyXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

data Literal Source #

Instances

Instances details

HasComment Literal
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods commentL ∷ Lens' Literal Comment Source #
IsRangeBound Literal
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toRangeBound ∷ Literal → RangeBound
IsType0 Literal
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Literal → Type0 Source #
Show Literal
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods showsPrec ∷ Int → Literal → ShowS # show ∷ Literal → String # showList ∷ [Literal] → ShowS #
IsChoosable Literal Type2
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toChoice ∷ Literal → Choice Type2

data GRuleDef Source #

Constructors

GRuleDef
Fields grdBody ∷ Named (GRule GRef) grdExtra ∷ XRule HuddleStage

Instances

Instances details

HasName GRuleDef
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods getName ∷ GRuleDef → Name Source #

data GRuleCall Source #

Constructors

GRuleCall
Fields grcBody ∷ Named (GRule Type2) grcExtra ∷ XRule HuddleStage

Instances

Instances details

IsType0 GRuleCall
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ GRuleCall → Type0 Source #
IsChoosable GRuleCall Type2
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toChoice ∷ GRuleCall → Choice Type2
IsType0 t0 ⇒ Includable (t0 → GRuleCall)
Instance details Defined in Codec.CBOR.Cuddle.Huddle.HuddleM Methods include ∷ (t0 → GRuleCall) → HuddleM (t0 → GRuleCall) Source #

data GRef Source #

Instances

Instances details

IsType0 GRef
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ GRef → Type0 Source #
Show GRef
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods showsPrec ∷ Int → GRef → ShowS # show ∷ GRef → String # showList ∷ [GRef] → ShowS #
IsCborable GRef
Instance details Defined in Codec.CBOR.Cuddle.Huddle
IsChoosable GRef Type2
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toChoice ∷ GRef → Choice Type2
IsComparable GRef
Instance details Defined in Codec.CBOR.Cuddle.Huddle
IsConstrainable GRef CGRefType
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toConstrainable ∷ GRef → Constrainable CGRefType

class IsType0 a where Source #

Methods

toType0 ∷ a → Type0 Source #

Instances

Instances details

IsType0 ByteString
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ ByteString → Type0 Source #
IsType0 Array
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Array → Type0 Source #
IsType0 ArrayChoice
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ ArrayChoice → Type0 Source #
IsType0 Constrained
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Constrained → Type0 Source #
IsType0 GRef
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ GRef → Type0 Source #
IsType0 GRuleCall
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ GRuleCall → Type0 Source #
IsType0 GroupDef
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ GroupDef → Type0 Source #
IsType0 HuddleItem
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ HuddleItem → Type0 Source #
IsType0 Literal
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Literal → Type0 Source #
IsType0 Map
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Map → Type0 Source #
IsType0 MapChoice
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ MapChoice → Type0 Source #
IsType0 Ranged
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Ranged → Type0 Source #
IsType0 Rule
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Rule → Type0 Source #
IsType0 Text
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Text → Type0 Source #
IsType0 Integer
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Integer → Type0 Source #
IsType0 Double
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Double → Type0 Source #
IsType0 Float
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Float → Type0 Source #
IsType0 (Choice Type2)
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Choice Type2 → Type0 Source #
IsType0 a ⇒ IsType0 (Tagged a)
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Tagged a → Type0 Source #
IsType0 (Value a)
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 ∷ Value a → Type0 Source #

class IsSizeable (a ∷ k) Source #

Marker that we can apply the size CtlOp to something. Not intended for export.

Instances

Instances details

IsSizeable ByteString
Instance details Defined in Codec.CBOR.Cuddle.Huddle
IsSizeable CGRefType
Instance details Defined in Codec.CBOR.Cuddle.Huddle
IsSizeable CRefType
Instance details Defined in Codec.CBOR.Cuddle.Huddle
IsSizeable Text
Instance details Defined in Codec.CBOR.Cuddle.Huddle
IsSizeable Int
Instance details Defined in Codec.CBOR.Cuddle.Huddle

class IsConstrainable a x | a → x Source #

Minimal complete definition

toConstrainable

Instances

Instances details

IsConstrainable GRef CGRefType
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toConstrainable ∷ GRef → Constrainable CGRefType
IsConstrainable (AnyRef a) CRefType
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toConstrainable ∷ AnyRef a → Constrainable CRefType
IsConstrainable (Value a) a
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toConstrainable ∷ Value a → Constrainable a

data Huddle Source #

Top-level Huddle type is a list of rules.

Instances

Instances details

Default Huddle

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

def ∷ Huddle Source #

Semigroup Huddle

This semigroup instance: - Takes takes the roots from the RHS unless they are empty, in which case it takes the roots from the LHS - Uses the RHS to override items on the LHS where they share a name. The value from the RHS is taken, but the index from the LHS is used.

Note that this allows replacing items in the middle of a tree without updating higher-level items which make use of them - that is, we do not need to "close over" higher-level terms, since by the time they have been built into a huddle structure, the references have been converted to keys.

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ Huddle → Huddle → Huddle #

sconcat ∷ NonEmpty Huddle → Huddle #

stimes ∷ Integral b ⇒ b → Huddle → Huddle #

Generic Huddle

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep Huddle

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep Huddle = D1 ('MetaData "Huddle" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "Huddle" 'PrefixI 'True) (S1 ('MetaSel ('Just "roots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Rule]) :*: S1 ('MetaSel ('Just "items") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OMap Name HuddleItem))))

Methods

from ∷ Huddle → Rep Huddle x #

to ∷ Rep Huddle x → Huddle #

IsList Huddle

This instance is mostly used for testing

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Item Huddle
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Item Huddle = Rule

Methods

fromList ∷ [Item Huddle] → Huddle #

fromListN ∷ Int → [Item Huddle] → Huddle #

toList ∷ Huddle → [Item Huddle] #

type Rep Huddle

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep Huddle = D1 ('MetaData "Huddle" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "Huddle" 'PrefixI 'True) (S1 ('MetaSel ('Just "roots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Rule]) :*: S1 ('MetaSel ('Just "items") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OMap Name HuddleItem))))

type Item Huddle

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Item Huddle = Rule

data HuddleItem Source #

Constructors

HIRule Rule
HIGRule GRuleDef
HIGroup GroupDef

Instances

Instances details

HasName HuddleItem

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName ∷ HuddleItem → Name Source #

IsType0 HuddleItem

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 ∷ HuddleItem → Type0 Source #

Includable HuddleItem

Instance details

Defined in Codec.CBOR.Cuddle.Huddle.HuddleM

Methods

include ∷ HuddleItem → HuddleM HuddleItem Source #

Generic HuddleItem

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep HuddleItem

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep HuddleItem = D1 ('MetaData "HuddleItem" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "HIRule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rule)) :+: (C1 ('MetaCons "HIGRule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GRuleDef)) :+: C1 ('MetaCons "HIGroup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GroupDef))))

Methods

from ∷ HuddleItem → Rep HuddleItem x #

to ∷ Rep HuddleItem x → HuddleItem #

type Rep HuddleItem

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep HuddleItem = D1 ('MetaData "HuddleItem" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "HIRule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rule)) :+: (C1 ('MetaCons "HIGRule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GRuleDef)) :+: C1 ('MetaCons "HIGroup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GroupDef))))

data GroupDef Source #

Constructors

GroupDef
Fields gdNamed ∷ Named Group gdExt ∷ XRule HuddleStage

Instances

Instances details

HasName GroupDef

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName ∷ GroupDef → Name Source #

HasComment GroupDef

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL ∷ Lens' GroupDef Comment Source #

IsType0 GroupDef

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 ∷ GroupDef → Type0 Source #

Includable GroupDef

Instance details

Defined in Codec.CBOR.Cuddle.Huddle.HuddleM

Methods

include ∷ GroupDef → HuddleM GroupDef Source #

Generic GroupDef

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep GroupDef

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep GroupDef = D1 ('MetaData "GroupDef" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "GroupDef" 'PrefixI 'True) (S1 ('MetaSel ('Just "gdNamed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Named Group)) :*: S1 ('MetaSel ('Just "gdExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (XRule HuddleStage))))

Methods

from ∷ GroupDef → Rep GroupDef x #

to ∷ Rep GroupDef x → GroupDef #

IsChoosable GroupDef Type2

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toChoice ∷ GroupDef → Choice Type2

type Rep GroupDef

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep GroupDef = D1 ('MetaData "GroupDef" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "GroupDef" 'PrefixI 'True) (S1 ('MetaSel ('Just "gdNamed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Named Group)) :*: S1 ('MetaSel ('Just "gdExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (XRule HuddleStage))))

data HuddleStage Source #

Instances

Instances details

Instance details

IndexMappable XCddl HuddleStage PrettyStage

Methods

mapIndex ∷ XCddl HuddleStage → XCddl CTreePhase Source #

Instance details

IndexMappable XCddl ParserStage HuddleStage

Methods

mapIndex ∷ XCddl HuddleStage → XCddl PrettyStage Source #

Instance details

IndexMappable XRule HuddleStage CTreePhase

Methods

mapIndex ∷ XCddl ParserStage → XCddl HuddleStage Source #

Instance details

IndexMappable XRule HuddleStage PrettyStage

Methods

mapIndex ∷ XRule HuddleStage → XRule CTreePhase Source #

Instance details

IndexMappable XTerm HuddleStage CTreePhase

Methods

mapIndex ∷ XRule HuddleStage → XRule PrettyStage Source #

Instance details

IndexMappable XTerm HuddleStage PrettyStage

Methods

mapIndex ∷ XTerm HuddleStage → XTerm CTreePhase Source #

Instance details

IndexMappable XTerm ParserStage HuddleStage

Methods

mapIndex ∷ XTerm HuddleStage → XTerm PrettyStage Source #

Instance details

IndexMappable XXTopLevel HuddleStage PrettyStage

Methods

mapIndex ∷ XTerm ParserStage → XTerm HuddleStage Source #

Instance details

IndexMappable XXTopLevel ParserStage HuddleStage

Methods

mapIndex ∷ XXTopLevel HuddleStage → XXTopLevel PrettyStage Source #

Instance details

IndexMappable XXType2 HuddleStage CTreePhase

Methods

mapIndex ∷ XXTopLevel ParserStage → XXTopLevel HuddleStage Source #

Instance details

IndexMappable XXType2 HuddleStage PrettyStage

Methods

mapIndex ∷ XXType2 HuddleStage → XXType2 CTreePhase Source #

Instance details

IndexMappable XXType2 ParserStage HuddleStage

Methods

mapIndex ∷ XXType2 HuddleStage → XXType2 PrettyStage Source #

Instance details

Methods

mapIndex ∷ XXType2 ParserStage → XXType2 HuddleStage Source #

HasComment (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL ∷ Lens' (XRule HuddleStage) Comment Source #

Default (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

def ∷ XRule HuddleStage Source #

Monoid (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

mempty ∷ XCddl HuddleStage #

mappend ∷ XCddl HuddleStage → XCddl HuddleStage → XCddl HuddleStage #

mconcat ∷ [XCddl HuddleStage] → XCddl HuddleStage #

Monoid (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

mempty ∷ XTerm HuddleStage #

mappend ∷ XTerm HuddleStage → XTerm HuddleStage → XTerm HuddleStage #

mconcat ∷ [XTerm HuddleStage] → XTerm HuddleStage #

Monoid (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

mempty ∷ XXTopLevel HuddleStage #

mappend ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → XXTopLevel HuddleStage #

mconcat ∷ [XXTopLevel HuddleStage] → XXTopLevel HuddleStage #

Semigroup (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XCddl HuddleStage → XCddl HuddleStage → XCddl HuddleStage #

sconcat ∷ NonEmpty (XCddl HuddleStage) → XCddl HuddleStage #

stimes ∷ Integral b ⇒ b → XCddl HuddleStage → XCddl HuddleStage #

Semigroup (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XTerm HuddleStage → XTerm HuddleStage → XTerm HuddleStage #

sconcat ∷ NonEmpty (XTerm HuddleStage) → XTerm HuddleStage #

stimes ∷ Integral b ⇒ b → XTerm HuddleStage → XTerm HuddleStage #

Semigroup (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → XXTopLevel HuddleStage #

sconcat ∷ NonEmpty (XXTopLevel HuddleStage) → XXTopLevel HuddleStage #

stimes ∷ Integral b ⇒ b → XXTopLevel HuddleStage → XXTopLevel HuddleStage #

Semigroup (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) ∷ XXType2 HuddleStage → XXType2 HuddleStage → XXType2 HuddleStage #

sconcat ∷ NonEmpty (XXType2 HuddleStage) → XXType2 HuddleStage #

stimes ∷ Integral b ⇒ b → XXType2 HuddleStage → XXType2 HuddleStage #

Generic (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XCddl HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XCddl HuddleStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

Methods

from ∷ XCddl HuddleStage → Rep (XCddl HuddleStage) x #

to ∷ Rep (XCddl HuddleStage) x → XCddl HuddleStage #

Generic (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XRule HuddleStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "HuddleXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "hxrComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "hxrGenerator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CBORGenerator))))

Methods

from ∷ XRule HuddleStage → Rep (XRule HuddleStage) x #

to ∷ Rep (XRule HuddleStage) x → XRule HuddleStage #

Generic (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XTerm HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XTerm HuddleStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XTerm HuddleStage → Rep (XTerm HuddleStage) x #

to ∷ Rep (XTerm HuddleStage) x → XTerm HuddleStage #

Generic (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XXTopLevel HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XXTopLevel HuddleStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

Methods

from ∷ XXTopLevel HuddleStage → Rep (XXTopLevel HuddleStage) x #

to ∷ Rep (XXTopLevel HuddleStage) x → XXTopLevel HuddleStage #

Generic (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep (XXType2 HuddleStage)
Instance details Defined in Codec.CBOR.Cuddle.Huddle type Rep (XXType2 HuddleStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

Methods

from ∷ XXType2 HuddleStage → Rep (XXType2 HuddleStage) x #

to ∷ Rep (XXType2 HuddleStage) x → XXType2 HuddleStage #

Show (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XCddl HuddleStage → ShowS #

show ∷ XCddl HuddleStage → String #

showList ∷ [XCddl HuddleStage] → ShowS #

Show (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XTerm HuddleStage → ShowS #

show ∷ XTerm HuddleStage → String #

showList ∷ [XTerm HuddleStage] → ShowS #

Show (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XXTopLevel HuddleStage → ShowS #

show ∷ XXTopLevel HuddleStage → String #

showList ∷ [XXTopLevel HuddleStage] → ShowS #

Show (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec ∷ Int → XXType2 HuddleStage → ShowS #

show ∷ XXType2 HuddleStage → String #

showList ∷ [XXType2 HuddleStage] → ShowS #

Eq (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XCddl HuddleStage → XCddl HuddleStage → Bool #

(/=) ∷ XCddl HuddleStage → XCddl HuddleStage → Bool #

Eq (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XTerm HuddleStage → XTerm HuddleStage → Bool #

(/=) ∷ XTerm HuddleStage → XTerm HuddleStage → Bool #

Eq (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → Bool #

(/=) ∷ XXTopLevel HuddleStage → XXTopLevel HuddleStage → Bool #

Eq (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(==) ∷ XXType2 HuddleStage → XXType2 HuddleStage → Bool #

(/=) ∷ XXType2 HuddleStage → XXType2 HuddleStage → Bool #

newtype XCddl HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XCddl HuddleStage = HuddleXCddl [Comment]

data XRule HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

data XRule HuddleStage = HuddleXRule {

hxrComment ∷ Comment
hxrGenerator ∷ Maybe CBORGenerator

}

newtype XTerm HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XTerm HuddleStage = HuddleXTerm Comment

newtype XXTopLevel HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXTopLevel HuddleStage = HuddleXXTopLevel Comment

newtype XXType2 HuddleStage

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXType2 HuddleStage = HuddleXXType2 Void

type Rep (XCddl HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XCddl HuddleStage) = D1 ('MetaData "XCddl" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXCddl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Comment])))

type Rep (XRule HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XRule HuddleStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'False) (C1 ('MetaCons "HuddleXRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "hxrComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "hxrGenerator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CBORGenerator))))

type Rep (XTerm HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XTerm HuddleStage) = D1 ('MetaData "XTerm" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

type Rep (XXTopLevel HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XXTopLevel HuddleStage) = D1 ('MetaData "XXTopLevel" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXTopLevel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment)))

type Rep (XXType2 HuddleStage)

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XXType2 HuddleStage) = D1 ('MetaData "XXType2" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-3e3b2056a95dd81f0a95c058d189f8e08325292f63836af9b75a3e1b795b6440" 'True) (C1 ('MetaCons "HuddleXXType2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Void)))

comment ∷ HasComment a ⇒ Comment → a → a Source #

Add a description to a rule or group entry, to be included as a comment.

huddleAugment ∷ Huddle → Huddle → Huddle Source #

Joins two Huddle values with a left-bias. This means that this function is not symmetric and that any rules that are present in both prefer the definition from the Huddle value on the left.

idx ∷ Word64 → Key Source #

Use a number as a key

asKey ∷ IsType0 r ⇒ r → Key Source #

bstr ∷ ByteString → Literal Source #

cbor ∷ (IsCborable b, IsConstrainable c b) ⇒ c → Rule → Constrained Source #

le ∷ (IsComparable a, IsConstrainable c a) ⇒ c → Word64 → Constrained Source #

(...) ∷ (IsRangeBound a, IsRangeBound b) ⇒ a → b → Ranged infixl 9 Source #

Establish a closed range bound.

opt ∷ CanQuantify a ⇒ a → a Source #

seal ∷ a → Seal a Source #

Seal an array or map, indicating that it will no longer absorb (//). This is needed if you wish to include an array or map inside a top-level choice.

sarr ∷ ArrayChoice → Seal Array Source #

Create and seal an array, marking it as accepting no additional choices

mp ∷ MapChoice → MapChoice Source #

smp ∷ MapChoice → Seal Map Source #

Create and seal a map, marking it as accepting no additional choices.

grp ∷ Group → Group Source #

tag ∷ Word64 → a → Tagged a Source #

Tag a CBOR item with a CDDL minor type. Thus, `tag n x` is equivalent to `#6.n(x)` in CDDL.

callToDef ∷ GRule Type2 → GRule GRef Source #

binding ∷ IsType0 t0 ⇒ (GRef → Rule) → t0 → GRuleCall Source #

Bind a single variable into a generic call

binding2 ∷ (IsType0 t0, IsType0 t1) ⇒ (GRef → GRef → Rule) → t0 → t1 → GRuleCall Source #

Bind two variables as a generic call

collectFrom ∷ [HuddleItem] → Huddle Source #

Collect all rules starting from a given point. This will also insert a single pseudo-rule as the first element which references the specified top-level rules.

collectFromInit ∷ [HuddleItem] → Huddle Source #

Same as collectFrom, but the rules passed into this function will be put at the top of the Huddle, and all of their dependencies will be added at the end in depth-first order.

toCDDL ∷ Huddle → CDDL HuddleStage Source #

Convert from Huddle to CDDL, generating a top level root element.

toCDDLNoRoot ∷ Huddle → CDDL HuddleStage Source #

Convert from Huddle to CDDL, skipping a root element.

withGenerator ∷ HasGenerator a ⇒ (∀ g (m ∷ Type → Type). StatefulGen g m ⇒ g → m WrappedTerm) → a → a Source #

(//-) ∷ HasComment a ⇒ a → Comment → a infixr 0 Source #

This operator is used to attach comments to terms. It will not overwrite any comments that are already present, but will add the new comments on a new line ``` arr [0, 1] //- "This is an array with two values" ```

class (KnownSymbol name, Era era) ⇒ HuddleRule (name ∷ Symbol) era where Source #

Methods

huddleRuleNamed ∷ Proxy name → Proxy era → Rule Source #

Instances

Instances details

Era era ⇒ HuddleRule "addr_keyhash" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "addr_keyhash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "address" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "address" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "auxiliary_data_hash" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "auxiliary_data_hash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "block_number" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "block_number" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "coin" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "coin" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "credential" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "credential" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "epoch" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "epoch" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "epoch_interval" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "epoch_interval" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "hash28" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "hash28" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "hash32" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "hash32" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "ipv4" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "ipv4" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "ipv6" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "ipv6" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_period" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "kes_period" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_signature" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "kes_signature" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "kes_vkey" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "kes_vkey" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "max_word32" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "max_word32" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "max_word64" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "max_word64" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "metadata" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "metadata" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "metadatum" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "metadatum" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "metadatum_label" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "metadatum_label" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "nonce" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "nonce" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "nonnegative_interval" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "nonnegative_interval" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "pool_keyhash" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "pool_keyhash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "port" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "port" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_coin" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "positive_coin" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_int" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "positive_int" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "positive_word32" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "positive_word32" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "reward_account" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "reward_account" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "script_hash" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "script_hash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "sequence_number" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "sequence_number" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "signature" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "signature" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "signkey_kes" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "signkey_kes" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "slot" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "slot" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "stake_credential" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "stake_credential" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "transaction_index" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "transaction_index" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "unit_interval" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "unit_interval" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "vkey" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "vkey" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "vrf_cert" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "vrf_cert" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "vrf_keyhash" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "vrf_keyhash" → Proxy era → Rule Source #
Era era ⇒ HuddleRule "vrf_vkey" era Source #
Instance details Defined in Cardano.Ledger.Core.HuddleSpec Methods huddleRuleNamed ∷ Proxy "vrf_vkey" → Proxy era → Rule Source #

class (KnownSymbol name, Era era) ⇒ HuddleGroup (name ∷ Symbol) era where Source #

Methods

huddleGroupNamed ∷ Proxy name → Proxy era → GroupDef Source #

class (KnownSymbol name, Era era) ⇒ HuddleGRule (name ∷ Symbol) era where Source #

Methods

huddleGRuleNamed ∷ Proxy name → Proxy era → GRuleDef Source #

class (KnownSymbol name, Era era) ⇒ HuddleRule1 (name ∷ Symbol) era where Source #

Methods

huddleRule1Named ∷ IsType0 a ⇒ Proxy name → Proxy era → a → GRuleCall Source #

huddleRule ∷ ∀ (name ∷ Symbol) era. HuddleRule name era ⇒ Proxy era → Rule Source #

huddleGroup ∷ ∀ (name ∷ Symbol) era. HuddleGroup name era ⇒ Proxy era → GroupDef Source #

huddleGRule ∷ ∀ (name ∷ Symbol) era. HuddleGRule name era ⇒ Proxy era → GRuleDef Source #

huddleRule1 ∷ ∀ (name ∷ Symbol) era a. (HuddleRule1 name era, IsType0 a) ⇒ Proxy era → a → GRuleCall Source #

(=.=) ∷ ∀ (name ∷ Symbol) t. (KnownSymbol name, IsType0 t) ⇒ Proxy name → t → Rule infixr 0 Source #

(=.~) ∷ ∀ (name ∷ Symbol). KnownSymbol name ⇒ Proxy name → Group → GroupDef infixr 0 Source #

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) ⇒ Era era Source #

Instances

Instances details

Era AllegraEra

Instance details

Associated Types

type EraName AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AllegraEra = ShelleyEra
type ProtVerLow AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AllegraEra = 3
type ProtVerHigh AllegraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

Methods

Era AlonzoEra

Instance details

Associated Types

type EraName AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh AlonzoEra = 6

Methods

Era BabbageEra

Instance details

Associated Types

type EraName BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName BabbageEra = "Babbage"
type PreviousEra BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra BabbageEra = AlonzoEra
type ProtVerLow BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow BabbageEra = 7
type ProtVerHigh BabbageEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh BabbageEra = 8

Methods

Era ByronEra

Instance details

Associated Types

type EraName ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ByronEra = "Byron"
type PreviousEra ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ByronEra = VoidEra
type ProtVerLow ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ByronEra = 0
type ProtVerHigh ByronEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ByronEra = 1

Methods

Era ConwayEra

Instance details

Associated Types

type EraName ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ConwayEra = "Conway"
type PreviousEra ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ConwayEra = BabbageEra
type ProtVerLow ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ConwayEra = 9
type ProtVerHigh ConwayEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ConwayEra = 11

Methods

Era DijkstraEra

Instance details

Associated Types

type EraName DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName DijkstraEra = "Dijkstra"
type PreviousEra DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra DijkstraEra = ConwayEra
type ProtVerLow DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow DijkstraEra = 12
type ProtVerHigh DijkstraEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh DijkstraEra = 12

Methods

Era MaryEra

Instance details

Associated Types

type EraName MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName MaryEra = "Mary"
type PreviousEra MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra MaryEra = AllegraEra
type ProtVerLow MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow MaryEra = 4
type ProtVerHigh MaryEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh MaryEra = ProtVerLow MaryEra

Methods

Era ShelleyEra

Instance details

Associated Types

type EraName ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type EraName ShelleyEra = "Shelley"
type PreviousEra ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type PreviousEra ShelleyEra = ByronEra
type ProtVerLow ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerLow ShelleyEra = 2
type ProtVerHigh ShelleyEra
Instance details Defined in Cardano.Ledger.Internal.Definition.Era type ProtVerHigh ShelleyEra = ProtVerLow ShelleyEra

Methods