plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Transform.NonStrict

Description

Compile non-strict bindings into strict bindings.

Synopsis

Documentation

compileNonStrictBindingsMonadQuote m ⇒ BoolTerm 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.

compileNonStrictBindingsPass ∷ (Typecheckable uni fun, GEq uni, MonadQuote m) ⇒ PirTCConfig uni fun → BoolPass m TyName Name uni fun a Source #

compileNonStrictBindingsPassSC ∷ (Typecheckable uni fun, GEq uni, MonadQuote m, Ord a) ⇒ PirTCConfig uni fun → BoolPass m TyName Name uni fun a Source #