X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=Devices%2FmTaskDevice.dcl;h=cae651920dab32ed8092869cf2263148a40279c4;hb=c518754bec4758cce7d899463f9c68612c3bf4e4;hp=6a09c55d61d7ad2228689c7a963de0a99d8389c3;hpb=526e9fec79086ef2a701420736cf89a6191cc13c;p=mTask.git diff --git a/Devices/mTaskDevice.dcl b/Devices/mTaskDevice.dcl index 6a09c55..cae6519 100644 --- a/Devices/mTaskDevice.dcl +++ b/Devices/mTaskDevice.dcl @@ -4,37 +4,46 @@ from Data.Maybe import :: Maybe import iTasks import Devices.mTaskSerial import Devices.mTaskTCP +import Utils.SDS import Tasks.mTaskTask import mTaskInterpret import Generics.gCons import iTasksTTY -derive class iTask MTaskDevice, MTaskResource, MTaskMSGRecv, MTaskMSGSend +derive class iTask MTaskDevice, MTaskResource, MTaskMSGRecv, MTaskMSGSend, BCShare derive conses MTaskResource, TCPSettings derive consName MTaskResource, TCPSettings -channels :: MTaskDevice -> Shared Channels - :: Channels :== ([MTaskMSGRecv], [MTaskMSGSend], Bool) :: MTaskResource = 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 } +instance == MTaskDevice + class MTaskDuplex a where synFun :: a (Shared Channels) -> Task () +startupDevices :: Task [MTaskDevice] +connectDevice :: (MTaskDevice (Shared Channels) -> Task ()) MTaskDevice -> Task () manageDevices :: (MTaskDevice (Shared Channels) -> Task ()) [MTaskDevice] -> Task () -sendToDevice :: (Map String (Main (ByteCode () Stmt))) String (MTaskDevice, Int) -> Task () +sendMessages :: [MTaskMSGSend] -> (MTaskDevice -> Task Channels) +getDevice :: String -> Task MTaskDevice + +withDevices :: MTaskDevice (MTaskDevice -> MTaskDevice) -> Task () deviceTaskDelete :: MTaskDevice MTaskTask -> Task () deviceTaskAcked :: MTaskDevice Int -> Task () deviceTaskDeleteAcked :: MTaskDevice Int -> Task () +deviceAddSpec :: MTaskDevice MTaskDeviceSpec -> Task ()