SirTypeUplcGenerator

scalus.sir.lowering.typegens.SirTypeUplcGenerator
See theSirTypeUplcGenerator companion object

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

Get default representation for data representation of this type. This representation is used when converting to data.

Get default representation for data representation of this type. This representation is used when converting to data.

Attributes

Get default representation. Assumed that input parameters of functions and vars and are in this representation.

Get default representation. Assumed that input parameters of functions and vars and are in this representation.

Attributes

Get default representation for type variable. This representation is used when converting to parameters of scala functions with type parameters. (Usually the same as defaultDataRepresentation, except Lambdas).

Get default representation for type variable. This representation is used when converting to parameters of scala functions with type parameters. (Usually the same as defaultDataRepresentation, except Lambdas).

Attributes

Generate constructor for this type. Always called on DataDecl.tp

Generate constructor for this type. Always called on DataDecl.tp

Value parameters

constr
  • constructor, which we should generate
targetType
  • type of the generated value, which should be a subtype of constr.tp

Attributes

def genMatch(matchData: Match, loweredScrutinee: LoweredValue, optTargetType: Option[SIRType])(using LoweringContext): LoweredValue
def genSelect(sel: Select, loweredScrutinee: LoweredValue)(using LoweringContext): LoweredValue
def isDataSupported(tp: SIRType)(using lctx: LoweringContext): Boolean
def upcastOne(input: LoweredValue, targetType: SIRType, pos: SIRPosition)(using LoweringContext): LoweredValue