SIR

scalus.sir.SIR
See theSIR companion object
sealed trait SIR

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class And
class Apply
class Builtin
class Const
class Constr
class Decl
class Error
class ExternalVar
class IfThenElse
class LamAbs
class Let
class Match
class Not
class Or
class Select
class Var
Show all

Members list

Value members

Abstract methods

def tp: SIRType

Concrete methods

def pretty: Doc
Extension method from scalus
def prettyXTerm: Doc
Extension method from scalus
def show: String
Extension method from scalus
def showHighlighted: String
Extension method from scalus
def toUplc(generateErrorTraces: Boolean): Term
Extension method from scalus
def toUplcOptimized(generateErrorTraces: Boolean): Term
Extension method from scalus
def ~=~(that: SIR): Boolean

Deprecated methods

def doubleCborHex(version: (Int, Int, Int), generateErrorTraces: Boolean): String
Extension method from scalus

Attributes

Deprecated
true
def toPlutusProgram(version: (Int, Int, Int), generateErrorTraces: Boolean): Program
Extension method from scalus

Attributes

Deprecated
true