docs
API
Generated with
docs/scalus/scalus.compiler/scalus.compiler.sir/scalus.compiler.sir.lowering/LambdaRepresentation

LambdaRepresentation

scalus.compiler.sir.lowering.LambdaRepresentation
case class LambdaRepresentation(funTp: SIRType, canonicalRepresentationPair: InOutRepresentationPair) extends LoweredValueRepresentation

Representation for lambda function. By default, lanbda-s accept default reperesentation for input and output types. But when we pass functions to type-parametrized functions, then calling party does not know about real parameter types and can't use default representation, so pass parameters as packed data.

So, we translate higher-order functions to packed data representation when pass as arguments to type-parametrized functions.

But some builtin function accept more then one representations, because they poplymorhiocj on plutus level. (i.e. have builtin type variables). For example: makeCons work with SumDataList and SumPairDataList, so we need to reevaluate representation when argument type is known.

Attributes

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 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 doc: Doc

Attributes

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

Attributes

Definition Classes
override def isCompatibleWithType(tp: SIRType)(using LoweringContext): Boolean

Attributes

Definition Classes
override def isDataCentric: Boolean

Attributes

Definition Classes
override def isPackedData: Boolean

Attributes

Definition Classes
def reprFun(tp: SIRType, pos: SIRPosition, argRepr: LoweredValueRepresentation)(using lctx: LoweringContext): InOutRepresentationPair

Resolve the input/output representation pair for a function application.

Resolve the input/output representation pair for a function application.

Given the argument type and repr, unifies the type with the function's input type pattern to resolve builtin type variables. Then derives output repr by extracting TypeVar→repr mappings from the argument's type/repr structure.

E.g., for headList: ∀A. BuiltinList[A] → A applied to BuiltinList[Int] with SumBuiltinList(PackedData): type substitution gives A → Int, repr extraction gives A → PackedData, so output repr = PackedData.

Attributes

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

Inherited methods

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

Inherited from:
LoweredValueRepresentation
Generated with