| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.ThunkRecursions
Description
Implements a PIR-to-PIR transformation that makes all recursive term definitions compilable to PLC. See Note [Thunking recursions] for details.
Documentation
thunkRecursions :: Term tyname name uni fun a -> Term tyname name uni fun a Source #