Apply
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
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