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

Codec.CBOR.Cuddle.Huddle.HuddleM

Description

Monad for declaring Huddle constructs

Synopsis

Documentation

text :: Text -> Literal Source #

(==>) :: (IsType0 a, IsEntryLike me) => Key -> a -> me infixl 8 Source #

sized :: forall c a s. (IsSizeable a, IsSize s, IsConstrainable c a) => c -> s -> Constrained Source #

Declare a size constraint on an int-style type or reference. Since 0.3.4 this has worked for reference types as well as values.

data Value a where Source #

Type-parametrised value type handling CBOR primitives. This is used to constrain the set of constraints which can apply to a given postlude type.

Constructors

VBool :: Value Bool 
VUInt :: Value Int 
VNInt :: Value Int 
VInt :: Value Int 
VHalf :: Value Float 
VFloat :: Value Float 
VDouble :: Value Double 
VBytes :: Value ByteString 
VText :: Value Text 
VAny :: Value Void 
VNil :: Value Void 

Instances

Instances details
Show (Value a) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec :: Int -> Value a -> ShowS #

show :: Value a -> String #

showList :: [Value a] -> ShowS #

IsType0 (Value a) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Value a -> Type0 Source #

IsConstrainable (Value a) a Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toConstrainable :: Value a -> Constrainable a

bool :: Bool -> Literal Source #

int :: Integer -> Literal Source #

arr :: ArrayChoice -> ArrayChoice Source #

This function is used solely to resolve type inference by explicitly identifying something as an array.

(/) :: (IsChoosable a c, IsChoosable b c) => a -> b -> Choice c infixl 9 Source #

Allow choices between constructions

in CDDL, / a choice between types (concretely, between Type1 values, to make a Type0). // allows choice between groups. We can illustrate the difference with the following snippet:

 foo = [ 0  1, uint  2 3, tstr ]

This construction would match either of the following:

 [0, 3] [2, "Hello World"]

In other words, the // binds less strongly than comma (',') in CDDL.

In Haskell, of course, we cannot have syntax inside an array which binds stronger than the comma. so we have to do things a little differently. The way this is handled at the moment is that / has special treatment for arrays/groups, where it will, instead of creating a type-level choice, merge the two arraysgroupsmaps into a single one containing a group choice.

If one instead wants the behaviour corresponding to the CDDL / for arrays, maps or groups, one can "seal" the array or group using the seal, sarr or smp functions. For example:

 "foo" =:= sarr [0, a VUInt] / sarr [1, a VText]

Generates a choice (at the Type0) level between two arrays, whereas

 "foo" =:= arr [0, a VUInt] / arr [1, a VUInt]

will generate a single array containing a group choice between two groups.

As such, there is no // operator in Huddle.

a :: (IsType0 a, IsGroupOrArrayEntry e) => a -> e Source #

Explicitly cast an item in an Array as an ArrayEntry.

(...) :: (IsRangeBound a, IsRangeBound b) => a -> b -> Ranged infixl 9 Source #

Establish a closed range bound.

class HasName a where Source #

Methods

getName :: a -> Name Source #

Instances

Instances details
HasName Name Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CDDL

Methods

getName :: Name -> Name Source #

HasName GRuleDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: GRuleDef -> Name Source #

HasName GroupDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: GroupDef -> Name Source #

HasName HuddleItem Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: HuddleItem -> Name Source #

HasName Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: Rule -> Name Source #

le :: (IsComparable a, IsConstrainable c a) => c -> Word64 -> Constrained Source #

data Group Source #

Instances

Instances details
Monoid Group Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

mempty :: Group #

mappend :: Group -> Group -> Group #

mconcat :: [Group] -> Group #

Semigroup Group Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

(<>) :: Group -> Group -> Group #

sconcat :: NonEmpty Group -> Group #

stimes :: Integral b => b -> Group -> Group #

IsList Group Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Item Group 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Item Group

Methods

fromList :: [Item Group] -> Group #

fromListN :: Int -> [Item Group] -> Group #

toList :: Group -> [Item Group] #

type Item Group Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Item Group

data Rule Source #

Constructors

Rule 

Fields

Instances

Instances details
Generic Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep Rule 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep Rule

Methods

from :: Rule -> Rep Rule x #

to :: Rep Rule x -> Rule #

HasName Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: Rule -> Name Source #

HasGenerator Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

generatorL :: Lens' Rule (Maybe CBORGenerator) Source #

HasComment Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL :: Lens' Rule Comment Source #

IsType0 Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Rule -> Type0 Source #

type Rep Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep Rule

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 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 {}
newtype XTerm PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XTerm PrettyStage = PrettyXTerm {}
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 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 {}
newtype XRule ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Parser

newtype XRule ParserStage = ParserXRule {}
newtype XRule PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Pretty

newtype XRule PrettyStage = PrettyXRule {}
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)))

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

Top-level Huddle type is a list of rules.

Instances

Instances details
Semigroup Huddle Source #

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

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

Default Huddle Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

def :: Huddle #

type Rep Huddle Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

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

HasName HuddleItem Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: HuddleItem -> Name Source #

IsType0 HuddleItem Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: HuddleItem -> Type0 Source #

type Rep HuddleItem Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

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

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.

data GroupDef Source #

Constructors

GroupDef 

Fields

Instances

Instances details
Generic GroupDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Associated Types

type Rep GroupDef 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep GroupDef

Methods

from :: GroupDef -> Rep GroupDef x #

to :: Rep GroupDef x -> GroupDef #

HasName GroupDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: GroupDef -> Name Source #

HasComment GroupDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL :: Lens' GroupDef Comment Source #

IsType0 GroupDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: GroupDef -> Type0 Source #

type Rep GroupDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

type Rep GroupDef

class IsType0 a where Source #

Methods

toType0 :: a -> Type0 Source #

Instances

Instances details
IsType0 ByteString Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: ByteString -> Type0 Source #

IsType0 GRef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: GRef -> Type0 Source #

IsType0 GRuleCall Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: GRuleCall -> Type0 Source #

IsType0 GroupDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: GroupDef -> Type0 Source #

IsType0 HuddleItem Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: HuddleItem -> Type0 Source #

IsType0 Literal Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Literal -> Type0 Source #

IsType0 Rule Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Rule -> Type0 Source #

IsType0 Text Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Text -> Type0 Source #

IsType0 Integer Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Integer -> Type0 Source #

IsType0 Double Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Double -> Type0 Source #

IsType0 Float Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Float -> Type0 Source #

IsType0 (Value a) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Value a -> Type0 Source #

data HuddleStage 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 HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XCddl ParserStage -> XCddl HuddleStage Source #

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 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 HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XTerm ParserStage -> XTerm HuddleStage Source #

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 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 HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: XXType2 ParserStage -> XXType2 HuddleStage 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 (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 (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 (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 (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 (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 #

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

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

HasComment (XRule HuddleStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

Default (XRule HuddleStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

def :: XRule HuddleStage #

Eq (XCddl HuddleStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

(/=) :: XCddl HuddleStage -> XCddl HuddleStage -> 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 (XXTopLevel HuddleStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

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

Eq (XXType2 HuddleStage) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

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

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

newtype XCddl HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XCddl HuddleStage = HuddleXCddl [Comment]
data XRule HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

data XRule HuddleStage = HuddleXRule {}
newtype XTerm HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XTerm HuddleStage = HuddleXTerm Comment
newtype XXTopLevel HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXTopLevel HuddleStage = HuddleXXTopLevel Comment
newtype XXType2 HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

newtype XXType2 HuddleStage = HuddleXXType2 Void
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 (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 (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 (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 (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)))

comment :: HasComment a => Comment -> a -> a Source #

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

mp :: MapChoice -> MapChoice Source #

asKey :: IsType0 r => r -> Key Source #

idx :: Word64 -> Key Source #

Use a number as a key

grp :: Group -> Group Source #

class CanQuantify a where Source #

Methods

(<+) :: Word64 -> a -> a infixl 7 Source #

Apply a lower bound

(+>) :: a -> Word64 -> a infixr 6 Source #

Apply an upper 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

smp :: MapChoice -> Seal Map Source #

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

data Literal Source #

Instances

Instances details
Show Literal Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec :: Int -> Literal -> ShowS #

show :: Literal -> String #

showList :: [Literal] -> ShowS #

HasComment Literal Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

commentL :: Lens' Literal Comment Source #

IsType0 Literal Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: Literal -> Type0 Source #

bstr :: ByteString -> Literal Source #

class IsConstrainable a x | a -> x Source #

Minimal complete definition

toConstrainable

Instances

Instances details
IsConstrainable (Value a) a Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toConstrainable :: Value a -> Constrainable a

class IsSizeable (a :: k) Source #

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

Instances

Instances details
IsSizeable ByteString Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

IsSizeable Text Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

IsSizeable Int Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

cbor :: (IsCborable b, IsConstrainable c b) => c -> Rule -> Constrained 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.

data GRef Source #

Instances

Instances details
Show GRef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

showsPrec :: Int -> GRef -> ShowS #

show :: GRef -> String #

showList :: [GRef] -> ShowS #

IsType0 GRef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: GRef -> Type0 Source #

data GRuleDef Source #

Constructors

GRuleDef 

Fields

Instances

Instances details
HasName GRuleDef Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

getName :: GRuleDef -> Name Source #

data GRuleCall Source #

Constructors

GRuleCall 

Fields

Instances

Instances details
IsType0 GRuleCall Source # 
Instance details

Defined in Codec.CBOR.Cuddle.Huddle

Methods

toType0 :: GRuleCall -> Type0 Source #

binding2 :: (IsType0 t0, IsType0 t1) => (GRef -> GRef -> Rule) -> t0 -> t1 -> GRuleCall Source #

Bind two variables as a generic call

callToDef :: GRule Type2 -> GRule GRef Source #

withGenerator :: HasGenerator a => (forall g (m :: Type -> Type). StatefulGen g m => g -> m WrappedTerm) -> a -> a Source #

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.

(=:=) :: IsType0 a => Name -> a -> HuddleM Rule infixl 1 Source #

Overridden version of assignment which also adds the rule to the state

(=:~) :: Name -> Group -> HuddleM GroupDef infixl 1 Source #

Overridden version of group assignment which adds the rule to the state

(=::=) :: IsType0 a => Name -> a -> Rule infixl 1 Source #

Renamed version of Huddle's underlying =:= for use in generic bindings

binding :: IsType0 t0 => (GRef -> Rule) -> HuddleM (t0 -> GRuleCall) Source #

setRootRules :: [Rule] -> HuddleM () Source #

huddleDef :: HuddleM a -> Huddle Source #

huddleDef' :: HuddleM a -> (a, Huddle) Source #

include :: Includable a => a -> HuddleM a Source #

Include a rule, group, or generic rule defined elsewhere

unsafeIncludeFromHuddle :: Huddle -> Name -> HuddleM HuddleItem Source #