| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Transform.EvaluateBuiltins
Description
This module mirrors EvaluateBuiltins, adapted for UPLC's
untyped Term and AppCtx. See that module for detailed commentary.
Documentation
Arguments
| ∷ (Monad m, ToBuiltinMeaning uni fun, Typeable name) | |
| ⇒ Bool | Whether to be conservative and try to retain logging behaviour. |
| → BuiltinsInfo uni fun | |
| → CostingPart uni fun | |
| → Term name uni fun a | |
| → OptimizerT name uni fun a m (Term name uni fun a) |