Add FuelMonad to the API figure
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 16:50:10 +0000 (12:50 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 16:50:10 +0000 (12:50 -0400)
paper/dfopt.tex

index 11b56e9..2079897 100644 (file)
@@ -1255,6 +1255,12 @@ type instance Fact C f = FactBase f
 ------- FactBase -------
 type `FactBase f = LabelMap f
  -- A finite mapping from Labels to facts f
+
+------- Optimization Fuel ----
+type Fuel = Int
+class Monad m => FuelMonad m where
+  getFuel :: m Fuel
+  setFuel :: Fuel -> m ()
 \end{code}
 \caption{\ourlib{} API data types}
   \figlabel{api-types}