Shares/mTaskShare.dcl

   1 definition module Shares.mTaskShare
   2
   3 import iTasks
   4 import iTasks._Framework.Serialization
   5 import mTask
   6 import Devices.mTaskDevice
   7
   8 derive class iTask MTaskShareType, MTaskShare
   9
  10 :: MTaskShareType = MTaskWithShare String | MTaskLens String
  11 :: MTaskShare =
  12                 {withTask :: [String]
  13                 ,withDevice :: [String]
  14                 ,identifier :: Int
  15                 ,realShare :: MTaskShareType
  16                 ,value :: BCValue
  17                 }
  18
  19 manageShares :: [MTaskShare] -> Task ()
  20
  21 makeShare :: String String Int BCValue -> Task MTaskShare
  22
  23 updateShare :: Int BCValue -> Task ()