License | BSD-3-Clause |
---|---|
Maintainer | Jamie Willis |
Stability | experimental |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Exposes the analysis passes defined within the analysis submodules. See the extended documentation in the submodules.
Since: 1.5.0.0
Documentation
coinsNeeded :: Fix4 (Instr o) xs n r a -> Coins Source #
Calculate the number of tokens that will be consumed by a given machine.
Since: 1.5.0.0
shouldInline :: (?flags :: Flags) => Fix4 (Instr o) xs n r a -> Bool Source #
Provides a conservative estimate on whether or not each of the elements of the stack on entry to a machine are actually used in the computation.
Since: 1.7.0.0