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                 , deviceShares :: [MTaskShare]
  32         }
  33
  34 instance == MTaskDevice
  35
  36 class MTaskDuplex a where
  37         synFun :: a (Shared Channels) -> Task ()
  38
  39 withDevice :: (MTaskDevice -> Task a) String -> Task a | iTask a
  40
  41 startupDevices :: Task [MTaskDevice]
  42 connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task ()
  43 manageDevices :: (MTaskDevice (Shared Channels) -> Task ()) [MTaskDevice] -> Task ()
  44 sendMessages :: [MTaskMSGSend] -> (MTaskDevice -> Task Channels)
  45
  46 withDevices :: MTaskDevice (MTaskDevice -> MTaskDevice) -> Task ()
  47
  48 deviceTaskDelete :: MTaskDevice MTaskTask -> Task ()
  49 deviceTaskAcked :: MTaskDevice Int Int -> Task ()
  50 deviceTaskDeleteAcked :: MTaskDevice Int -> Task ()
  51 deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task ()