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 pass: gives every position-less subterm the source position of its nearest positioned descendant, and returns that representative position for this subtree (its own if positioned, else the first positioned child, preferring the function/scrutinee side).

This is the main filler for lowered code: source positions sit on the leaves (the Var/ Const/Builtin a value references), while the Apply/Case/Constr spine that combines them is built position-less. A spine node here inherits the location of what it operates on — e.g. an application inherits the position of the function being applied — so its cost is attributed to that code rather than vanishing. Never overwrites an existing position.

Top-down pass: stamps every position-less subterm with the source position of its nearest enclosing positioned ancestor (inherited at the root). Positioned subterms keep their own position and become the inherited position for their descendants.

This completes fillEmptyPosBottomUp: per-value stamping during lowering can only place a position a lowered value actually knows, but many Apply/Let SIR nodes carry no position at all (the plugin doesn't stamp them), so the spines they build stay position-less. Here those nodes inherit the source location of the surrounding code — which is exactly what profiling and source traces should attribute their cost to.

Wrap the term in a Plutus V1 program.

Wrap the term in a Plutus V2 program.

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.

Returns a copy of this term with the given annotation.

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

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.