| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.EvaluateBuiltins
Description
A pass that tries to evaluate builtin applications in the program.
This functions as a generic constant-folding pass, but which handles arbitrary builtins.
Documentation
Arguments
| :: forall tyname name uni fun a. (CostingPart uni fun | |
| -> Pass m TyName Name uni fun a |