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

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.