OptimizationFuel
data OptimizationFuel
amountOfFuel
tankFilledTo
unlimitedFuel
anyFuelLeft
oneLessFuel
data OptFuelState
initOptFuelState
type FuelConsumer a
class FuelUsingMonad m
data FuelState
fuelExhausted
fuelDec1
tryWithFuel
runFuelIO
runInfiniteFuelIO
fuelConsumingPass
data FuelUniqSM a
liftUniq