module test

import Data.Tuple
import iTasks
import iTasks.Internal.SDS
import iTasks.Internal.Task

Start w = startEngine t w

t = (watch (sdsFocus True s) >&> \sh->viewSharedInformation "s" [] sh @! "")/*     updateSharedInformation "True" [] (sdsFocus True s)*/
	-||- forever (
		    ((mkInstantTask \tid iw->appFst Ok (listAllSDSRegistrations iw)) @ formatSDSRegistrationsList)
		>>* [OnAction (Action "Refresh") (withValue (Just o viewInformation "regs" []))])
	/*
	-||- viewSharedInformation "True" [] (sdsFocus True s)
	-||- updateSharedInformation "False" [] (sdsFocus False s)
	-||- viewSharedInformation "False" [] (sdsFocus False s)*/

s = fnot (sharedStore "someShare" 42)

fnot :: ((SDS () r w) -> (SDS Bool r w)) | TC r & TC w
fnot = sdsLens "caremuch" (\_->())
	(SDSRead   \p  rs     ->Ok rs)
	(SDSWrite  \p  rs w   ->Ok (Just w))
	(SDSNotify \p1 rs w p2->p1)