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

Apply

scalus.uplc.Term.Apply
final case class Apply(f: Term, arg: Term) extends Term

Members list

Value members

Inherited methods

infix def $(rhs: Term): Term

Applies the argument to the term.

Applies the argument to the term.

Attributes

Inherited from:
Term
infix def `α_==`(that: Term): Boolean

Alpha-equivalence check between two terms.

Alpha-equivalence check between two terms.

Attributes

Note

This method assumes that the terms are debruijn-indexed properly. Call DeBruijn.deBruijnTerm before using this method to ensure correct indexing.

Inherited from:
Term
def applyToList: (Term, List[Term])

Attributes

Inherited from:
Term
def collectBuiltins: Set[DefaultFun]

Attributes

Inherited from:
Term
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Term -> Any
Inherited from:
Term
def unary_!: Term

Forces the term.

Forces the term.

Attributes

Inherited from:
Term
def unary_~: Term

Delays the term.

Delays the term.

Attributes

Inherited from:
Term
Generated with