| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.NonStrict
Description
Compile non-strict bindings into strict bindings.
Synopsis
- compileNonStrictBindings :: MonadQuote m => Bool -> Term TyName Name uni fun a -> m (Term TyName Name uni fun a) #
Compile all the non-strict bindings in a term into strict bindings. Note: requires globally unique names.
compileNonStrictBindingsPass :: (MonadQuote m, Ord a) => PirTCConfig uni fun -> Bool -> Pass m TyName Name uni fun a #