| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Transform.PolyBuiltin
Description
Hoist fully-forced polymorphic builtins.
Before: ...force (force fstPair)...
After: (fstPairForced -> ...fstPairForced...) (force (force fstPair))
Documentation
polyBuiltin ∷ ∀ m uni fun a. (MonadQuote m, Hashable fun, ToBuiltinMeaning uni fun) ⇒ BuiltinSemanticsVariant fun → Term Name uni fun a → OptimizerT Name uni fun a m (Term Name uni fun a) Source #