plutus-core-1.60.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

evaluateBuiltins #

Arguments

:: forall tyname name uni fun a. (CostingPart uni fun 
-> Pass m TyName Name uni fun a