add debug

[mTask.git] / miTask.icl

diff --git a/miTask.icl b/miTask.icl
index a2ef345..2a80f5c 100644 (file)
--- a/miTask.icl
+++ b/miTask.icl
@@ -24,35 +24,53 @@ import iTasks._Framework.Serialization
 
 import TTY, iTasksTTY
 
-derive class iTask UserLED
+Start world = startEngine [
+               publish "/manage" $ const $ mTaskManager
+                       >>* [OnAction (Action "Shutdown") (always $ shutDown)],
+               publish "/" $ const demo
+       ] world
 
-Start :: *World -> *World
-Start world = startEngine (mTaskManager
-       >>* [OnAction (Action "Shutdown") (always $ shutDown)]) world
+demo = viewSharedInformation "Devices" [] deviceStoreNP
+       >>* [OnValue $ ifValue pred (cont o hd)]
+       where
+               pred [] = False
+               pred [x:_] = not $ isEmpty x.deviceShares
+
+               cont :: MTaskDevice -> Task ()
+               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 = anyTask 
-               [ viewmTasks @! ()
-               , whileUnchanged sdsStore viewShares
-               , whileUnchanged deviceStore $ manageDevices process
-               ] <<@ ApplyLayout layout
+mTaskManager = (>>|) startupDevices $ 
+               viewmTasks ||-
+               ((manageShares ||- whileUnchanged deviceStoreNP (manageDevices process))
+                       <<@ ArrangeSplit Vertical True)
+               <<@ ArrangeWithSideBar 0 LeftSide 260 True
        where
-               layout = sequenceLayouts
-                       [ arrangeWithSideBar 0 LeftSide 260 True
-                       , arrangeSplit Vertical True
-                       ]
-
                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)
                                                        >>= \bc->(enterChoice "Choose Device" [ChooseFromDropdown \t->t.deviceName] ds
-                                                               -&&- enterInformation "Timeout, 0 for one-shot" []
-                                                       ) >>* [OnAction (Action "Send") (withValue $ Just o sendToDevice mTaskTask bc)]
+                                                               -&&- enterInformation "Timeout" []
+                                                       ) >>* [OnAction (Action "Send") (withValue $ Just o sendTaskToDevice mTaskTask bc)]
+                                                       @! ()
                                )
 
                process :: MTaskDevice (Shared Channels) -> Task ()
@@ -62,17 +80,13 @@ mTaskManager = anyTask
                        where
                                proc :: [MTaskMSGRecv] -> Task ()
                                proc [] = treturn ()
-                               proc [m:ms] = (case m of
+                               proc [MTEmpty:ms] = proc ms
+                               proc [m:ms] = traceValue (toString m) >>| (case m of
 //                                     MTSDSAck i = traceValue (toString m) @! ()
 //                                     MTSDSDelAck i = traceValue (toString m) @! ()
-                                       MTPub i val = getSDSRecord i >>= set (toInt val.[0]*256 + toInt val.[1]) o getSDSStore @! ()
-                                       MTTaskAck i = deviceTaskAcked device i
+                                       MTPub i val = updateShareFromPublish device i val @! ()
+                                       MTTaskAck i mem = deviceTaskAcked device i mem @! ()
                                        MTTaskDelAck i = deviceTaskDeleteAcked device i @! ()
-                                       MTEmpty = treturn ()
-                                       _ = traceValue (toString m) @! ()
+                                       MTDevSpec s = deviceAddSpec device s @! ()
+                                       _ = treturn ()
                                        ) >>| proc ms
-
-               mapPar :: (a -> Task a) [a] -> Task ()
-               mapPar f l = foldr1 (\x y->f x ||- y) l <<@ ArrangeWithTabs @! ()
-               allAtOnce t = foldr1 (||-) t @! ()
-               //allAtOnce = (flip (@!) ()) o foldr1 (||-)