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

RepresentationAnnotatedTypeProxyLoweredValue

scalus.compiler.sir.lowering.RepresentationAnnotatedTypeProxyLoweredValue
See theRepresentationAnnotatedTypeProxyLoweredValue companion class
object RepresentationAnnotatedTypeProxyLoweredValue

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def annotateAtReturn(tp: SIRType, repr: LoweredValueRepresentation, pos: SIRPosition)(using LoweringContext): SIRType

Attach an @UplcRepr annotation derived from repr at tp's return / scalar position. Returns tp unchanged when repr is the type's natural default, has no surface form, or computing the type's default fails (e.g. unresolved typeGenerator).

Attach an @UplcRepr annotation derived from repr at tp's return / scalar position. Returns tp unchanged when repr is the type's natural default, has no surface form, or computing the type's default fails (e.g. unresolved typeGenerator).

Attributes

def wrapIfAnnotated(input: LoweredValue, inPos: SIRPosition)(using LoweringContext): LoweredValue

Wrap when the representation has a non-default surface @UplcRepr form; otherwise return input verbatim (proxy would be a hot-path no-op).

Wrap when the representation has a non-default surface @UplcRepr form; otherwise return input verbatim (proxy would be a hot-path no-op).

Attributes

Generated with