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

BaseRepresentationProxyLoweredValue

scalus.sir.lowering.BaseRepresentationProxyLoweredValue
abstract class BaseRepresentationProxyLoweredValue(input: LoweredValue, val representation: LoweredValueRepresentation, val pos: SIRPosition) extends ProxyLoweredValue

Attributes

Graph
Supertypes
trait LoweredValue
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

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
override def sirType: SIRType

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 dominatingUplevelVars: Set[IdentifiableLoweredValue]

Uplevel variables, that shoule be generated before generation of term

Uplevel variables, that shoule 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 toRepresentation(representation: LoweredValueRepresentation, pos: SIRPosition)(using LoweringContext): LoweredValue

Convert this value to the giveb representation,

Convert this value to the giveb representation,

Attributes

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

Inherited and Abstract methods

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

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

Generates the term for this value.

Generates the term for this value.

Attributes

Inherited from:
LoweredValue

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