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

ChooseDataLoweredValue

scalus.compiler.sir.lowering.ChooseDataLoweredValue
case class ChooseDataLoweredValue(dataInput: LoweredValue, constrTagVar: IdentifiableLoweredValue, constrArgsVar: IdentifiableLoweredValue, constrBranch: LoweredValue, mapEntriesVar: IdentifiableLoweredValue, mapBranch: LoweredValue, listElementsVar: IdentifiableLoweredValue, listBranch: LoweredValue, iValueVar: IdentifiableLoweredValue, iBranch: LoweredValue, bValueVar: IdentifiableLoweredValue, bBranch: LoweredValue, tp: SIRType, repr: LoweredValueRepresentation, inPos: SIRPosition) extends ComplexLoweredValue

LoweredValue for ChooseData builtin (PlutusV1-V3).

Uses the ChooseData builtin with delayed branches: Force(ChooseData data (Delay constr) (Delay map) (Delay list) (Delay i) (Delay b)).

Unlike CaseDataLoweredValue, the bound variables are not lambda parameters: each carries the corresponding un*Data extraction of the scrutinee as its rhs and is emitted inside the branch that uses it, so the extraction only runs when the branch is selected.

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 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
def ann(p: SIRPosition): UplcAnnotation

Annotation for a term emitted by this value: p plus functionName.

Annotation for a term emitted by this value: p plus functionName.

Attributes

Inherited from:
LoweredValue
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
override def findSelfOrSubtems(p: LoweredValue => Boolean): Option[LoweredValue]

Attributes

Definition Classes
Inherited from:
ComplexLoweredValue
override def internalVars: Set[IdentifiableLoweredValue]

Internal variables, that are used inside this value.

Internal variables, that are used inside this value.

Attributes

Definition Classes
Inherited from:
ComplexLoweredValue
def isConstant: Boolean

Whether this value is (or wraps) a compile-time constant. Propagates through proxies and variable bindings.

Whether this value is (or wraps) a compile-time constant. Propagates through proxies and variable bindings.

Attributes

Inherited from:
LoweredValue
override def isEffortLess: Boolean

Is this value effort-less to compute (i.e. constant or variable or lambda)

Is this value effort-less to compute (i.e. constant or variable or lambda)

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.

Also reconciles the value's representation with any uplcRepr annotation on the target type. Even if structural unification succeeds (annotations are stripped by SIRUnify), the target may declare a representation hint that this value's actual representation doesn't satisfy — in that case, convert via toRepresentation so the returned value's type and repr stay consistent for downstream consumers.

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 shortShow: String

Attributes

Inherited from:
LoweredValue
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 lctx: LoweringContext): LoweredValue

Convert this value to the given representation.

Convert this value to the given representation.

Routes through SumDispatch.toRepresentation, which inspects the source value's actual typegen and dispatches accordingly (Sum-side typegens go through the centralized toRepresentationImpl helpers; non-Sum typegens fall back to their direct toRepresentation). We can't split by SIRType.isSum/isProd here because sum-shaped constructors have CaseClass SIR types (e.g. List.Cons is a CaseClass whose typegen is SumBuiltinList).

Attributes

Inherited from:
LoweredValue
def upcastOne(targetType: SIRType, pos: SIRPosition)(using lctx: 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 cInternalVars: Set[IdentifiableLoweredValue]

Attributes

Inherited from:
ComplexLoweredValue
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 should be generated before generation of term

Uplevel variables, that should be generated before generation of term

Attributes

Inherited from:
ComplexLoweredValue
val functionName: String

Simple name of the user function that was being lowered when this value was created, or "" when it was created outside any named binding. Captured from LoweringContext.currentFunction at construction time, because term generation runs as a separate pass after lowering has finished and no longer knows where a value came from.

Simple name of the user function that was being lowered when this value was created, or "" when it was created outside any named binding. Captured from LoweringContext.currentFunction at construction time, because term generation runs as a separate pass after lowering has finished and no longer knows where a value came from.

Pure metadata: it is copied into the scalus.uplc.UplcAnnotation of every term this value emits (see ann) so tooling can group the compiled UPLC by source function. It never influences the generated code.

Attributes

Inherited from:
LoweredValue
override val ownVars: Set[IdentifiableLoweredValue]

Variables, that are directly defined in this value.

Variables, that are directly defined in this value.

Attributes

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

Attributes

Inherited from:
ComplexLoweredValue
Generated with