definition module Shares.mTaskShare import iTasks import iTasks._Framework.Serialization import mTask import Devices.mTaskDevice derive class iTask MTaskShare :: MTaskShare = {withTask :: [String] ,identifier :: Int ,value :: BCValue } 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 [MTaskDevice] //updateShare :: Int BCValue -> Task [MTaskShare] getRealShare :: MTaskDevice MTaskShare -> Shared BCValue //getRealShare :: MTaskDevice BCShare -> Shared BCValue //updateShare :: Int BCValue -> Task ()