Shares/mTaskShare.dcl

   1 definition module Shares.mTaskShare
   2
   3 import iTasks
   4
   5 :: MTaskShare = {
   6                 initValue :: Int,
   7                 withTask :: String,
   8                 identifier :: Int,
   9                 realShare :: String
  10         }
  11
  12 instance zero MTaskShare
  13
  14 manageShares :: [MTaskShare] -> Task ()