| |||||||||||||||
| |||||||||||||||
Documentation | |||||||||||||||
data OptimizationFuel | |||||||||||||||
| |||||||||||||||
canRewriteWithFuel :: OptimizationFuel -> Bool | |||||||||||||||
maybeRewriteWithFuel :: OptimizationFuel -> Maybe a -> Maybe a | |||||||||||||||
oneLessFuel :: OptimizationFuel -> OptimizationFuel | |||||||||||||||
data OptFuelState | |||||||||||||||
initOptFuelState :: IO OptFuelState | |||||||||||||||
tankFilledTo :: Int -> OptimizationFuel | |||||||||||||||
diffFuel :: OptimizationFuel -> OptimizationFuel -> Int | |||||||||||||||
type FuelConsumer a = OptimizationFuel -> (a, OptimizationFuel) | |||||||||||||||
class Monad m => FuelUsingMonad m where | |||||||||||||||
| |||||||||||||||
data FuelState | |||||||||||||||
runFuelIO :: OptFuelState -> FuelMonad a -> IO a | |||||||||||||||
fuelConsumingPass :: String -> FuelConsumer a -> FuelMonad a | |||||||||||||||
data FuelMonad a | |||||||||||||||
| |||||||||||||||
liftUniq :: UniqSM x -> FuelMonad x | |||||||||||||||
lGraphOfGraph :: Graph m l -> FuelMonad (LGraph m l) | |||||||||||||||
Produced by Haddock version 2.4.2 |