ghc-7.2.2: The GHC API

OptimizationFuel

Description

Optimisation fuel is used to control the amount of work the optimiser does.

Every optimisation step consumes a certain amount of fuel and stops when it runs out of fuel. This can be used e.g. to debug optimiser bugs: Run the optimiser with varying amount of fuel to find out the exact number of steps where a bug is introduced in the output.

Documentation

data OptimizationFuel Source

Instances

Show OptimizationFuel

amountOfFuel :: OptimizationFuel -> Int Source

tankFilledTo :: Int -> OptimizationFuel Source

unlimitedFuel :: OptimizationFuel Source

anyFuelLeft :: OptimizationFuel -> Bool Source

oneLessFuel :: OptimizationFuel -> OptimizationFuel Source

data OptFuelState Source

initOptFuelState :: IO OptFuelState Source

type FuelConsumer a = OptimizationFuel -> (a, OptimizationFuel)Source

class Monad m => FuelUsingMonad m whereSource

Methods

fuelGet :: m OptimizationFuel Source

fuelSet :: OptimizationFuel -> m ()Source

lastFuelPass :: m String Source

setFuelPass :: String -> m ()Source

Instances

FuelUsingMonad FuelUniqSM

data FuelState Source

fuelExhausted :: FuelUsingMonad m => m Bool Source

fuelDec1 :: FuelUsingMonad m => m ()Source

tryWithFuel :: FuelUsingMonad m => a -> m (Maybe a)Source

runFuelIO :: OptFuelState -> FuelUniqSM a -> IO aSource

runInfiniteFuelIO :: OptFuelState -> FuelUniqSM a -> IO aSource

fuelConsumingPass :: String -> FuelConsumer a -> FuelUniqSM aSource

data FuelUniqSM a Source

Instances

Monad FuelUniqSM
FuelMonad FuelUniqSM
CheckpointMonad FuelUniqSM
MonadUnique FuelUniqSM
FuelUsingMonad FuelUniqSM

liftUniq :: UniqSM x -> FuelUniqSM xSource