repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
make shares of devices
[mTask.git]
/
Devices
/
mTaskDevice.dcl
diff --git
a/Devices/mTaskDevice.dcl
b/Devices/mTaskDevice.dcl
index
17acd10
..
2af19ea
100644
(file)
--- a/
Devices/mTaskDevice.dcl
+++ b/
Devices/mTaskDevice.dcl
@@
-10,7
+10,7
@@
import mTaskInterpret
import Generics.gCons
import iTasksTTY
import Generics.gCons
import iTasksTTY
-derive class iTask MTaskDevice, MTask
DeviceSpec, MTask
Resource, MTaskMSGRecv, MTaskMSGSend, BCShare
+derive class iTask MTaskDevice, MTaskResource, MTaskMSGRecv, MTaskMSGSend, BCShare
derive conses MTaskResource, TCPSettings
derive consName MTaskResource, TCPSettings
derive conses MTaskResource, TCPSettings
derive consName MTaskResource, TCPSettings
@@
-28,6
+28,7
@@
derive consName MTaskResource, TCPSettings
, deviceTasks :: [MTaskTask]
, deviceData :: MTaskResource
, deviceSpec :: Maybe MTaskDeviceSpec
, deviceTasks :: [MTaskTask]
, deviceData :: MTaskResource
, deviceSpec :: Maybe MTaskDeviceSpec
+ , deviceShares :: [MTaskShare]
}
instance == MTaskDevice
}
instance == MTaskDevice
@@
-35,13
+36,16
@@
instance == MTaskDevice
class MTaskDuplex a where
synFun :: a (Shared Channels) -> Task ()
class MTaskDuplex a where
synFun :: a (Shared Channels) -> Task ()
+withDevice :: (MTaskDevice -> Task a) String -> Task a | iTask a
+
startupDevices :: Task [MTaskDevice]
connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task ()
manageDevices :: (MTaskDevice (Shared Channels) -> Task ()) [MTaskDevice] -> Task ()
startupDevices :: Task [MTaskDevice]
connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task ()
manageDevices :: (MTaskDevice (Shared Channels) -> Task ()) [MTaskDevice] -> Task ()
-sendToDevice :: String (Main (ByteCode () Stmt)) (MTaskDevice, MTaskInterval) -> Task ()
sendMessages :: [MTaskMSGSend] -> (MTaskDevice -> Task Channels)
sendMessages :: [MTaskMSGSend] -> (MTaskDevice -> Task Channels)
+withDevices :: MTaskDevice (MTaskDevice -> MTaskDevice) -> Task ()
+
deviceTaskDelete :: MTaskDevice MTaskTask -> Task ()
deviceTaskDelete :: MTaskDevice MTaskTask -> Task ()
-deviceTaskAcked :: MTaskDevice Int -> Task ()
+deviceTaskAcked :: MTaskDevice Int
Int
-> Task ()
deviceTaskDeleteAcked :: MTaskDevice Int -> Task ()
deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task ()
deviceTaskDeleteAcked :: MTaskDevice Int -> Task ()
deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task ()