SetBasedTypeVarGenerationContext

scalus.sir.SIRType.SetBasedTypeVarGenerationContext
class SetBasedTypeVarGenerationContext(var typeVars: Set[TypeVar], var maxCounter: Long) extends TypeVarGenerationContext

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def contains(tv: TypeVar): Boolean

Attributes

Definition Classes
override def freshCopy(tv: TypeVar): TypeVar

Attributes

Definition Classes
def importSetFromType(tp: SIRType): Boolean
def updateMaxCounter(id: Long): Unit

Concrete fields

var maxCounter: Long
var typeVars: Set[TypeVar]