Modulecuddle-1.8.1.0GHC2021

Codec.CBOR.Cuddle.CDDL.Custom.Generator

Synopsis

data GenPhase
newtype CBORGen
data family XXCTree
constructor GenGenerator
constructor GenRef
class HasGenerator
data GenConfig
data GenEnv
value liftAntiGen
value runCBORGen
value withAntiGen
value withLocalGenBindings
value disableTwiddle
value enableTwiddle

Packagecuddle-1.8.1.0
Exports14
LanguageGHC2021
LicenceApache-2.0
SourceGenerator.hs

datadata GenPhase

Instances5IndexMappable, XXCTree

IndexMappable CTree GenPhase MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTree MonoReferenced GenPhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTreeRoot GenPhase MonoSimplePhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
IndexMappable CTreeRoot MonoReferenced GenPhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree GenPhase
- GenRef Name
- GenGenerator (CBORGen RuleTerm) (CTree GenPhase)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator

newtypenewtype CBORGen a

Instances7Monad, Functor, Applicative, MonadGen, MonadCddl, MonadReader, …

Monad CBORGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
Functor CBORGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
Applicative CBORGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
MonadGen CBORGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
MonadCddl CBORGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
MonadReader GenEnv CBORGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
type Phase CBORGen = GenPhaseDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator

data familydata family XXCTree i

Instances19Eq, Show, Generic, Pretty, Hashable, Rep, …

Eq (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Eq (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Eq (XXCTree OrReferencedSimple)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Show (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Show (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Show (XXCTree OrReferencedSimple)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Generic (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Pretty (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Pretty (XXCTree MonoSimplePhase)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
Hashable (XXCTree DistReferencedNoGen)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
type Rep (XXCTree MonoSimplePhase) = D1 ('MetaData "XXCTree" "Codec.CBOR.Cuddle.CDDL.Resolve" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'True) (C1 ('MetaCons "MSimpleRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree GenPhase
- GenRef Name
- GenGenerator (CBORGen RuleTerm) (CTree GenPhase)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
data XXCTree ValidatorPhase
- VRuleRef Name
- VValidator TermValidator (CTree ValidatorPhase)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Validator
data XXCTree DistReferenced
- DRef (DistRef DistReferenced)
- DGenerator (CBORGen RuleTerm) (CTree DistReferenced)
- DValidator TermValidator (CTree DistReferenced)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree DistReferencedNoGen
- DHRef (DistRef DistReferencedNoGen)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree MonoReferenced
- MRuleRef Name
- MGenerator (CBORGen RuleTerm) (CTree MonoReferenced)
- MValidator TermValidator (CTree MonoReferenced)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree MonoSimplePhase
- MSimpleRef Name
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree OrReferenced
- OrRef Name [CTree OrReferenced]
- OGenerator (CBORGen RuleTerm) (CTree OrReferenced)
- OValidator TermValidator (CTree OrReferenced)
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve
data XXCTree OrReferencedSimple
- DGOrRef Name [CTree OrReferencedSimple]
Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Resolve

constructorGenGenerator (CBORGen RuleTerm) (CTree GenPhase)

constructorGenRef Name

classclass HasGenerator a where

Methods

generatorL :: Lens' a (Maybe (CBORGen RuleTerm))

Instances2HasGenerator

HasGenerator RuleDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.Huddle
HasGenerator (XRule HuddleStage)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.Huddle

datadata GenConfig

Source#

User-supplied configuration for the generator monad. Set once at the top level when calling runCBORGen.

Constructors

GenConfig
- gcRoot :: CTreeRoot GenPhase
- gcTwiddle :: !Bool

Instances2Generic, Rep

Generic GenConfigDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
type Rep GenConfig = D1 ('MetaData "GenConfig" "Codec.CBOR.Cuddle.CDDL.Custom.Generator" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'False) (C1 ('MetaCons "GenConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "gcRoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CTreeRoot GenPhase)) :*: S1 ('MetaSel ('Just "gcTwiddle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator

datadata GenEnv

Source#

Runtime environment for the generator monad: the user-supplied GenConfig plus the bindings active at the current point.

Constructors

GenEnv
- geConfig :: GenConfig
- geLocal :: Map Name (CTree GenPhase)

Instances3Generic, MonadReader, Rep

Generic GenEnvDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
MonadReader GenEnv CBORGenDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator
type Rep GenEnv = D1 ('MetaData "GenEnv" "Codec.CBOR.Cuddle.CDDL.Custom.Generator" "cuddle-1.8.1.0-1n67ahaIhMs3FQkr3b5WBN" 'False) (C1 ('MetaCons "GenEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "geConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenConfig) :*: S1 ('MetaSel ('Just "geLocal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name (CTree GenPhase)))))Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CDDL.Custom.Generator

valueliftAntiGen :: AntiGen a -> CBORGen a

valuerunCBORGen :: GenConfig -> CBORGen a -> AntiGen a

valuewithAntiGen :: (AntiGen a -> AntiGen b) -> CBORGen a -> CBORGen b

valuewithLocalGenBindings :: Map Name (CTree GenPhase) -> CBORGen a -> CBORGen a

Source#

Run an action with the given local generic bindings installed. Used to wrap custom generators attached to generic rules so that lookupGRef resolves to the type bound at the enclosing rule.

valuedisableTwiddle :: CBORGen a -> CBORGen a

valueenableTwiddle :: CBORGen a -> CBORGen a