ScottEncodingLowering
scalus.compiler.sir.lowering.simple.ScottEncodingLowering
class ScottEncodingLowering(sir: SIR, generateErrorTraces: Boolean = ...) extends BaseSimpleLowering
Scott encoding-based lowering from Scalus Intermediate Representation SIR to UPLC Term.
This implementation uses Scott encoding for data types:
Nilis represented as\Nil Cons -> force NilCons h tlis represented as(\head tail Nil Cons -> Cons head tail) h tl
Value parameters
- generateErrorTraces
-
whether to generate error traces
- sir
-
the Scalus Intermediate Representation to lower
Attributes
- Graph
-
- Supertypes
Members list
In this article