X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=Shares%2FmTaskShare.dcl;h=57855c13bb93ee1a36f925cd88b919d3ba9544eb;hb=848595d1288804d6de43625f9e6f1cf76295c285;hp=6b39448a33571156f6df1fd3779301a8b49c0b8b;hpb=28f4e19f893889e6d19d8c0653a643ae1580fd6d;p=mTask.git diff --git a/Shares/mTaskShare.dcl b/Shares/mTaskShare.dcl index 6b39448..57855c1 100644 --- a/Shares/mTaskShare.dcl +++ b/Shares/mTaskShare.dcl @@ -1,14 +1,38 @@ definition module Shares.mTaskShare import iTasks +import iTasks._Framework.Serialization +import mTask +import Devices.mTaskDevice -:: MTaskShare = { - withTask :: String, - identifier :: Int, - initVal :: String, - realShare :: String - } +derive class iTask MTaskShare -instance zero MTaskShare +:: MTaskShare = + {withTask :: [String] + ,identifier :: Int + ,value :: BCValue + } -manageShares :: [MTaskShare] -> Task () +instance == MTaskShare + +//Constructor +makeShare :: String Int BCValue -> MTaskShare + +//General viewing task +manageShares :: Task [MTaskDevice] +//manageShares :: [MTaskShare] -> Task MTaskShare + +updateShares :: MTaskDevice ([MTaskShare] -> [MTaskShare]) -> Task [MTaskShare] + +//Clean out shares when a task has been removed +cleanSharesTask :: Int MTaskDevice -> Task [MTaskShare] +//cleanSharesTask :: Int MTaskDevice -> Task [MTaskShare] +//Clean out shares when a device has been removed + +updateShareFromPublish :: MTaskDevice Int BCValue -> Task BCValue +//updateShare :: Int BCValue -> Task [MTaskShare] + +getRealShare :: MTaskDevice MTaskShare -> Shared BCValue +//getRealShare :: MTaskDevice BCShare -> Shared BCValue + +//updateShare :: Int BCValue -> Task ()