| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Transform.ForceDelay
Synopsis
- forceDelay ∷ (uni ~ DefaultUni, fun ~ DefaultFun, Monad m) ⇒ BuiltinSemanticsVariant fun → Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a)
Documentation
forceDelay ∷ (uni ~ DefaultUni, fun ~ DefaultFun, Monad m) ⇒ BuiltinSemanticsVariant fun → Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a) Source #
Traverses the term, for each node applying the optimisation
detailed above. For implementation details see optimisationProcedure.