X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=Devices%2FmTaskDevice.dcl;h=b1c7accc0968b45fb1326b02f5ad77b36f9274dd;hb=7d9088b54956fe56c36ca8d01ec386b48f0a1c47;hp=1662cbbb70f4347e18aae1e3f7daddb5e5ea8984;hpb=1d6cedaf81bbbe0ae869f20c9003bf018fb027ff;p=mTask.git diff --git a/Devices/mTaskDevice.dcl b/Devices/mTaskDevice.dcl index 1662cbb..b1c7acc 100644 --- a/Devices/mTaskDevice.dcl +++ b/Devices/mTaskDevice.dcl @@ -4,6 +4,7 @@ from Data.Maybe import :: Maybe import iTasks import Devices.mTaskSerial import Devices.mTaskTCP +import Utils.SDS import Tasks.mTaskTask import mTaskInterpret import Generics.gCons @@ -19,12 +20,15 @@ derive consName MTaskResource, TCPSettings = TCPDevice TCPSettings | SerialDevice TTYSettings -:: MTaskDevice = { - deviceTask :: Maybe TaskId - ,deviceChannels :: String - ,deviceName :: String - ,deviceTasks :: [MTaskTask] - ,deviceData :: MTaskResource +:: MTaskDevice = + { deviceTask :: Maybe TaskId + , deviceError :: Maybe String + , deviceChannels :: String + , deviceName :: String + , deviceTasks :: [MTaskTask] + , deviceData :: MTaskResource + , deviceSpec :: Maybe MTaskDeviceSpec + , deviceShares :: [MTaskShare] } instance == MTaskDevice @@ -32,10 +36,18 @@ instance == MTaskDevice 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 () -sendToDevice :: String (Main (ByteCode () Stmt)) (MTaskDevice, MTaskInterval) -> Task () -sendMessages :: [MTaskMSGSend] -> (MTaskDevice -> Task Channels) + +sendMessages :: [MTaskMSGSend] MTaskDevice -> Task Channels +sendMessagesIW :: [MTaskMSGSend] MTaskDevice *IWorld -> *(MaybeError TaskException (), *IWorld) + +withDevices :: MTaskDevice (MTaskDevice -> MTaskDevice) -> Task () deviceTaskDelete :: MTaskDevice MTaskTask -> Task () -deviceTaskAcked :: MTaskDevice Int -> Task () +deviceTaskAcked :: MTaskDevice Int Int -> Task () deviceTaskDeleteAcked :: MTaskDevice Int -> Task () +deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task ()