Case

Applies the argument to the term.

Alpha-equivalence check between two terms.

Evaluate the term using the given VM.

Evaluate the term using the given VM.

Evaluate the term with profiling enabled.

Like evaluateDebug but also collects profiling data by source location and function. Access profiling data via result.profile.

Bottom-up position fill: see fillEmptyAnnotationsBottomUp, of which this is the position-only view. Returns the representative position of this subtree.

Top-down position fill: see fillEmptyAnnotationsTopDown, of which this is the position-only view. The root inherits inherited and no function name.

Wrap the term in a Plutus V1 program at the lowest UPLC version that can carry it (1.1.0 if it uses constr/case, else 1.0.0). See Program.minVersionFor.

Wrap the term in a Plutus V2 program at the lowest UPLC version that can carry it (1.1.0 if it uses constr/case, else 1.0.0). See Program.minVersionFor.

Wrap the term in a Plutus V3 program.

Pretty-print the term.

Pretty-print the term with XTerm syntax highlighting.

Show the term as a string.

Show the term as a string with XTerm syntax highlighting.

Show the term as a short string (truncated to 60 chars, first line only).

Backwards-compatible accessor for the source position.

Returns a string representation of the object.

The default representation is platform dependent.

Forces the term.

Delays the term.

True if this term contains a constr or case node anywhere, i.e. it needs UPLC 1.1.0.

Returns a copy of this term with the given annotation.

Sets the annotation on this term and recursively on subterms, but only where the position is currently empty. Recursion stops at terms that already have a position.

Keys on the position alone, and keeps a functionName the term already carries: lowering stamps the enclosing function on terms that have no position of their own, and those still need a position. Keying on whole-annotation emptiness would treat them as already annotated and stop the recursion into their whole subtree.

Returns a copy of this term with the given source position.

Sets the source position on this term and recursively on subterms, but only where the position is currently empty. Recursion stops at terms that already have a position.

Position-ignoring structural inequality. Negation of ~=~.

Position-ignoring structural equality. Like α_== but works on named terms too and ignores annotation fields.