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                 , deviceState :: BCState
  29                 , deviceTasks :: [MTaskTask]
  30                 , deviceData :: MTaskResource
  31                 , deviceSpec :: Maybe MTaskDeviceSpec
  32                 , deviceShares :: [MTaskShare]
  33         }
  34
  35 instance == MTaskDevice
  36
  37 class MTaskDuplex a where
  38         synFun :: a (Shared Channels) -> Task ()
  39
  40 startupDevices :: Task [MTaskDevice]
  41 connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task Channels
  42 manageDevices :: (MTaskDevice (Shared Channels) -> Task ()) -> Task ()
  43
  44 sendMessages :: [MTaskMSGSend] MTaskDevice -> Task Channels
  45 sendMessagesIW :: [MTaskMSGSend] MTaskDevice *IWorld -> *(MaybeError TaskException (), *IWorld)
  46
  47
  48 deviceTaskDelete :: MTaskDevice MTaskTask -> Task ()
  49 deviceTaskAcked :: MTaskDevice Int Int -> Task MTaskDevice
  50 deviceTaskDeleteAcked :: MTaskDevice Int -> Task MTaskDevice
  51 deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task MTaskDevice
  52
  53 deviceShare :: MTaskDevice -> Shared MTaskDevice