hoopl-3.7.2.2: A library to support dataflow analysis and optimization

Compiler.Hoopl.Fuel

Documentation

type Fuel = IntSource

data FuelMonad a Source

Instances

withFuel :: Maybe a -> FuelMonad (Maybe a)Source

getFuel :: FuelMonad FuelSource

setFuel :: Fuel -> FuelMonad ()Source

freshLabel :: FuelMonad LabelSource

runWithFuel :: Fuel -> FuelMonad a -> aSource