SirToUplc110Lowering
scalus.sir.lowering.simple.SirToUplc110Lowering
class SirToUplc110Lowering(sir: SIR, generateErrorTraces: Boolean = ...) extends BaseSimpleSirToUplcLowering
UPLC 1.1.0-based 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
Members list
In this article