docs
API
Generated with
docs/scalus/scalus.compiler.sir/scalus.compiler.sir.lowering/LoweringContext

LoweringContext

scalus.compiler.sir.lowering.LoweringContext
class LoweringContext(var zCombinatorNeeded: Boolean = ..., val decls: Map[String, DataDecl] = ..., var varIdSeq: Int = ..., var scope: LocalScope = ..., val targetLanguage: Language = ..., val generateErrorTraces: Boolean = ..., val uplcGeneratorPolicy: (SIRType, LoweringContext) => SirTypeUplcGenerator = ..., var typeUnifyEnv: Env = ..., var debug: Boolean = ..., var debugLevel: Int = ..., var nestingLevel: Int = ..., var enclosingLambdaParams: List[IdentifiableLoweredValue] = ...)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def info(msg: String, pos: SIRPosition): Unit
def log(msg: String): Unit
def lower(sir: SIR, optTargetType: Option[SIRType] = ...): LoweredValue
def resolveTypeVarIfNeeded(tp: SIRType): SIRType

If this is typevariable, try get the value from context, else leave it as is.

If this is typevariable, try get the value from context, else leave it as is.

Attributes

def tryResolveTypeVar(tp: TypeVar): Option[SIRType]
def uniqueVarName(prefix: String = ...): String
def warn(msg: String, pos: SIRPosition): Unit

Concrete fields

var debug: Boolean
var debugLevel: Int
val decls: Map[String, DataDecl]
val generateErrorTraces: Boolean
var nestingLevel: Int
var varIdSeq: Int
var zCombinatorNeeded: Boolean
Generated with