scalus.sir

package scalus.sir

Members list

Concise view

Type members

Classlikes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
object SirDSL

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
SirDSL.type