docs
API
Generated with
docs/scalus/scalus.sir/scalus.sir.lowering/RepresentationProxyLoweredValue

RepresentationProxyLoweredValue

scalus.sir.lowering.RepresentationProxyLoweredValue
See theRepresentationProxyLoweredValue companion object
final class RepresentationProxyLoweredValue(val input: LoweredValue, val representation: LoweredValueRepresentation, val pos: SIRPosition) extends BaseRepresentationProxyLoweredValue

A proxy which change only the representation of the input value (without changing the underlying generated code)

Attributes

Companion
object
Graph
Supertypes
trait LoweredValue
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def docDef(ctx: PrettyPrintingContext): Doc

Pretty print this value with all definitona

Pretty print this value with all definitona

Value parameters

style
  • style of printing

Attributes

Definition Classes
override def termInternal(gctx: TermGenerationContext): Term

Generates the term for this value.

Generates the term for this value.

Attributes

Definition Classes
override def toRepresentation(representation: LoweredValueRepresentation, pos: SIRPosition)(using LoweringContext): LoweredValue

Convert this value to the giveb representation,

Convert this value to the giveb representation,

Attributes

Definition Classes

Inherited methods

override def addDependent(value: IdentifiableLoweredValue): Unit

add identifiable variable to be updated from this variable

add identifiable variable to be updated from this variable

Attributes

Definition Classes
Inherited from:
ProxyLoweredValue
override def docRef(ctx: PrettyPrintingContext): Doc

Pretty print reference to value

Pretty print reference to value

Value parameters

style
  • style of printing

Attributes

Definition Classes
Inherited from:
BaseRepresentationProxyLoweredValue
override def dominatingUplevelVars: Set[IdentifiableLoweredValue]

Uplevel variables, that should be generated before generation of term

Uplevel variables, that should be generated before generation of term

Attributes

Definition Classes
Inherited from:
ProxyLoweredValue
override def findSelfOrSubtems(p: LoweredValue => Boolean): Option[LoweredValue]

Attributes

Definition Classes
Inherited from:
ProxyLoweredValue
def maybeUpcast(targetType: SIRType, pos: SIRPosition)(using lctx: LoweringContext): LoweredValue

Upcast the value to the target type if needed.

Upcast the value to the target type if needed.

Attributes

Inherited from:
LoweredValue
def pretty: Doc

Attributes

Inherited from:
LoweredValue
def show: String

Attributes

Inherited from:
LoweredValue
def termWithNeededVars(gctx: TermGenerationContext): Term

The UPLC term that represents this value, wrapped in vars if needed.

The UPLC term that represents this value, wrapped in vars if needed.

Value parameters

gctx
  • context for term generation

Attributes

Returns

generated term wrapped in lambdas with definition of needed uplevel variables

Inherited from:
LoweredValue
def upcastOne(targetType: SIRType, pos: SIRPosition)(using LoweringContext): LoweredValue

Attributes

Inherited from:
LoweredValue
override def usedUplevelVars: Set[IdentifiableLoweredValue]

Uplevel variables, that are used in this value.

Uplevel variables, that are used in this value.

Attributes

Definition Classes
Inherited from:
ProxyLoweredValue

Concrete fields

override val pos: SIRPosition
override val representation: LoweredValueRepresentation

The type of representation of this value.

The type of representation of this value.

Attributes

Inherited fields

val createdEx: RuntimeException

Attributes

Inherited from:
LoweredValue
var debugMark: String

Attributes

Inherited from:
LoweredValue
val origin: LoweredValue

Attributes

Inherited from:
ProxyLoweredValue
Generated with