| |||||||||||||||
| |||||||||||||||
| 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 | |||||||||||||||
| lastFuelPass :: FuelUsingMonad m => m String | |||||||||||||||
| fuelExhausted :: FuelUsingMonad m => m Bool | |||||||||||||||
| fuelRemaining :: FuelUsingMonad m => m OptimizationFuel | |||||||||||||||
| fuelDecrement :: FuelUsingMonad m => String -> OptimizationFuel -> OptimizationFuel -> m () | |||||||||||||||
| fuelDec1 :: FuelUsingMonad m => m () | |||||||||||||||
| 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.3.0 |