plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

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 #