docs/scalus/scalus.compiler.sir/scalus.compiler.sir.lowering/scalus.compiler.sir.lowering.simple/BaseSimpleLowering

BaseSimpleLowering

scalus.compiler.sir.lowering.simple.BaseSimpleLowering

abstract class BaseSimpleLowering(sir: SIR, generateErrorTraces: Boolean = ...)

Base class for simple lowering from Scalus Intermediate Representation SIR to UPLC Term.

This class contains common functionality shared between different lowering strategies. Subclasses must implement the encoding-specific methods for constructors, pattern matching, and field selection.

Value parameters

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

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class ScottEncodingLowering

class SumOfProductsLowering

Members list

Value members

Concrete methods

Lower the SIR to UPLC Term

Attributes

In this article

Generated with