scalus
API
Generated with
scalus/scalus/scalus.sir

scalus.sir

package scalus.sir

Members list

Type members

Classlikes

case class Binding(name: String, value: SIR)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Case(constr: ConstrDecl, bindings: List[String], body: SIR)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ConstrDecl(name: String, params: List[String])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class DataDecl(name: String, constructors: List[ConstrDecl])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object EtaReduce

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
EtaReduce.type
case class Module(defs: List[Binding])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object PrettyPrinter

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case class Program(version: (Int, Int, Int), term: SIR)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
enum Recursivity

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
enum SIR

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
case Var
case Let
case LamAbs
case Apply
case Const
case And
case Or
case Not
case IfThenElse
case Builtin
case Error
case Decl
case Constr
case Match
Show all
class SimpleSirToUplcLowering(sir: SIR, generateErrorTraces: Boolean)

Attributes

Supertypes
class Object
trait Matchable
class Any
object SirDSL

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
SirDSL.type
Generated with