X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=miTask.icl;h=2a80f5cc8492b51a36f716add3ab037b69f4bf7f;hb=71726cdfddd9dfa11395f10ef3b5af28613fd5a0;hp=cafbffa0628e9fb05adf7d5c2e44eef37dba00fd;hpb=7d9088b54956fe56c36ca8d01ec386b48f0a1c47;p=mTask.git diff --git a/miTask.icl b/miTask.icl index cafbffa..2a80f5c 100644 --- a/miTask.icl +++ b/miTask.icl @@ -30,31 +30,40 @@ Start world = startEngine [ publish "/" $ const demo ] world -demo = viewSharedInformation "Devices" [] deviceStore +demo = viewSharedInformation "Devices" [] deviceStoreNP >>* [OnValue $ ifValue pred (cont o hd)] where pred [] = False pred [x:_] = not $ isEmpty x.deviceShares cont :: MTaskDevice -> Task () - cont dev = updateSharedInformation "Blinkyblink" [] (getRealShare dev (hd dev.deviceShares)) - >>| cont dev - + cont dev + # rs = getRealShare dev (hd dev.deviceShares) + = get rs >>= \oldvalue-> + forever (updateSharedInformation "Blinkyblink" [] (getRealShare dev (hd dev.deviceShares)) + >>* [OnAction ActionContinue (const $ Just $ treturn ())]) + -|| (wait "bigger than 10" (\x->x == oldvalue) rs + >>= viewInformation "Bigger:)" []) + + toInt :: BCValue -> Int + toInt (BCValue e) = dynToInt (dynamic e) + + dynToInt :: Dynamic -> Int + dynToInt (a :: Int) = a + dynToInt x = abort "Not an int" mTaskManager :: Task () -mTaskManager = startupDevices >>| anyTask - [ viewmTasks @! () - , manageShares @! () - , whileUnchanged deviceStore $ manageDevices process - ] <<@ ApplyLayout (foldl1 sequenceLayouts - [arrangeWithSideBar 0 LeftSide 260 True - ,arrangeSplit Vertical True]) +mTaskManager = (>>|) startupDevices $ + viewmTasks ||- + ((manageShares ||- whileUnchanged deviceStoreNP (manageDevices process)) + <<@ ArrangeSplit Vertical True) + <<@ ArrangeWithSideBar 0 LeftSide 260 True where viewmTasks :: Task String viewmTasks = enterChoiceWithShared "Available mTasks" [ChooseFromList id] mTaskTaskStore >&^ \sh->whileUnchanged sh $ \mi->forever (case mi of Nothing = viewInformation "No task selected" [] () - Just mTaskTask = get deviceStore + Just mTaskTask = get deviceStoreNP >>= \devices->case devices of [] = viewInformation "No devices yet" [] () ds = fromJust ('DM'.get mTaskTask allmTasks) @@ -76,7 +85,7 @@ mTaskManager = startupDevices >>| anyTask // MTSDSAck i = traceValue (toString m) @! () // MTSDSDelAck i = traceValue (toString m) @! () MTPub i val = updateShareFromPublish device i val @! () - MTTaskAck i mem = deviceTaskAcked device i mem + MTTaskAck i mem = deviceTaskAcked device i mem @! () MTTaskDelAck i = deviceTaskDeleteAcked device i @! () MTDevSpec s = deviceAddSpec device s @! () _ = treturn ()