docs/scalus/scalus.sir/scalus.sir.lowering/scalus.sir.lowering.typegens/SirTypeUplcGenerator

SirTypeUplcGenerator

scalus.sir.lowering.typegens.SirTypeUplcGenerator

See theSirTypeUplcGenerator companion object

trait SirTypeUplcGenerator

Attributes

Companion: object
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object BLS12_381_MLResultSirTypeGenerator

object FunSirTypeGenerator

object MapSirTypeGenerator

trait PrimitiveSirTypeGenerator

object BLS12_381_G1_SirTypeGenerator

object BLS12_381_G2_SirTypeGenerator

object SIRTypeUplcBooleanGenerator

object SIRTypeUplcByteStringGenerator

object SIRTypeUplcDataGenerator

object SIRTypeUplcIntegerGenerator

object SIRTypeUplcStringGenerator

class ProductCaseOneElementSirTypeGenerator

object ProductCaseSirTypeGenerator

object ProductCaseUplcOnlySirTypeGenerator

object SumCaseSirTypeGenerator

object SumCaseUplcOnlySirTypeGenerator

trait SumListCommonSirTypeGenerator

object SumDataListSirTypeGenerator

object SumPairDataListSirTypeGenerator

object TypeNothingSirTypeGenerator

object TypeVarSirTypeGenerator

object UnitSirTypeGenerator
Show all

Members list

Value members

Abstract methods

Get default representation for data representation of this type. This representation is used when converting to data instrucutres, which holds value as data.

Attributes

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).

Attributes

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

In this article

Generated with