docs
API
Generated with
docs/scalus/scalus.uplc/Term

Term

scalus.uplc.Term
See theTerm companion object
enum Term

Attributes

Companion
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class Var
class LamAbs
class Apply
class Force
class Delay
class Const
class Builtin
Show all

Members list

Type members

Enum entries

final case class Apply(f: Term, arg: Term) extends Term
final case class Builtin(bn: DefaultFun) extends Term
final case class Case(arg: Term, cases: List[Term])
final case class Const(const: Constant) extends Term
final case class Constr(tag: Word64, args: List[Term])
final case class Delay(term: Term) extends Term
case Error extends Term
final case class Force(term: Term) extends Term
final case class LamAbs(name: String, term: Term) extends Term
final case class Var(name: NamedDeBruijn) extends Term

Value members

Deprecated methods

def evaluate(using vm: PlutusVM): Term
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.evaluate method instead
def evaluateDebug(using vm: PlutusVM): Result
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.evaluateDebug method instead
def plutusV1: Program
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.plutusV1 method instead
def plutusV2: Program
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.plutusV2 method instead
def plutusV3: Program
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.plutusV3 method instead
def pretty: Doc
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.pretty method instead
def prettyXTerm: Doc
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.prettyXTerm method instead
def show: String
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.show method instead
def showHighlighted: String
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.showHighlighted method instead
def showShort: String
Extension method from scalus

Attributes

Deprecated
[Since version 0.14.2] Use Term.showShort method instead
Generated with