<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>OptimizationFuel</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_OptimizationFuel.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">OptimizationFuel</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Optimisation fuel is used to control the amount of work the optimiser does.
</p><p>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.
</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:OptimizationFuel" class="def">OptimizationFuel</a> </p><div class="subs instances"><p id="control.i:OptimizationFuel" class="caption collapser" onclick="toggleSection('i:OptimizationFuel')">Instances</p><div id="section.i:OptimizationFuel" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:amountOfFuel" class="def">amountOfFuel</a> :: <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:tankFilledTo" class="def">tankFilledTo</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a></p></div><div class="top"><p class="src"><a name="v:unlimitedFuel" class="def">unlimitedFuel</a> :: <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a></p></div><div class="top"><p class="src"><a name="v:anyFuelLeft" class="def">anyFuelLeft</a> :: <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:oneLessFuel" class="def">oneLessFuel</a> :: <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a> -> <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:OptFuelState" class="def">OptFuelState</a> </p></div><div class="top"><p class="src"><a name="v:initOptFuelState" class="def">initOptFuelState</a> :: <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> <a href="OptimizationFuel.html#t:OptFuelState">OptFuelState</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:FuelConsumer" class="def">FuelConsumer</a> a = <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a> -> (a, <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a>)</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a name="t:FuelUsingMonad" class="def">FuelUsingMonad</a> m <span class="keyword">where</span></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:fuelGet" class="def">fuelGet</a> :: m <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a></p><p class="src"><a name="v:fuelSet" class="def">fuelSet</a> :: <a href="OptimizationFuel.html#t:OptimizationFuel">OptimizationFuel</a> -> m ()</p><p class="src"><a name="v:lastFuelPass" class="def">lastFuelPass</a> :: m <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></p><p class="src"><a name="v:setFuelPass" class="def">setFuelPass</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m ()</p></div><div class="subs instances"><p id="control.i:FuelUsingMonad" class="caption collapser" onclick="toggleSection('i:FuelUsingMonad')">Instances</p><div id="section.i:FuelUsingMonad" class="show"><table><tr><td class="src"><a href="OptimizationFuel.html#t:FuelUsingMonad">FuelUsingMonad</a> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FuelState" class="def">FuelState</a> </p></div><div class="top"><p class="src"><a name="v:fuelExhausted" class="def">fuelExhausted</a> :: <a href="OptimizationFuel.html#t:FuelUsingMonad">FuelUsingMonad</a> m => m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:fuelDec1" class="def">fuelDec1</a> :: <a href="OptimizationFuel.html#t:FuelUsingMonad">FuelUsingMonad</a> m => m ()</p></div><div class="top"><p class="src"><a name="v:tryWithFuel" class="def">tryWithFuel</a> :: <a href="OptimizationFuel.html#t:FuelUsingMonad">FuelUsingMonad</a> m => a -> m (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</p></div><div class="top"><p class="src"><a name="v:runFuelIO" class="def">runFuelIO</a> :: <a href="OptimizationFuel.html#t:OptFuelState">OptFuelState</a> -> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a> a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</p></div><div class="top"><p class="src"><a name="v:runInfiniteFuelIO" class="def">runInfiniteFuelIO</a> :: <a href="OptimizationFuel.html#t:OptFuelState">OptFuelState</a> -> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a> a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</p></div><div class="top"><p class="src"><a name="v:fuelConsumingPass" class="def">fuelConsumingPass</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="OptimizationFuel.html#t:FuelConsumer">FuelConsumer</a> a -> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FuelUniqSM" class="def">FuelUniqSM</a> a </p><div class="subs instances"><p id="control.i:FuelUniqSM" class="caption collapser" onclick="toggleSection('i:FuelUniqSM')">Instances</p><div id="section.i:FuelUniqSM" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:FuelMonad">FuelMonad</a> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:CheckpointMonad">CheckpointMonad</a> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="UniqSupply.html#t:MonadUnique">MonadUnique</a> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="OptimizationFuel.html#t:FuelUsingMonad">FuelUsingMonad</a> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:liftUniq" class="def">liftUniq</a> :: <a href="UniqSupply.html#t:UniqSM">UniqSM</a> x -> <a href="OptimizationFuel.html#t:FuelUniqSM">FuelUniqSM</a> x</p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2964
