supposedly working parametric lenses, needs testing

[mTask.git] / Utils / SDS.dcl

diff --git a/Utils/SDS.dcl b/Utils/SDS.dcl
index 6836af1..17e2a9c 100644 (file)
--- a/Utils/SDS.dcl
+++ b/Utils/SDS.dcl
@@ -4,14 +4,8 @@ import Shares.mTaskShare
 import Devices.mTaskDevice
 import iTasks
 
-derive class iTask MTaskShare
-
 memoryShare :: String a -> Shared a | iTask a
 
 deviceStore :: Shared [MTaskDevice]
-sdsStore :: Shared [MTaskShare]
 bcStateStore :: Shared BCState
 mTaskTaskStore :: Shared [String]
-
-getSDSStore :: MTaskShare -> Shared a | iTask, mTaskType a
-getSDSRecord :: Int -> Task MTaskShare