Safe Haskell	None
Language	GHC2021

Codec.CBOR.Cuddle.Huddle

Contents

Core Types
AST extensions
Rules and assignment
Maps
Arrays
Groups
Quantification
Choices
Literals
Ctl operators
Ranged
Tagging
Generics
Generators
Name
Conversion to CDDL

Description

Module for building CDDL in Haskell

Compared to the builders, this is less about creating a DSL for CDDL in Haskell as about using Haskell's higher-level capabilities to express CDDL constraints. So we ditch a bunch of CDDL concepts where we can instead use Haskell's capabilities there.

Synopsis

data Huddle
data HuddleItem
- = HIRule Rule
- | HIGRule GRuleDef
- | HIGroup GroupDef
huddleAugment :: Huddle -> Huddle -> Huddle
data Rule = Rule {
- ruleDefinition :: Named Type0
- ruleExtra :: XRule HuddleStage
}
data GroupDef = GroupDef {
- gdNamed :: Named Group
- gdExt :: XRule HuddleStage
}
class IsType0 a where
- toType0 :: a -> Type0
data Value a where
- 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
data HuddleStage
data family XCddl i
data family XTerm i
data family XRule i
data family XXTopLevel i
data family XXType2 i
(=:=) :: IsType0 a => Name -> a -> Rule
(=:~) :: Name -> Group -> GroupDef
comment :: HasComment a => Comment -> a -> a
(==>) :: (IsType0 a, IsEntryLike me) => Key -> a -> me
mp :: MapChoice -> MapChoice
asKey :: IsType0 r => r -> Key
idx :: Word64 -> Key
a :: (IsType0 a, IsGroupOrArrayEntry e) => a -> e
arr :: ArrayChoice -> ArrayChoice
data Group
grp :: Group -> Group
class CanQuantify a where
- (<+) :: Word64 -> a -> a
- (+>) :: a -> Word64 -> a
opt :: CanQuantify a => a -> a
(/) :: (IsChoosable a c, IsChoosable b c) => a -> b -> Choice c
seal :: a -> Seal a
sarr :: ArrayChoice -> Seal Array
smp :: MapChoice -> Seal Map
data Literal
bstr :: ByteString -> Literal
int :: Integer -> Literal
text :: Text -> Literal
bool :: Bool -> Literal
class IsConstrainable a x | a -> x
class IsSizeable (a :: k)
sized :: forall c a s. (IsSizeable a, IsSize s, IsConstrainable c a) => c -> s -> Constrained
cbor :: (IsCborable b, IsConstrainable c b) => c -> Rule -> Constrained
le :: (IsComparable a, IsConstrainable c a) => c -> Word64 -> Constrained
(...) :: (IsRangeBound a, IsRangeBound b) => a -> b -> Ranged
tag :: Word64 -> a -> Tagged a
data GRef
data GRuleDef = GRuleDef {
- grdBody :: Named (GRule GRef)
- grdExtra :: XRule HuddleStage
}
data GRuleCall = GRuleCall {
- grcBody :: Named (GRule Type2)
- grcExtra :: XRule HuddleStage
}
binding :: IsType0 t0 => (GRef -> Rule) -> t0 -> GRuleCall
binding2 :: (IsType0 t0, IsType0 t1) => (GRef -> GRef -> Rule) -> t0 -> t1 -> GRuleCall
callToDef :: GRule Type2 -> GRule GRef
withGenerator :: HasGenerator a => (forall g (m :: Type -> Type). StatefulGen g m => g -> m WrappedTerm) -> a -> a
class HasName a where
- getName :: a -> Name
collectFrom :: [HuddleItem] -> Huddle
collectFromInit :: [HuddleItem] -> Huddle
toCDDL :: Huddle -> CDDL HuddleStage
toCDDLNoRoot :: Huddle -> CDDL HuddleStage

Core Types

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

Constructors

Rule
Fields ruleDefinition :: Named Type0 ruleExtra :: XRule HuddleStage

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

Constructors

GroupDef
Fields gdNamed :: Named Group gdExt :: XRule HuddleStage

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

AST extensions

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 {

hxrComment :: Comment
hxrGenerator :: Maybe CBORGenerator

}

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

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 {

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

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

Rules and assignment

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

Assign a rule

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

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

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

Maps

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

mp :: MapChoice -> MapChoice Source #

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

idx :: Word64 -> Key Source #

Use a number as a key

Arrays

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

Explicitly cast an item in an Array as an ArrayEntry.

arr :: ArrayChoice -> ArrayChoice Source #

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

Groups

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

grp :: Group -> Group Source #

Quantification

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 #

Choices

(/) :: (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.

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.

Literals

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 #

int :: Integer -> Literal Source #

text :: Text -> Literal Source #

bool :: Bool -> Literal Source #

Ctl operators

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

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.

cbor :: (IsCborable b, IsConstrainable c b) => c -> Rule -> Constrained Source #

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

Ranged

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

Establish a closed range bound.

Tagging

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.

Generics

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 grdBody :: Named (GRule GRef) grdExtra :: XRule HuddleStage

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 grcBody :: Named (GRule Type2) grcExtra :: XRule HuddleStage

Instances

Instances details

IsType0 GRuleCall Source #
Instance details Defined in Codec.CBOR.Cuddle.Huddle Methods toType0 :: GRuleCall -> Type0 Source #

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

Bind a single variable into a generic call

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

Bind two variables as a generic call

callToDef :: GRule Type2 -> GRule GRef Source #

Generators

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

Name

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 #

Conversion to CDDL

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.