plutus-core-1.0.0.1: Language library for Plutus Core
Safe Haskell None
Language Haskell2010

PlutusIR.Transform.NonStrict

Description

Compile non-strict bindings into strict bindings.

Synopsis

Documentation

compileNonStrictBindings :: MonadQuote m => Bool -> Term TyName Name uni fun a -> m ( Term TyName Name uni fun a) Source #

Compile all the non-strict bindings in a term into strict bindings. Note: requires globally unique names.