5 import iTasks.Internal.SDS
6 import iTasks.Internal.Task
8 Start w = startEngine t w
10 t = (watch (sdsFocus True s) >&> \sh->viewSharedInformation "s" [] sh @! "")/* updateSharedInformation "True" [] (sdsFocus True s)*/
12 ((mkInstantTask \tid iw->appFst Ok (listAllSDSRegistrations iw)) @ formatSDSRegistrationsList)
13 >>* [OnAction (Action "Refresh") (withValue (Just o viewInformation "regs" []))])
15 -||- viewSharedInformation "True" [] (sdsFocus True s)
16 -||- updateSharedInformation "False" [] (sdsFocus False s)
17 -||- viewSharedInformation "False" [] (sdsFocus False s)*/
19 s = fnot (sharedStore "someShare" 42)
21 fnot :: ((SDS () r w) -> (SDS Bool r w)) | TC r & TC w
22 fnot = sdsLens "caremuch" (\_->())
23 (SDSRead \p rs ->Ok rs)
24 (SDSWrite \p rs w ->Ok (Just w))
25 (SDSNotify \p1 rs w p2->p1)