docs/scalus/scalus.compiler/scalus.compiler.sir/scalus.compiler.sir.lowering/PackedDataDefaultUni

PackedDataDefaultUni

scalus.compiler.sir.lowering.PackedDataDefaultUni

trait PackedDataDefaultUni extends LoweredValueRepresentation

Mixin for representations that always store values as Data at the UPLC level.

Attributes

Graph
Supertypes: trait LoweredValueRepresentation

class Object

trait Matchable

class Any
Known subtypes: object PackedData

object PackedArrayAsList

object PackedDataList

object PackedDataMap

object ProdDataConstr

object DataConstr

object DataData

object PackedSumDataList

object SumDataAssocMap
Show all

Members list

Value members

Concrete methods

The UPLC DefaultUni type for values in this representation.

Used to generate correctly-typed nil constants for builtin lists.

Value parameters

semanticType: the high-level SIR type (e.g., Integer, List[BigInt])

Attributes

Returns: the DefaultUni type (e.g., DefaultUni.Integer for Constant, DefaultUni.Data for PackedData)
Definition Classes: LoweredValueRepresentation

Inherited methods

Attributes

Inherited from:: LoweredValueRepresentation

Attributes

Inherited from:: LoweredValueRepresentation

Attributes

Inherited from:: LoweredValueRepresentation

Stable structural key for use as cache-key / identifier-suffix. Two structurally-equal representations return equal stableKey strings.

Distinct from toString: for SumReprProxy the default Object.toString returns ClassName@HEX (identity-based), leaking proxy-instance identity into any key that embeds the repr rendering (e.g. LoweringEq's sumEq helper cache, UPLC var-name derivation). Use stableKey there instead.

Implemented in terms of stableKeyInternal which threads a seen set through the recursion so self-referential SumReprProxy produces SumProxy(cycle) as a stable placeholder. Override stableKeyInternal in every subclass that recursively contains a LoweredValueRepresentation field so the seen set is propagated.

Attributes

Inherited from:: LoweredValueRepresentation

Recursive worker for stableKey. Default delegates to toString, which is correct for leaf case-objects and case-classes whose fields don't recursively contain a LoweredValueRepresentation. Any subclass that does contain a nested repr must override and call child.stableKeyInternal(seen) on each nested field.