docs/scalus/scalus.compiler/scalus.compiler.sir/scalus.compiler.sir.lowering/CaseIntegerLoweredValue

CaseIntegerLoweredValue

scalus.compiler.sir.lowering.CaseIntegerLoweredValue

case class CaseIntegerLoweredValue(scrutinee: LoweredValue, branches: List[LoweredValue], tp: SIRType, repr: LoweredValueRepresentation, inPos: SIRPosition) extends ComplexLoweredValue

LoweredValue for case on integer builtins (PlutusV4 feature).

In PlutusV4, Case can be used directly on integer constants when the cases form a contiguous sequence starting from 0: Case(int, [branch0, branch1, ..., branchN]) where integer value i selects branch i.

Note: This only works when cases are 0, 1, 2, ..., n without gaps. For integers outside this range, behavior is undefined (will error at runtime).

Attributes

Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait ComplexLoweredValue

trait LoweredValue

class Object

trait Matchable

class Any
Show all

Members list

Value members

Concrete methods

Pretty print this value with all definitona

Value parameters

style

style of printing

Attributes

Definition Classes: LoweredValue

Attributes

Definition Classes: LoweredValue

The type of representation of this value.

Attributes

Definition Classes: LoweredValue

Attributes

Definition Classes: LoweredValue

Generates the term for this value.

Attributes

Definition Classes: LoweredValue

Inherited methods

add identifiable variable to be updated from this variable

Attributes

Definition Classes: ComplexLoweredValue -> LoweredValue
Inherited from:: ComplexLoweredValue

Pretty print reference to value

Value parameters

style

style of printing

Attributes

Definition Classes: ComplexLoweredValue -> LoweredValue
Inherited from:: ComplexLoweredValue

Attributes

Definition Classes: ComplexLoweredValue -> LoweredValue
Inherited from:: ComplexLoweredValue

Internal variables, that are used inside this value.

Attributes

Definition Classes: ComplexLoweredValue -> LoweredValue
Inherited from:: ComplexLoweredValue

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

Attributes

Inherited from:: LoweredValue

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

Attributes

Definition Classes: ComplexLoweredValue -> LoweredValue
Inherited from:: ComplexLoweredValue

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

Attributes

Inherited from:: LoweredValue

Attributes

Inherited from:: Product

Attributes

Inherited from:: Product

Attributes

Inherited from:: ComplexLoweredValue

Attributes

Inherited from:: LoweredValue

Attributes

Inherited from:: LoweredValue

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

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).