Safe Haskell	None
Language	GHC2021

Codec.CBOR.Cuddle.CDDL.Custom.Core

Documentation

class MonadCddl (m :: Type -> Type) where Source #

Associated Types

type Phase (m :: Type -> Type) Source #

Methods

lookupCddl :: Name -> m (Maybe (CTree (Phase m))) Source #

Look up a top-level rule by name.

lookupGRef :: GRef -> m (Maybe (CTree (Phase m))) Source #

Look up the rule bound to a generic parameter at the enclosing rule. Returns Nothing outside of a custom generator/validator that was attached to a generic rule.

Instances

Instances details

MonadCddl CBORGen Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.Custom.Generator

Associated Types

type Phase CBORGen
Instance details Defined in Codec.CBOR.Cuddle.CDDL.Custom.Generator type Phase CBORGen = GenPhase

Methods

lookupCddl :: Name -> CBORGen (Maybe (CTree (Phase CBORGen))) Source #

lookupGRef :: GRef -> CBORGen (Maybe (CTree (Phase CBORGen))) Source #

MonadCddl Validator Source #

Instance details

Defined in Codec.CBOR.Cuddle.CDDL.Custom.Validator

Associated Types

type Phase Validator
Instance details Defined in Codec.CBOR.Cuddle.CDDL.Custom.Validator type Phase Validator = ValidatorPhase

Methods

lookupCddl :: Name -> Validator (Maybe (CTree (Phase Validator))) Source #

lookupGRef :: GRef -> Validator (Maybe (CTree (Phase Validator))) Source #

data RuleTerm Source #

Constructors

SingleTerm Term
PairTerm Term Term
GroupTerm [RuleTerm]

Instances

Instances details

Show RuleTerm Source #
Instance details Defined in Codec.CBOR.Cuddle.CDDL.Custom.Core Methods showsPrec :: Int -> RuleTerm -> ShowS # show :: RuleTerm -> String # showList :: [RuleTerm] -> ShowS #
Eq RuleTerm Source #
Instance details Defined in Codec.CBOR.Cuddle.CDDL.Custom.Core Methods (==) :: RuleTerm -> RuleTerm -> Bool # (/=) :: RuleTerm -> RuleTerm -> Bool #
Ord RuleTerm Source #
Instance details Defined in Codec.CBOR.Cuddle.CDDL.Custom.Core Methods compare :: RuleTerm -> RuleTerm -> Ordering # (<) :: RuleTerm -> RuleTerm -> Bool # (<=) :: RuleTerm -> RuleTerm -> Bool # (>) :: RuleTerm -> RuleTerm -> Bool # (>=) :: RuleTerm -> RuleTerm -> Bool # max :: RuleTerm -> RuleTerm -> RuleTerm # min :: RuleTerm -> RuleTerm -> RuleTerm #