Package net.covers1624.coffeegrinder.type

Interface TypeSubstitutions.TypeMapper

All Known Subinterfaces:

BoundSet.InferenceVarMapper, TypeSubstitutions.TypeParamMapper

All Known Implementing Classes:

InferenceSolution, ParameterizedClass

Enclosing class:

TypeSubstitutions

public static interface TypeSubstitutions.TypeMapper

Method Summary

Modifier and Type	Method	Description
ReferenceType	mapType(ReferenceType type)	Optionally substitute every type.
default TypeSubstitutions.TypeSubstApplier	substFunc()

Method Details

mapType

ReferenceType mapType(ReferenceType type)

Optionally substitute every type.

May produce an identity mapping.

Parameters:

type - The type to substitute.

Returns:

The substituted type.

substFunc

default TypeSubstitutions.TypeSubstApplier substFunc()