repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
existential types continued
[mTask.git]
/
Shares
/
mTaskShare.icl
diff --git
a/Shares/mTaskShare.icl
b/Shares/mTaskShare.icl
index
1e9294c
..
0999cc2
100644
(file)
--- a/
Shares/mTaskShare.icl
+++ b/
Shares/mTaskShare.icl
@@
-1,36
+1,57
@@
implementation module Shares.mTaskShare
implementation module Shares.mTaskShare
+import dynamic_string
import Utils.SDS
import Utils.Devices
import iTasks
import mTask
from Data.Func import $
import Utils.SDS
import Utils.Devices
import iTasks
import mTask
from Data.Func import $
+derive class iTask MTaskShareType
+
+derive gEditor MTaskShare
+derive gText MTaskShare
+derive JSONEncode MTaskShare
+derive JSONDecode MTaskShare
+derive gDefault MTaskShare
+gEq{|MTaskShare|} m1 m2 = m1.identifier == m2.identifier
+
manageShares :: [MTaskShare] -> Task ()
manageShares :: [MTaskShare] -> Task ()
-manageShares shares = forever (enterChoice "Choose share to update" [ChooseFromGrid id] shares
+manageShares shares =
+ forever (enterChoice "Choose share to update" [ChooseFromGrid id] shares
>&^ \st->whileUnchanged st $ \msh->case msh of
>&^ \st->whileUnchanged st $ \msh->case msh of
- Nothing = viewShares shares
@! zero
+ Nothing = viewShares shares
Just sh = forever (
Just sh = forever (
- viewSharedInformation "View value" [] (getSDSS
tore sh)
-
>>* [OnAction (Action "Update") (withValue (Just o updateInformation "New value" []))]
-
>>= updateShare sh
+ viewSharedInformation "View value" [] (getSDSS
hare sh) >>| treturn sh
+
//
>>* [OnAction (Action "Update") (withValue (Just o updateInformation "New value" []))]
+
//
>>= updateShare sh
)
) @! ()
)
) @! ()
-
updateShare :: MTaskShare a -> Task MTaskShare | toByteCode
a
-updateShare sh=:{withTask,identifier} a = getDeviceByName withTask
-
>>= sendMessages [MTUpd identifier $ toString $ toByteCode a]
-
>>| treturn sh
+
//updateShare :: MTaskShare a -> Task MTaskShare | toByteCode, iTask
a
+
//
updateShare sh=:{withTask,identifier} a = getDeviceByName withTask
+
//
>>= sendMessages [MTUpd identifier $ toString $ toByteCode a]
+
//
>>| treturn sh
-viewShares :: [MTaskShare] -> Task ()
-viewShares sh = anyTask (map viewShare sh) <<@ ArrangeHorizontal @! ()
+viewShares :: [MTaskShare] -> Task MTaskShare
+viewShares sh = anyTask (map viewShare sh) <<@ ArrangeHorizontal
+ >>| return (hd sh)
-viewShare :: MTaskShare -> Task
()
-viewShare m = viewSharedInformation "" [] (getSDSS
to
re m)
- <<@ Title ("SDS: " +++ toString m.identifier)
@! ()
+viewShare :: MTaskShare -> Task
BCValue
+viewShare m = viewSharedInformation "" [] (getSDSS
ha
re m)
+ <<@ Title ("SDS: " +++ toString m.identifier)
-instance zero MTaskShare where
- zero = {initValue=0,withTask="",identifier=0,realShare=""}
+getSDSShare :: MTaskShare -> Shared BCValue
+getSDSShare s=:{realShare=(MTaskWithShare id)}
+ = memoryShare id s.MTaskShare.value
+makeShare :: String Int BCValue -> Task MTaskShare
+makeShare withTask identifier value = treturn
+ {MTaskShare
+ |withTask=withTask
+ ,identifier=identifier
+ ,value=value
+ ,realShare=MTaskWithShare $ "mTaskSDS-" +++ toString identifier
+ } >>= \sh->set value (getSDSShare sh) >>| treturn sh