definition module mTaskSerial

import mTask

class serial v where
  serialAvailable :: (v Bool Expr)
  serialPrint     :: (v t p) -> v Int Expr | stringQuotes t & isExpr p
  serialPrintln   :: (v t p) -> v Int Expr | stringQuotes t & isExpr p
  serialRead      :: (v t Expr)
  serialParseInt  :: (v Int Expr)

instance serial Code
instance serial Eval

class char2int v :: (v Char p) -> v Int Expr
instance char2int Code

:: SerialObject v t p =
  { available :: v Bool Expr
  , print     :: (v t p) -> v Int Expr
  , println   :: (v t p) -> v Int Expr
  , read      :: (v Char Expr)
  }