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

Codec.CBOR.Cuddle.IndexMappable

Documentation

class IndexMappable (f :: k -> Type) (i :: k) (j :: k) where Source #

Minimal complete definition

Nothing

Methods

mapIndex :: f i -> f j Source #

default mapIndex :: forall. Coercible (f i) (f j) => f i -> f j Source #

Instances

Instances details
(IndexMappable XCddl i j, IndexMappable XXTopLevel i j, IndexMappable XXType2 i j, IndexMappable XTerm i j, IndexMappable XRule i j) => IndexMappable CDDL (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: CDDL i -> CDDL j Source #

(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable GenericArg (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm i j => IndexMappable GenericParameter (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm i j => IndexMappable GenericParameters (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

(IndexMappable XTerm i j, IndexMappable XXType2 i j) => IndexMappable Group (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: Group i -> Group j Source #

(IndexMappable XTerm i j, IndexMappable XXType2 i j) => IndexMappable GroupEntry (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable GroupEntryVariant (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

(IndexMappable XTerm i j, IndexMappable XXType2 i j) => IndexMappable GrpChoice (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable MemberKey (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

(IndexMappable XXType2 i j, IndexMappable XTerm i j, IndexMappable XRule i j) => IndexMappable Rule (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: Rule i -> Rule j Source #

(IndexMappable XXTopLevel i j, IndexMappable XXType2 i j, IndexMappable XTerm i j, IndexMappable XRule i j) => IndexMappable TopLevel (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: TopLevel i -> TopLevel j Source #

(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable Type0 (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: Type0 i -> Type0 j Source #

(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable Type1 (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: Type1 i -> Type1 j Source #

(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable Type2 (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

Methods

mapIndex :: Type2 i -> Type2 j Source #

(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable TypeOrGroup (i :: Type) (j :: Type) Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl HuddleStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XCddl ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule HuddleStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XRule ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm HuddleStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XTerm ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXTopLevel HuddleStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXTopLevel ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXTopLevel ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXTopLevel ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 HuddleStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 HuddleStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage CTreePhase Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage HuddleStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage ParserStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable XXType2 ParserStage PrettyStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.IndexMappable

IndexMappable CTree MonoReferenced ValidatorStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator

IndexMappable CTreeRoot MonoReferenced ValidatorStage Source # 
Instance details

Defined in Codec.CBOR.Cuddle.CBOR.Validator