LoweringContext

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def log(msg: String): Unit
def lower(sir: SIR, optTargetType: Option[SIRType]): LoweredValue

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
val plutusVersion: Int
var varIdSeq: Int
var zCombinatorNeeded: Boolean