Parsley.Internal.Backend.Analysis

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

Calculate the number of tokens that will be consumed by a given machine.

Since: 1.5.0.0

shouldInline :: Fix4 (Instr o) xs n r a -> Bool

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

relevancy :: SingNat (Length xs) => Fix4 (Instr o) xs n r a -> Vec (Length xs) Bool

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.5.0.0

reclaimable :: Fix4 (Instr o) xs n r a -> Coins

Calculate the number of tokens can be reclaimed by a lookAhead

Since: 1.7.2.0