final_review/edsl.listing

   1 :: Upd   = Upd
   2 :: Expr  = Expr
   3 :: Stmt  = Stmt
   4 :: MTask = MTask Int // String
   5
   6 class arith v where
   7   lit :: t -> v t Expr | ...
   8   (+.) infixl 6 :: (v t p) (v t q) -> v t Expr | ...
   9   ...
  10 class boolExpr v where
  11   (&.) infixr 3 :: (v Bool p) (v Bool q) -> v Bool Expr | ...
  12   ...
  13   (==.) infix 4 :: (v a p) (v a q) -> v Bool Expr | ...
  14   ...