Parameterized sum constructor representation. Each variant (constructor tag) has its own ProdUplcConstr with per-field representations.
UPLC form: Constr(tag, [v1, v2, ...]) where fields are in the variant's representations. Pattern matching uses the Case builtin to dispatch on the tag.
Value parameters
- variants
-
map from constructor tag to its ProdUplcConstr (field representations)
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
The UPLC DefaultUni type for values in this representation.
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.Integerfor Constant,DefaultUni.Datafor PackedData) - Definition Classes
Attributes
- Definition Classes
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.
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.
Attributes
- Definition Classes
Inherited methods
Attributes
- Inherited from:
- LoweredValueRepresentation
Attributes
- Definition Classes
- Inherited from:
- SumCaseClassRepresentation
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- LoweredValueRepresentation
Stable structural key for use as cache-key / identifier-suffix. Two structurally-equal representations return equal stableKey strings.
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
The SIR type that values actually have at the UPLC level for this representation.
The SIR type that values actually have at the UPLC level for this representation.
Value parameters
- semanticType
-
the high-level SIR type (e.g.,
Integer,List[BigInt])
Attributes
- Returns
-
the UPLC-level SIR type (e.g.,
Integerfor Constant,Datafor PackedData) - Inherited from:
- LoweredValueRepresentation
Inherited fields
Attributes
- Inherited from:
- SumCaseClassRepresentation
Attributes
- Inherited from:
- SumCaseClassRepresentation