repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add memory reset when resetting, add debug for share writes and add live share changi...
[mTask.git]
/
Utils
/
SDS.icl
diff --git
a/Utils/SDS.icl
b/Utils/SDS.icl
index
d67ba6e
..
920c7a6
100644
(file)
--- a/
Utils/SDS.icl
+++ b/
Utils/SDS.icl
@@
-8,8
+8,6
@@
import Tasks.Examples
import qualified Data.Map as DM
from Data.Func import $
import qualified Data.Map as DM
from Data.Func import $
-derive class iTask MTaskShare
-
memoryShare :: String a -> Shared a | iTask a
memoryShare s d = sdsFocus s $ memoryStore "" $ Just d
memoryShare :: String a -> Shared a | iTask a
memoryShare s d = sdsFocus s $ memoryStore "" $ Just d
@@
-25,8
+23,5
@@
bcStateStore = memoryShare "mTaskBCState" zero
mTaskTaskStore :: Shared [String]
mTaskTaskStore = memoryShare "mTaskTasks" $ 'DM'.keys allmTasks
mTaskTaskStore :: Shared [String]
mTaskTaskStore = memoryShare "mTaskTasks" $ 'DM'.keys allmTasks
-getSDSStore :: MTaskShare -> Shared a | iTask, mTaskType a
-getSDSStore sh = memoryShare sh.realShare zero
-
getSDSRecord :: Int -> Task MTaskShare
getSDSRecord i = get sdsStore @ \l->hd [s\\s<-l | s.identifier == i]
getSDSRecord :: Int -> Task MTaskShare
getSDSRecord i = get sdsStore @ \l->hd [s\\s<-l | s.identifier == i]