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

def lower(): Term