Devices/mTaskDevice.dcl

   1 definition module Devices.mTaskDevice
   2
   3 from Data.Maybe import :: Maybe
   4 import iTasks
   5 import Devices.mTaskSerial
   6 import Devices.mTaskTCP
   7 import Utils.SDS
   8 import Tasks.mTaskTask
   9 import mTaskInterpret
  10 import Generics.gCons
  11 import iTasksTTY
  12
  13 derive class iTask MTaskDevice, MTaskResource, MTaskMSGRecv, MTaskMSGSend, BCShare
  14 derive conses MTaskResource, TCPSettings
  15 derive consName MTaskResource, TCPSettings
  16
  17 :: Channels :== ([MTaskMSGRecv], [MTaskMSGSend], Bool)
  18
  19 :: MTaskResource
  20         = TCPDevice TCPSettings
  21         | SerialDevice TTYSettings
  22
  23 :: MTaskDevice =
  24                 { deviceTask :: Maybe TaskId
  25                 , deviceError :: Maybe String
  26                 , deviceChannels :: String
  27                 , deviceName :: String
  28                 , deviceTasks :: [MTaskTask]
  29                 , deviceData :: MTaskResource
  30                 , deviceSpec :: Maybe MTaskDeviceSpec
  31         }
  32
  33 instance == MTaskDevice
  34
  35 class MTaskDuplex a where
  36         synFun :: a (Shared Channels) -> Task ()
  37
  38 withDevice :: (MTaskDevice -> Task a) String -> Task a | iTask a
  39
  40 startupDevices :: Task [MTaskDevice]
  41 connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task ()
  42 manageDevices :: (MTaskDevice (Shared Channels) -> Task ()) [MTaskDevice] -> Task ()
  43 sendMessages :: [MTaskMSGSend] -> (MTaskDevice -> Task Channels)
  44
  45 withDevices :: MTaskDevice (MTaskDevice -> MTaskDevice) -> Task ()
  46
  47 deviceTaskDelete :: MTaskDevice MTaskTask -> Task ()
  48 deviceTaskAcked :: MTaskDevice Int Int -> Task ()
  49 deviceTaskDeleteAcked :: MTaskDevice Int -> Task ()
  50 deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task ()