mTaskSerial.dcl

   1 definition module mTaskSerial
   2
   3 import mTask
   4
   5 class serial v where
   6   serialAvailable :: (v Bool Expr)
   7   serialPrint     :: (v t p) -> v Int Expr | stringQuotes t & isExpr p
   8   serialPrintln   :: (v t p) -> v Int Expr | stringQuotes t & isExpr p
   9   serialRead      :: (v t Expr)
  10   serialParseInt  :: (v Int Expr)
  11
  12 instance serial Code
  13 instance serial Eval
  14
  15 class char2int v :: (v Char p) -> v Int Expr
  16 instance char2int Code
  17
  18 :: SerialObject v t p =
  19   { available :: v Bool Expr
  20   , print     :: (v t p) -> v Int Expr
  21   , println   :: (v t p) -> v Int Expr
  22   , read      :: (v Char Expr)
  23   }