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-FBfXbuYjcH55Ev8TDYHISa" '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 #

Generic (XRule PrettyStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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 #

Generic (XTerm PrettyStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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 #

Generic (XXTopLevel PrettyStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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 #

Generic (XXType2 PrettyStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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 (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XCddl PrettyStage -> String #

showList :: [XCddl PrettyStage] -> ShowS #

Show (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

showsPrec :: Int -> XRule PrettyStage -> ShowS #

show :: XRule PrettyStage -> String #

showList :: [XRule PrettyStage] -> ShowS #

Show (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XTerm PrettyStage -> String #

showList :: [XTerm PrettyStage] -> ShowS #

Show (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XXTopLevel PrettyStage -> String #

showList :: [XXTopLevel PrettyStage] -> ShowS #

Show (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XXType2 PrettyStage -> String #

showList :: [XXType2 PrettyStage] -> ShowS #

CollectComments (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XCddl PrettyStage -> [Comment] Source #

CollectComments (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XRule PrettyStage -> [Comment] Source #

CollectComments (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XTerm PrettyStage -> [Comment] Source #

CollectComments (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XXTopLevel PrettyStage -> [Comment] Source #

CollectComments (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XXType2 PrettyStage -> [Comment] Source #

HasComment (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

commentL :: Lens' (XRule PrettyStage) Comment Source #

HasComment (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

commentL :: Lens' (XTerm PrettyStage) Comment Source #

Default (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

def :: XRule PrettyStage #

Eq (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

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

Eq (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(==) :: XRule PrettyStage -> XRule PrettyStage -> Bool #

(/=) :: XRule PrettyStage -> XRule PrettyStage -> Bool #

Eq (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

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

Eq (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

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

Eq (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

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

Pretty (CDDL PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: CDDL PrettyStage -> Doc ann #

prettyList :: [CDDL PrettyStage] -> Doc ann #

Pretty (GenericArg PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: GenericArg PrettyStage -> Doc ann #

prettyList :: [GenericArg PrettyStage] -> Doc ann #

Pretty (GenericParameter PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: GenericParameter PrettyStage -> Doc ann #

prettyList :: [GenericParameter PrettyStage] -> Doc ann #

Pretty (GenericParameters PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: GenericParameters PrettyStage -> Doc ann #

prettyList :: [GenericParameters PrettyStage] -> Doc ann #

Pretty (GroupEntry PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: GroupEntry PrettyStage -> Doc ann #

prettyList :: [GroupEntry PrettyStage] -> Doc ann #

Pretty (MemberKey PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: MemberKey PrettyStage -> Doc ann #

prettyList :: [MemberKey PrettyStage] -> Doc ann #

Pretty (Rule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: Rule PrettyStage -> Doc ann #

prettyList :: [Rule PrettyStage] -> Doc ann #

Pretty (TopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: TopLevel PrettyStage -> Doc ann #

prettyList :: [TopLevel PrettyStage] -> Doc ann #

Pretty (Type0 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: Type0 PrettyStage -> Doc ann #

prettyList :: [Type0 PrettyStage] -> Doc ann #

Pretty (Type1 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: Type1 PrettyStage -> Doc ann #

prettyList :: [Type1 PrettyStage] -> Doc ann #

Pretty (Type2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

pretty :: Type2 PrettyStage -> Doc ann #

prettyList :: [Type2 PrettyStage] -> Doc ann #

ToExpr (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XCddl PrettyStage -> Expr #

listToExpr :: [XCddl PrettyStage] -> Expr #

ToExpr (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XRule PrettyStage -> Expr #

listToExpr :: [XRule PrettyStage] -> Expr #

ToExpr (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XTerm PrettyStage -> Expr #

listToExpr :: [XTerm PrettyStage] -> Expr #

ToExpr (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XXTopLevel PrettyStage -> Expr #

listToExpr :: [XXTopLevel PrettyStage] -> Expr #

ToExpr (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XXType2 PrettyStage -> Expr #

listToExpr :: [XXType2 PrettyStage] -> Expr #

newtype XCddl PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XCddl PrettyStage = PrettyXCddl [Comment]

newtype XRule PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XRule PrettyStage = PrettyXRule {

unPrettyXRule :: Comment

}

newtype XTerm PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XTerm PrettyStage = PrettyXTerm {

unPrettyXTerm :: Comment

}

newtype XXTopLevel PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XXTopLevel PrettyStage = PrettyXXTopLevel Comment

newtype XXType2 PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XXType2 PrettyStage = PrettyXXType2 Void

type Rep (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

type Rep (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

type Rep (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

type Rep (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

type Rep (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

data family XXTopLevel i Source #

Instances

Instances details

IndexMappable XXTopLevel HuddleStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXTopLevel HuddleStage -> XXTopLevel PrettyStage Source #

IndexMappable XXTopLevel ParserStage HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXTopLevel ParserStage -> XXTopLevel HuddleStage Source #

IndexMappable XXTopLevel ParserStage ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXTopLevel ParserStage -> XXTopLevel ParserStage Source #

IndexMappable XXTopLevel ParserStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXTopLevel ParserStage -> XXTopLevel PrettyStage Source #

Monoid (XXTopLevel HuddleStage) Source #

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) Source #

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) 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 (XXTopLevel HuddleStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) 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 (XXTopLevel HuddleStage) Source #

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) Source #

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) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XXTopLevel PrettyStage -> String #

showList :: [XXTopLevel PrettyStage] -> ShowS #

CollectComments (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XXTopLevel PrettyStage -> [Comment] Source #

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 (XXTopLevel HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

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

Eq (XXTopLevel ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

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

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

Eq (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

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

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 #

ToExpr (XXTopLevel ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr :: XXTopLevel ParserStage -> Expr #

listToExpr :: [XXTopLevel ParserStage] -> Expr #

ToExpr (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XXTopLevel PrettyStage -> Expr #

listToExpr :: [XXTopLevel PrettyStage] -> Expr #

newtype XXTopLevel CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

newtype XXTopLevel CTreePhase = CTreeXXTopLevel Void

newtype XXTopLevel HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXTopLevel HuddleStage = HuddleXXTopLevel Comment

newtype XXTopLevel ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XXTopLevel ParserStage = ParserXXTopLevel Comment

newtype XXTopLevel PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XXTopLevel PrettyStage = PrettyXXTopLevel Comment

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 (XXTopLevel HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

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

type Rep (XXTopLevel ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

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

type Rep (XXTopLevel PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

data family XXType2 i Source #

Instances

Instances details

IndexMappable XXType2 HuddleStage CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 HuddleStage -> XXType2 CTreePhase Source #

IndexMappable XXType2 HuddleStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 HuddleStage -> XXType2 PrettyStage Source #

IndexMappable XXType2 ParserStage CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 ParserStage -> XXType2 CTreePhase Source #

IndexMappable XXType2 ParserStage HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 ParserStage -> XXType2 HuddleStage Source #

IndexMappable XXType2 ParserStage ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 ParserStage -> XXType2 ParserStage Source #

IndexMappable XXType2 ParserStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 ParserStage -> XXType2 PrettyStage Source #

Semigroup (XXType2 HuddleStage) Source #

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

Generic (XXType2 HuddleStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

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

show :: XXType2 CTreePhase -> String #

showList :: [XXType2 CTreePhase] -> ShowS #

Show (XXType2 HuddleStage) Source #

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) Source #

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) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XXType2 PrettyStage -> String #

showList :: [XXType2 PrettyStage] -> ShowS #

CollectComments (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XXType2 PrettyStage -> [Comment] Source #

Eq (XXType2 CTreePhase) Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

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

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

Eq (XXType2 HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

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

Eq (XXType2 ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

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

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

Eq (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

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

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

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

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

hash :: XXType2 CTreePhase -> Int #

ToExpr (XXType2 ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr :: XXType2 ParserStage -> Expr #

listToExpr :: [XXType2 ParserStage] -> Expr #

ToExpr (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XXType2 PrettyStage -> Expr #

listToExpr :: [XXType2 PrettyStage] -> Expr #

newtype XXType2 CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

newtype XXType2 CTreePhase = CTreeXXType2 Void

newtype XXType2 HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXType2 HuddleStage = HuddleXXType2 Void

newtype XXType2 ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XXType2 ParserStage = ParserXXType2 Void

newtype XXType2 PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XXType2 PrettyStage = PrettyXXType2 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)))

type Rep (XXType2 HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

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

type Rep (XXType2 ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

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

type Rep (XXType2 PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

data family XTerm i Source #

Instances

Instances details

IndexMappable XTerm HuddleStage CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm HuddleStage -> XTerm CTreePhase Source #

IndexMappable XTerm HuddleStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm HuddleStage -> XTerm PrettyStage Source #

IndexMappable XTerm ParserStage CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm ParserStage -> XTerm CTreePhase Source #

IndexMappable XTerm ParserStage HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm ParserStage -> XTerm HuddleStage Source #

IndexMappable XTerm ParserStage ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm ParserStage -> XTerm ParserStage Source #

IndexMappable XTerm ParserStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm ParserStage -> XTerm PrettyStage Source #

IsString (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

fromString :: String -> XTerm PrettyStage #

Monoid (XTerm HuddleStage) Source #

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) Source #

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) Source #

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) Source #

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) Source #

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) Source #

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 #

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 (XTerm HuddleStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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) 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 (XTerm HuddleStage) Source #

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) Source #

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) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XTerm PrettyStage -> String #

showList :: [XTerm PrettyStage] -> ShowS #

CollectComments (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XTerm PrettyStage -> [Comment] Source #

HasComment (XTerm ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

commentL :: Lens' (XTerm ParserStage) Comment Source #

HasComment (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

commentL :: Lens' (XTerm PrettyStage) Comment Source #

Default (XTerm CTreePhase) Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

def :: XTerm CTreePhase #

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 (XTerm HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

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

Eq (XTerm ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

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

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

Eq (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

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

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 #

Hashable (XTerm CTreePhase) Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

Methods

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

hash :: XTerm CTreePhase -> Int #

ToExpr (XTerm ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr :: XTerm ParserStage -> Expr #

listToExpr :: [XTerm ParserStage] -> Expr #

ToExpr (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XTerm PrettyStage -> Expr #

listToExpr :: [XTerm PrettyStage] -> Expr #

data XTerm ValidatorStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

data XTerm ValidatorStage = ValidatorXTerm

data XTerm CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

data XTerm CTreePhase = CTreeXTerm

newtype XTerm HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XTerm HuddleStage = HuddleXTerm Comment

newtype XTerm ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XTerm ParserStage = ParserXTerm {

unParserXTerm :: Comment

}

newtype XTerm PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XTerm PrettyStage = PrettyXTerm {

unPrettyXTerm :: Comment

}

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 (XTerm HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

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

type Rep (XTerm ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

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

type Rep (XTerm PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

data family XCddl i 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 HuddleStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl HuddleStage -> XCddl PrettyStage Source #

IndexMappable XCddl ParserStage CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl ParserStage -> XCddl CTreePhase Source #

IndexMappable XCddl ParserStage HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl ParserStage -> XCddl HuddleStage Source #

IndexMappable XCddl ParserStage ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl ParserStage -> XCddl ParserStage Source #

IndexMappable XCddl ParserStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl ParserStage -> XCddl PrettyStage Source #

Monoid (XCddl HuddleStage) Source #

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) Source #

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) Source #

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) Source #

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) 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 (XCddl HuddleStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) 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 (XCddl HuddleStage) Source #

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) Source #

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) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

show :: XCddl PrettyStage -> String #

showList :: [XCddl PrettyStage] -> ShowS #

CollectComments (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XCddl PrettyStage -> [Comment] Source #

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 (XCddl HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

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

Eq (XCddl ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

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

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

Eq (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

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

(/=) :: XCddl PrettyStage -> XCddl PrettyStage -> 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 #

ToExpr (XCddl ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr :: XCddl ParserStage -> Expr #

listToExpr :: [XCddl ParserStage] -> Expr #

ToExpr (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XCddl PrettyStage -> Expr #

listToExpr :: [XCddl PrettyStage] -> Expr #

data XCddl CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

data XCddl CTreePhase = CTreeXCddl

newtype XCddl HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XCddl HuddleStage = HuddleXCddl [Comment]

newtype XCddl ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XCddl ParserStage = ParserXCddl [Comment]

newtype XCddl PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XCddl PrettyStage = PrettyXCddl [Comment]

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 (XCddl HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

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

type Rep (XCddl ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

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

type Rep (XCddl PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

data family XRule i Source #

Instances

Instances details

IndexMappable XRule HuddleStage CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XRule HuddleStage -> XRule CTreePhase Source #

IndexMappable XRule HuddleStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XRule HuddleStage -> XRule PrettyStage Source #

IndexMappable XRule ParserStage CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XRule ParserStage -> XRule CTreePhase Source #

IndexMappable XRule ParserStage ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XRule ParserStage -> XRule ParserStage Source #

IndexMappable XRule ParserStage PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XRule ParserStage -> XRule PrettyStage Source #

Monoid (XRule ParserStage) Source #

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) Source #

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) 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 (XRule HuddleStage) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

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) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

showsPrec :: Int -> XRule PrettyStage -> ShowS #

show :: XRule PrettyStage -> String #

showList :: [XRule PrettyStage] -> ShowS #

CollectComments (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

collectComments :: XRule PrettyStage -> [Comment] Source #

HasComment (XRule HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL :: Lens' (XRule HuddleStage) Comment Source #

HasComment (XRule ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

commentL :: Lens' (XRule ParserStage) Comment Source #

HasComment (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

commentL :: Lens' (XRule PrettyStage) Comment Source #

Default (XRule HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

def :: XRule HuddleStage #

Default (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

def :: XRule PrettyStage #

Eq (XRule ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

(==) :: XRule ParserStage -> XRule ParserStage -> Bool #

(/=) :: XRule ParserStage -> XRule ParserStage -> Bool #

Eq (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

(==) :: XRule PrettyStage -> XRule PrettyStage -> Bool #

(/=) :: XRule PrettyStage -> XRule PrettyStage -> Bool #

ToExpr (XRule ParserStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

Methods

toExpr :: XRule ParserStage -> Expr #

listToExpr :: [XRule ParserStage] -> Expr #

ToExpr (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

Methods

toExpr :: XRule PrettyStage -> Expr #

listToExpr :: [XRule PrettyStage] -> Expr #

newtype XRule CTreePhase Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.CTree

newtype XRule CTreePhase = CTreeXRule (Maybe CBORGenerator)

data XRule HuddleStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

data XRule HuddleStage = HuddleXRule {

hxrComment :: Comment
hxrGenerator :: Maybe CBORGenerator

}

newtype XRule ParserStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XRule ParserStage = ParserXRule {

unParserXRule :: Comment

}

newtype XRule PrettyStage Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XRule PrettyStage = PrettyXRule {

unPrettyXRule :: Comment

}

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 (XRule HuddleStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep (XRule HuddleStage) = D1 ('MetaData "XRule" "Codec.CBOR.Cuddle.Huddle" "cuddle-1.1.0.0-FBfXbuYjcH55Ev8TDYHISa" '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) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Parser

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

type Rep (XRule PrettyStage) Source #

Instance details

Defined in Codec.CBOR.Cuddle.Pretty

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

Orphan instances

Pretty Name Source #
Instance details Methods pretty :: Name -> Doc ann # prettyList :: [Name] -> Doc ann #
Pretty OccurrenceIndicator Source #
Instance details Methods pretty :: OccurrenceIndicator -> Doc ann # prettyList :: [OccurrenceIndicator] -> Doc ann #
Pretty TyOp Source #
Instance details Methods pretty :: TyOp -> Doc ann # prettyList :: [TyOp] -> Doc ann #
Pretty Value Source #
Instance details Methods pretty :: Value -> Doc ann # prettyList :: [Value] -> Doc ann #
Pretty ValueVariant Source #
Instance details Methods pretty :: ValueVariant -> Doc ann # prettyList :: [ValueVariant] -> Doc ann #
Pretty CtlOp Source #
Instance details Methods pretty :: CtlOp -> Doc ann # prettyList :: [CtlOp] -> Doc ann #
Pretty Comment Source #
Instance details Methods pretty :: Comment -> Doc ann # prettyList :: [Comment] -> Doc ann #