Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A pass that tries to evaluate builtin applications in the program.
This functions as a generic constant-folding pass, but which handles arbitrary builtins.
Documentation
∷ ∀ tyname name uni fun a. (ToBuiltinMeaning uni fun, Typeable tyname, Typeable name) | |
⇒ Bool | Whether to be conservative and try to retain logging behaviour. |
→ BuiltinsInfo uni fun | |
→ CostingPart uni fun | |
→ Term tyname name uni fun a | |
→ Term tyname name uni fun a |
∷ (Typecheckable uni fun, GEq uni, Applicative m) | |
⇒ PirTCConfig uni fun | |
→ Bool | Whether to be conservative and try to retain logging behaviour. |
→ BuiltinsInfo uni fun | |
→ CostingPart uni fun | |
→ Pass m TyName Name uni fun a |