Documentation

uniqueToInt :: Unique -> IntSource

uniqueToLbl :: Unique -> LabelSource

lblToUnique :: Label -> UniqueSource

getFuel :: FuelMonad m => m FuelSource

setFuel :: FuelMonad m => Fuel -> m ()Source

bodyToBlockMap :: Body' block n -> LabelMap (block n C C)Source

bodyOfBlockMap :: LabelMap (block n C C) -> Body' block nSource