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