Substituters
object Substituters
Substitution operations on types. See the corresponding subst
and
substThis
methods on class Type for an explanation.
Type members
Classlikes
final
class SubstApproxMap(from: List[Symbol], to: List[Type])(using x$3: Context) extends ApproximatingTypeMap
An approximating substitution that can handle wildcards in the to
list
An approximating substitution that can handle wildcards in the to
list
Value members
Concrete methods
final
def subst(tp: Type, from: BindingType, to: BindingType, theMap: SubstBindingMap)(using Context): Type
final
def substParams(tp: Type, from: BindingType, to: List[Type], theMap: SubstParamsMap)(using Context): Type