Error
Members list
Value members
Inherited methods
Applies the argument to the term.
Applies the argument to the term.
Attributes
- Inherited from:
- Term
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
Attributes
- Inherited from:
- Term
Attributes
- Inherited from:
- Term
Evaluate the term using the given VM.
Evaluate the term using the given VM.
Attributes
- Throws
-
RuntimeException
on evaluation error
- Note
-
This method just runs the CEK machine on the term. It does not follow Plutus specification like CIP-117
- Inherited from:
- Term
Evaluate the term using the given VM.
Evaluate the term using the given VM.
Attributes
- Returns
-
scalus.uplc.eval.Result with the evaluation result and the spent budget
- Note
-
This method just runs the CEK machine on the term. It does not follow Plutus specification like CIP-117
- Inherited from:
- Term
Wrap the term in a Plutus V1 program.
Wrap the term in a Plutus V1 program.
Attributes
- Inherited from:
- Term
Wrap the term in a Plutus V2 program.
Wrap the term in a Plutus V2 program.
Attributes
- Inherited from:
- Term
Wrap the term in a Plutus V3 program.
Wrap the term in a Plutus V3 program.
Attributes
- Inherited from:
- Term
Pretty-print the term.
Pretty-print the term.
Attributes
- Inherited from:
- Term
Pretty-print the term with XTerm syntax highlighting.
Pretty-print the term with XTerm syntax highlighting.
Attributes
- Inherited from:
- Term
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Show the term as a string.
Show the term as a string.
Attributes
- Inherited from:
- Term
Show the term as a string with XTerm syntax highlighting.
Show the term as a string with XTerm syntax highlighting.
Attributes
- Inherited from:
- Term
Show the term as a short string (truncated to 60 chars, first line only).
Show the term as a short string (truncated to 60 chars, first line only).
Attributes
- Inherited from:
- Term
Backwards-compatible accessor for the source position.
Backwards-compatible accessor for the source position.
Attributes
- Inherited from:
- Term
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
Returns a copy of this term with the given annotation.
Returns a copy of this term with the given annotation.
Attributes
- Inherited from:
- Term
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.
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.
Attributes
- Inherited from:
- Term
Returns a copy of this term with the given source position.
Returns a copy of this term with the given source position.
Attributes
- Inherited from:
- Term
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.
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.
Attributes
- Inherited from:
- Term
Position-ignoring structural inequality. Negation of ~=~.
Position-ignoring structural inequality. Negation of ~=~.
Attributes
- Inherited from:
- Term