CalculateApplyTypeContext

scalus.sir.SIRType.CalculateApplyTypeContext
class CalculateApplyTypeContext(var env: Env, val tvGen: SetBasedTypeVarGenerationContext, var tvSubst: Map[TypeVar, TypeVar], val tvAlreadyUnique: Boolean, val reportUngrounded: Boolean, val debug: Boolean)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete fields

val debug: Boolean
var env: Env
val reportUngrounded: Boolean
val tvAlreadyUnique: Boolean
var tvSubst: Map[TypeVar, TypeVar]