final_review/control.listing

   1 :: Main a = {main :: a}
   2 :: UserLED = LED1 | LED2 | LED3
   3
   4 class seq v where
   5   (:.) infixr 0 :: (v t p) (v u q) -> v u Stmt | ...
   6 class assign v where
   7   (=.) infixr 2 :: (v t Upd) (v t p) -> v t Expr | type t & isExpr p
   8 class noOp v where noOp :: v t p
   9 class IF v where
  10   IF :: (v Bool p) (v t q) (v s r) -> v () Stmt | isExpr p
  11   (?) infix 1 :: (v Bool p) (v t q) -> v () Stmt | isExpr p
  12 class userLed v where
  13   ledOn :: UserLED -> (v () Stmt)
  14   ledOff :: UserLED -> (v () Stmt)