Safe Haskell	None
Language	GHC2021

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 Methods mapIndex :: GenericArg i -> GenericArg j Source #
IndexMappable XTerm i j => IndexMappable GenericParameter (i :: Type) (j :: Type) Source #
Instance details Defined in Codec.CBOR.Cuddle.IndexMappable Methods mapIndex :: GenericParameter i -> GenericParameter j Source #
IndexMappable XTerm i j => IndexMappable GenericParameters (i :: Type) (j :: Type) Source #
Instance details Defined in Codec.CBOR.Cuddle.IndexMappable Methods mapIndex :: GenericParameters i -> GenericParameters j Source #
(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 Methods mapIndex :: GroupEntry i -> GroupEntry j Source #
(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable GroupEntryVariant (i :: Type) (j :: Type) Source #
Instance details Defined in Codec.CBOR.Cuddle.IndexMappable Methods mapIndex :: GroupEntryVariant i -> GroupEntryVariant j Source #
(IndexMappable XTerm i j, IndexMappable XXType2 i j) => IndexMappable GrpChoice (i :: Type) (j :: Type) Source #
Instance details Defined in Codec.CBOR.Cuddle.IndexMappable Methods mapIndex :: GrpChoice i -> GrpChoice j Source #
(IndexMappable XXType2 i j, IndexMappable XTerm i j) => IndexMappable MemberKey (i :: Type) (j :: Type) Source #
Instance details Defined in Codec.CBOR.Cuddle.IndexMappable Methods mapIndex :: MemberKey i -> MemberKey j Source #
(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 Methods mapIndex :: TypeOrGroup i -> TypeOrGroup j Source #
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 #
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 #
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 #
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 #
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 #
IndexMappable CTree MonoReferenced ValidatorStage Source #
Instance details Defined in Codec.CBOR.Cuddle.CBOR.Validator Methods mapIndex :: CTree MonoReferenced -> CTree ValidatorStage Source #
IndexMappable CTreeRoot MonoReferenced ValidatorStage Source #
Instance details Defined in Codec.CBOR.Cuddle.CBOR.Validator Methods mapIndex :: CTreeRoot MonoReferenced -> CTreeRoot ValidatorStage Source #

mapCDDLDropExt :: (IndexMappable XXType2 i j, IndexMappable XTerm i j, IndexMappable XRule i j) => CDDL i -> CDDL j Source #