use share lenses

[mTask.git] / Utils / SDS.dcl

diff --git a/Utils/SDS.dcl b/Utils/SDS.dcl
index 17e2a9c..563b1fb 100644 (file)
--- a/Utils/SDS.dcl
+++ b/Utils/SDS.dcl
@@ -6,6 +6,7 @@ import iTasks
 
 memoryShare :: String a -> Shared a | iTask a
 
-deviceStore :: Shared [MTaskDevice]
+deviceStoreNP :: Shared [MTaskDevice]
+deviceStore :: RWShared (Maybe Int) [MTaskDevice] [MTaskDevice]
 bcStateStore :: Shared BCState
 mTaskTaskStore :: Shared [String]