TypeMap
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
trait IdempotentCaptRefMapclass SubstParamsMapclass SubstParamMapclass SubstParamsMapclass AsSeenFromMapclass AvoidMapclass LevelAvoidMaptrait IdentityCaptRefMapclass SimplifyMapclass SimplifyKeepUncheckedclass Reducerclass StripTypeVarsMapclass ApproximatingTypeMapclass SubstApproxMapclass AvoidWildcardsMaptrait BiTypeMapclass SubstBindingMapclass SubstSymMapclass DeepTypeMapclass Subst1Mapclass Subst2Mapclass SubstMapclass SubstRecThisMapclass SubstThisMapobject IdentityTypeMap.typeclass HealTypeclass CheckNonCyclicMapShow all
- Self type
Members list
Value members
Concrete methods
Can be overridden. By default, only the prefix is mapped.
Can be overridden. By default, only the prefix is mapped.
Attributes
Map this function over given type
Map this function over given type
Attributes
Inherited methods
Attributes
- Inherited from:
- VariantTraversal
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:
- VariantTraversal
Attributes
- Inherited from:
- VariantTraversal
The type parameters of the constructor of this applied type. Overridden in OrderingConstraint's ConstraintAwareTraversal to take account of instantiations in the constraint that are not yet propagated to the instance types of type variables.
The type parameters of the constructor of this applied type. Overridden in OrderingConstraint's ConstraintAwareTraversal to take account of instantiations in the constraint that are not yet propagated to the instance types of type variables.
Attributes
- Inherited from:
- VariantTraversal