docs
API
Generated with
docs/scalus/scalus.sir/scalus.sir.lowering/LambdaLoweredValue

LambdaLoweredValue

scalus.sir.lowering.LambdaLoweredValue
case class LambdaLoweredValue(newVar: VariableLoweredValue, body: LoweredValue, inPos: SIRPosition) extends ComplexLoweredValue

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait LoweredValue
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def docDef(ctx: PrettyPrintingContext): Doc

Pretty print this value with all definitona

Pretty print this value with all definitona

Value parameters

style
  • style of printing

Attributes

Definition Classes
override def findSelfOrSubtems(p: LoweredValue => Boolean): Option[LoweredValue]

Attributes

Definition Classes
override def pos: SIRPosition

Attributes

Definition Classes
override def representation: LoweredValueRepresentation

The type of representation of this value.

The type of representation of this value.

Attributes

Definition Classes
override def sirType: SIRType

Attributes

Definition Classes
override def termInternal(gctx: TermGenerationContext): Term

Generates the term for this value.

Generates the term for this value.

Attributes

Definition Classes

Inherited methods

override def addDependent(value: IdentifiableLoweredValue): Unit

add identifiable variable to be updated from this variable

add identifiable variable to be updated from this variable

Attributes

Definition Classes
Inherited from:
ComplexLoweredValue
override def docRef(ctx: PrettyPrintingContext): Doc

Pretty print reference to value

Pretty print reference to value

Value parameters

style
  • style of printing

Attributes

Definition Classes
Inherited from:
ComplexLoweredValue
def maybeUpcast(targetType: SIRType, pos: SIRPosition)(using lctx: LoweringContext): LoweredValue

Upcast the value to the target type if needed.

Upcast the value to the target type if needed.

Attributes

Inherited from:
LoweredValue
def pretty: Doc

Attributes

Inherited from:
LoweredValue
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def retrieveSubvalues: Seq[LoweredValue]

Attributes

Inherited from:
ComplexLoweredValue
def show: String

Attributes

Inherited from:
LoweredValue
def termWithNeededVars(gctx: TermGenerationContext): Term

The UPLC term that represents this value, wrapped in vars if needed.

The UPLC term that represents this value, wrapped in vars if needed.

Value parameters

gctx
  • context for term generation

Attributes

Returns

generated term wrapped in lambdas with definition of needed uplevel variables

Inherited from:
LoweredValue
def toRepresentation(representation: LoweredValueRepresentation, pos: SIRPosition)(using LoweringContext): LoweredValue

Convert this value to the giveb representation,

Convert this value to the giveb representation,

Attributes

Inherited from:
LoweredValue
def upcastOne(targetType: SIRType, pos: SIRPosition)(using LoweringContext): LoweredValue

Attributes

Inherited from:
LoweredValue
override def usedUplevelVars: Set[IdentifiableLoweredValue]

Uplevel variables, that are used in this value.

Uplevel variables, that are used in this value.

Attributes

Definition Classes
Inherited from:
ComplexLoweredValue

Inherited fields

lazy val cUsedVars: Set[IdentifiableLoweredValue]

Attributes

Inherited from:
ComplexLoweredValue
val createdEx: RuntimeException

Attributes

Inherited from:
LoweredValue
var debugMark: String

Attributes

Inherited from:
LoweredValue
val dominatingUplevelVars: Set[IdentifiableLoweredValue]

Uplevel variables, that shoule be generated before generation of term

Uplevel variables, that shoule be generated before generation of term

Attributes

Inherited from:
ComplexLoweredValue
val usedVarsCount: Map[IdentifiableLoweredValue, Int]

Attributes

Inherited from:
ComplexLoweredValue
Generated with