ProdUplcConstr
Parameterized constructor representation where each field has its own representation.
UPLC form: Constr(tag, [v1, v2, ..., vN]) where each vi is in fieldReprs(i). Unlike ProdDataConstr which forces all fields to Data, this allows native field representations (e.g., Constr(0, [Integer(42), ByteString(#ff)])).
Value parameters
- fieldReprs
-
representation for each field, in order
- tag
-
constructor tag (index in the DataDecl's constructor list)
Attributes
- 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
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) - Definition Classes
Inherited methods
Attributes
- Inherited from:
- LoweredValueRepresentation
Attributes
- Definition Classes
- Inherited from:
- ProductCaseClassRepresentation
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
Inherited fields
Attributes
- Inherited from:
- ProductCaseClassRepresentation
Attributes
- Inherited from:
- ProductCaseClassRepresentation