Scalus
1.5.0
Generated with
Scalus/scalus/scalus.compiler/UplcRepresentation

UplcRepresentation

scalus.compiler.UplcRepresentation
See theUplcRepresentation companion object
enum UplcRepresentation

Specification of UPLC type representations.

Used with the UplcRepr annotation to customize how a type or field is represented in UPLC. Also used in @Compile intrinsic code via typeProxyRepr.

This enum uses EnumCase flags so the compiler plugin recognizes its cases as constructors and produces SIR.Constr nodes. The lowering interprets these via interpretReprSIR to reconstruct the actual LoweredValueRepresentation.

Attributes

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

Members list

Type members

Enum entries

case Data extends UplcRepresentation
final case class ProdBuiltinPair(fstRepr: UplcRepresentation, sndRepr: UplcRepresentation)
final case class SumBuiltinList(elemRepr: UplcRepresentation)

A builtin list. A builtin list holds constants only, so elemRepr is a Data, primitive or pair representation. The compiler rejects SumBuiltinList(UplcConstr): for a list of native constr values, annotate the list with UplcConstr.

A builtin list. A builtin list holds constants only, so elemRepr is a Data, primitive or pair representation. The compiler rejects SumBuiltinList(UplcConstr): for a list of native constr values, annotate the list with UplcConstr.

Attributes

final case class TypeVar(kind: TypeVarKind)

TypeVar representation marker for @UplcRepr(TypeVar(kind)) on type parameters.

TypeVar representation marker for @UplcRepr(TypeVar(kind)) on type parameters.

The plugin reads the annotation and stamps the corresponding SIRType.TypeVarKind on the emitted SIRType.TypeVar instead of the default Fixed.

Attributes

Generated with