|
|
|
|
|
Documentation |
|
data OptimizationFuel |
Instances | |
|
|
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 |
| Methods | | | Instances | |
|
|
data FuelState |
|
runFuelIO :: OptFuelState -> FuelMonad a -> IO a |
|
fuelConsumingPass :: String -> FuelConsumer a -> FuelMonad a |
|
data FuelMonad a |
Instances | |
|
|
liftUniq :: UniqSM x -> FuelMonad x |
|
lGraphOfGraph :: Graph m l -> FuelMonad (LGraph m l) |
|
Produced by Haddock version 2.4.2 |