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