Utils/SDS.dcl

   1 definition module Utils.SDS
   2
   3 import Shares.mTaskShare
   4 import Devices.mTaskDevice
   5 import iTasks
   6
   7 memoryShare :: String a -> Shared a | iTask a
   8
   9 deviceStoreNP :: Shared [MTaskDevice]
  10 deviceStore :: RWShared (Maybe (MTaskDevice, Int)) [MTaskDevice] [MTaskDevice]
  11 mTaskTaskStore :: Shared [String]