CalculateApplyTypeContext

scalus.compiler.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]