BiTypeMap
A supertrait for some typemaps that are bijections. Used for capture checking. BiTypeMaps should map capture references to capture references.
Attributes
- Graph
- Supertypes
- Known subtypes
- class SubstBindingMapclass SubstSymMap
- Self type
Members list
Value members
Abstract methods
Concrete methods
A restriction of the inverse to a function on tracked CaptureRefs
A restriction of the inverse to a function on tracked CaptureRefs
Attributes
A restriction of this map to a function on tracked CaptureRefs
A restriction of this map to a function on tracked CaptureRefs
Attributes
The inverse of the type map as a BiTypeMap map, which has the original type map as its own inverse.
The inverse of the type map as a BiTypeMap map, which has the original type map as its own inverse.
Attributes
Inherited methods
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.
Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Can be overridden. By default, only the prefix is mapped.
Map this function over given type
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- VariantTraversal