docs/scalus/scalus.sir/SirToUplc110Lowering

SirToUplc110Lowering

scalus.sir.SirToUplc110Lowering

class SirToUplc110Lowering(sir: SIR, generateErrorTraces: Boolean)

Lowering from Scalus Intermediate Representation SIR to UPLC Term.

We use UPLC version 1.1.0 and generate Sums of Products (SoP) constructors case and constr to represent data types. Also we optimize newtype kind of constructors to be represented as just values.

Value parameters

generateErrorTraces: whether to generate error traces
sir: the Scalus Intermediate Representation to lower

Attributes

Example

case class Wrapper(a: BigInt)
val x = Wrapper(1) // lowers to just (const integer 1)

Graph

Supertypes

class Object

trait Matchable

class Any

Members list

Value members

Concrete methods

In this article

Generated with