| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.LetMerge
Description
A trivial simplification that merges adjacent non-recursive let terms.
Synopsis
- letMerge :: Term tyname name uni fun a -> Term tyname name uni fun a
- letMergePass :: (GEq uni, Applicative m) => PirTCConfig uni fun -> Pass m TyName Name uni fun a #