| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.StrictifyBindings
Description
Pass to convert the following non-strict bindings into strict bindings, which have less overhead:
- non-strict bindings whose RHSs are pure
- non-strict bindings that are strict in the body
Documentation
strictifyBindings :: (GEq uni, Applicative m) => PirTCConfig uni fun -> BuiltinsInfo uni fun -> Pass m TyName Name uni fun a #