Dotty Documentation

0.14.0-bin-SNAPSHOT

class TrackingTypeComparer
extends TypeComparer

[-] Constructors

TrackingTypeComparer ( initctx: Context )

[-] Members

[+] val footprint : Set [ Type ]
[+] private val initctx : Context
[+] override def addOneBound ( param: TypeParamRef , bound: Type , isUpper: Boolean ) ( implicit nc: AbsentContext ) : Boolean
[+] override def bounds ( param: TypeParamRef ) ( implicit nc: AbsentContext ) : TypeBounds

The current bounds of type parameter param

[+] override def gadtAddLowerBound ( sym: Symbol , b: Type ) : Boolean
[+] override def gadtAddUpperBound ( sym: Symbol , b: Type ) : Boolean
[+] override def gadtBounds ( sym: Symbol ) ( implicit ctx: Context ) : TypeBounds
[+] def matchCase ( scrut: Type , cas: Type , instantiate: Boolean ) ( implicit ctx: Context ) : Type
[+] override def typeVarInstance ( tvar: TypeVar ) ( implicit ctx: Context ) : Type