miTask.icl

   1 module miTask
   2
   3 import StdDebug, StdMisc
   4 from StdFunc import flip
   5
   6 import iTasks
   7 import mTask
   8 import Devices.mTaskDevice
   9 import Shares.mTaskShare
  10 import Tasks.Examples
  11 import Utils.SDS
  12
  13 from Text import class Text(startsWith,concat,split,join), instance Text String
  14
  15 import qualified Data.Map as DM
  16
  17 from Data.Func import $
  18 import Data.Tuple
  19 import Data.List
  20 import System.Directory
  21
  22 import iTasks._Framework.Store
  23 import iTasks._Framework.Serialization
  24
  25 import TTY, iTasksTTY
  26
  27 Start world = startEngine [
  28                 publish "/manage" $ const $ mTaskManager
  29                         >>* [OnAction (Action "Shutdown") (always $ shutDown)],
  30                 publish "/" $ const demo
  31         ] world
  32
  33 demo = viewSharedInformation "Devices" [] deviceStore
  34         >>* [OnValue $ ifValue pred (cont o hd)]
  35         where
  36                 pred [] = False
  37                 pred [x:_] = not $ isEmpty x.deviceShares
  38
  39                 cont :: MTaskDevice -> Task ()
  40                 cont dev = updateSharedInformation "Blinkyblink" [] (getRealShare dev (hd dev.deviceShares))
  41                         >>| cont dev
  42
  43
  44 mTaskManager :: Task ()
  45 mTaskManager = startupDevices >>| anyTask
  46                 [ viewmTasks @! ()
  47                 , manageShares @! ()
  48                 , whileUnchanged deviceStore $ manageDevices process
  49                 ] <<@ ApplyLayout (foldl1 sequenceLayouts
  50                         [arrangeWithSideBar 0 LeftSide 260 True
  51                         ,arrangeSplit Vertical True])
  52         where
  53                 viewmTasks :: Task String
  54                 viewmTasks = enterChoiceWithShared "Available mTasks" [ChooseFromList id] mTaskTaskStore
  55                         >&^ \sh->whileUnchanged sh $ \mi->forever (case mi of
  56                                 Nothing = viewInformation "No task selected" [] ()
  57                                 Just mTaskTask = get deviceStore
  58                                         >>= \devices->case devices of
  59                                                 [] = viewInformation "No devices yet" [] ()
  60                                                 ds = fromJust ('DM'.get mTaskTask allmTasks)
  61                                                         >>= \bc->(enterChoice "Choose Device" [ChooseFromDropdown \t->t.deviceName] ds
  62                                                                 -&&- enterInformation "Timeout" []
  63                                                         ) >>* [OnAction (Action "Send") (withValue $ Just o sendTaskToDevice mTaskTask bc)]
  64                                                         @! ()
  65                                 )
  66
  67                 process :: MTaskDevice (Shared Channels) -> Task ()
  68                 process device ch = forever (watch ch >>* [OnValue (
  69                                 ifValue (not o isEmpty o fst3)
  70                                 (\t->upd (appFst3 (const [])) ch >>| proc (fst3 t)))])
  71                         where
  72                                 proc :: [MTaskMSGRecv] -> Task ()
  73                                 proc [] = treturn ()
  74                                 proc [MTEmpty:ms] = proc ms
  75                                 proc [m:ms] = traceValue (toString m) >>| (case m of
  76 //                                      MTSDSAck i = traceValue (toString m) @! ()
  77 //                                      MTSDSDelAck i = traceValue (toString m) @! ()
  78                                         MTPub i val = updateShareFromPublish device i val @! ()
  79                                         MTTaskAck i mem = deviceTaskAcked device i mem
  80                                         MTTaskDelAck i = deviceTaskDeleteAcked device i @! ()
  81                                         MTDevSpec s = deviceAddSpec device s @! ()
  82                                         _ = treturn ()
  83                                         ) >>| proc ms