plutus-core-1.0.0.1: Language library for Plutus Core
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 #