1 definition module Devices.mTaskDevice
3 from Data.Maybe import :: Maybe
5 import Devices.mTaskSerial
6 import Devices.mTaskTCP
13 derive class iTask MTaskDevice, MTaskResource, MTaskMSGRecv, MTaskMSGSend, BCShare
14 derive conses MTaskResource, TCPSettings
15 derive consName MTaskResource, TCPSettings
17 :: Channels :== ([MTaskMSGRecv], [MTaskMSGSend], Bool)
20 = TCPDevice TCPSettings
21 | SerialDevice TTYSettings
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]
35 instance == MTaskDevice
37 class MTaskDuplex a where
38 synFun :: a (Shared Channels) -> Task ()
40 startupDevices :: Task [MTaskDevice]
41 connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task Channels
42 manageDevices :: (MTaskDevice (Shared Channels) -> Task ()) -> Task ()
44 sendMessages :: [MTaskMSGSend] MTaskDevice -> Task Channels
45 sendMessagesIW :: [MTaskMSGSend] MTaskDevice *IWorld -> *(MaybeError TaskException (), *IWorld)
48 deviceTaskDelete :: MTaskDevice MTaskTask -> Task ()
49 deviceTaskAcked :: MTaskDevice Int Int -> Task MTaskDevice
50 deviceTaskDeleteAcked :: MTaskDevice Int -> Task MTaskDevice
51 deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task MTaskDevice
53 deviceShare :: MTaskDevice -> Shared MTaskDevice