docs
API
Generated with
docs/scalus/scalus.compiler/scalus.compiler.sir/scalus.compiler.sir.lowering/ProductCaseClassRepresentation/ProdBuiltinPair

ProdBuiltinPair

scalus.compiler.sir.lowering.ProductCaseClassRepresentation.ProdBuiltinPair
See theProdBuiltinPair companion object
case class ProdBuiltinPair(fstRepr: LoweredValueRepresentation, sndRepr: LoweredValueRepresentation) extends ProductCaseClassRepresentation

BuiltinPair with parameterized component representations.

PairData is the common case where both components are PackedData (i.e., BuiltinPair[Data, Data]). In the future, native component representations like ProdBuiltinPair(Constant, Constant) for BuiltinPair[Integer, ByteString] are possible.

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def defaultUni(semanticType: SIRType)(using lctx: LoweringContext): DefaultUni

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.Integer for Constant, DefaultUni.Data for PackedData)

Definition Classes
override def isCompatibleOn(tp: SIRType, repr: LoweredValueRepresentation, pos: SIRPosition)(using lctx: LoweringContext): Boolean

Attributes

Definition Classes
override def isCompatibleWithType(tp: SIRType)(using LoweringContext): Boolean
override def stableKeyInternal(seen: Set[SumReprProxy]): String

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
override def uplcType(semanticType: SIRType)(using lctx: LoweringContext): SIRType

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., Integer for Constant, Data for PackedData)

Definition Classes

Inherited methods

def doc: Doc

Attributes

Inherited from:
LoweredValueRepresentation
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def show: String

Attributes

Inherited from:
LoweredValueRepresentation
final def stableKey: String

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

val isDataCentric: Boolean

Attributes

Inherited from:
ProductCaseClassRepresentation
val isPackedData: Boolean

Attributes

Inherited from:
ProductCaseClassRepresentation
Generated with