SirToUplc110Lowering
scalus.sir.SirToUplc110Lowering
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 Objecttrait Matchableclass Any
Members list
In this article