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 Utils.SDS
  11
  12 from Text import class Text(startsWith,concat,split,join), instance Text String
  13
  14 import qualified Data.Map as DM
  15
  16 from Data.Func import $
  17 import Data.Tuple
  18 import Data.List
  19 import System.Directory
  20
  21 import iTasks._Framework.Store
  22
  23 import TTY, iTasksTTY
  24
  25 derive class iTask UserLED
  26
  27 Start :: *World -> *World
  28 Start world = startEngine (mTaskManager
  29         >>* [OnAction (Action "Shutdown") (always $ shutDown)]) world
  30
  31 mTaskMap :: Map String (Main (ByteCode () Stmt))
  32 mTaskMap = 'DM'.fromList [("count", bc), ("ledon", bc2 LED1), ("ledoff", bc3 LED3)]
  33
  34 bc :: Main (ByteCode () Stmt)
  35 bc = sds \x=1 In sds \pinnetje=1 In {main =
  36                 IF (digitalRead D3) (
  37                         x =. x +. lit 1 :.
  38                         pub x
  39                 ) (
  40                         noOp
  41                 ) :.
  42                 IF (pinnetje ==. lit 1) (
  43                         ledOn LED1
  44                 ) (
  45                         IF (pinnetje ==. lit 2) (
  46                                 ledOn LED2
  47                         ) (
  48                                 ledOn LED3
  49                         )
  50                 )}
  51
  52 bc2 :: UserLED -> Main (ByteCode () Stmt)
  53 bc2 d = {main = ledOn d}
  54
  55 bc3 :: UserLED -> Main (ByteCode () Stmt)
  56 bc3 d = {main = ledOff d}
  57
  58 :: MTaskDeviceStatus = {connected :: Bool, name :: String, tasks :: [String]}
  59 derive class iTask MTaskDeviceStatus, BCState
  60
  61 mTaskManager :: Task ()
  62 mTaskManager = anyTask
  63                 [ viewmTasks @! ()
  64                 , whileUnchanged sdsStore viewShares
  65                 , whileUnchanged deviceStore viewDevices
  66                 ] <<@ ApplyLayout layout
  67         where
  68                 layout = sequenceLayouts
  69                         [ arrangeWithSideBar 0 LeftSide 260 True
  70                         , arrangeSplit Vertical True
  71                         ]
  72
  73                 viewmTasks = listmTasks
  74                         >&^ \sh->whileUnchanged sh $ \mi->forever (case mi of
  75                                 Nothing = viewInformation "No task selected" [] ()
  76                                 Just mTaskTask = get deviceStore
  77                                         >>= \devices->case devices of
  78                                                 [] = viewInformation "No devices yet" [] ()
  79                                                 ds = sendmTask mTaskTask ds @! ())
  80                         where
  81                                 listmTasks :: Task String
  82                                 listmTasks = enterChoiceWithShared "Available mTasks" [ChooseFromList id] mTaskTaskStore
  83
  84                                 sendmTask mTaskId ds =
  85                                                 (enterChoice "Choose Device" [ChooseFromDropdown \t->t.deviceName] ds
  86                                                 -&&- enterInformation "Timeout, 0 for one-shot" [])
  87                                         >>* [OnAction (Action "Send") (withValue $ Just o sendToDevice mTaskId)]
  88
  89                                 sendToDevice :: String (MTaskDevice, Int) -> Task ()
  90                                 sendToDevice mTask (device, timeout) =
  91                                                 get bcStateStore @ createBytecode
  92                                         >>= \(msgs, st1)->set st1 bcStateStore @ toSDSRecords
  93                                         >>= \sdss->upd ((++)sdss) sdsStore//MTaskShareaddToSDSShare
  94                                         >>| makeShares sdss
  95                                         >>| upd (\(r,s,ss)->(r,s++msgs,ss)) (channels device)
  96                                         @! ()
  97                                         where
  98                                                 createBytecode st = toMessages timeout $ toRealByteCode (unMain $ fromJust ('DM'.get mTask mTaskMap)) st
  99                                                 sharename i = device.deviceChannels +++ "-" +++ toString i
 100                                                 toSDSRecords st = [{MTaskShare |
 101                                                         initValue=toInt d1*265 + toInt d2,
 102                                                         withTask=mTask,
 103                                                         identifier=i,
 104                                                         realShare="mTaskSDS-" +++ toString i}
 105                                                                 \\(i,[d1,d2])<-st.sdss]
 106                                                 makeShares = foldr (\sh t->set sh.initValue (getSDSStore sh) >>| t) (treturn ())
 107
 108                 getSDSStore :: MTaskShare -> Shared Int
 109                 getSDSStore sh = memoryShare sh.realShare 0
 110
 111                 getSDSRecord :: Int -> Task MTaskShare
 112                 getSDSRecord i = get sdsStore @ \l->hd [s\\s<-l | s.identifier == i]
 113
 114                 viewShares :: [MTaskShare] -> Task ()
 115                 viewShares st = anyTask $ map viewer st
 116                         where
 117                                 viewer :: MTaskShare -> Task ()
 118                                 viewer m = viewSharedInformation "" [] (getSDSStore m)
 119                                         <<@ Title ("SDS: " +++ toString m.identifier) @! ()
 120 //                              enterChoiceWithShared "Shares" [ChooseFromList id] sdsStore
 121 //                      >>* [OnValue $ withValue $ Just o updateShare]
 122 //                      >>* [OnAction (Action "Back") (const $ Just $ treturn ())]
 123 //                      where
 124 //                              sdsvw (k, v) = concat ["SDS ", toString k, ": ", toString v]
 125 //                              updateShare s = viewInformation "" [] ()
 126 //                              updateShare (k, v) = (viewInformation "Key" [] k
 127 //                                      ||- updateInformation "Value" [] v)
 128
 129
 130 //              addDevice :: (Shared [MTaskDevice]) -> Task SerTCP
 131 //              addDevice devices = enterInformation "Device type" []
 132 //                      >&^ \sh->whileUnchanged sh $ \mty->case mty of
 133 //                              Nothing = viewInformation "No type selected yet" [] "" @! ()
 134 //                              Just ty = case ty of
 135 //                                      TCPDevice = (enterInformation "Name" [] -&&- enterInformation "Hostname" [] -&&- enterInformation "Port" [])
 136 //                                              >>= \(name, (host, port))->cont name (syncNetworkChannel host port)
 137 //                                      SerialDevice = (enterInformation "Name" [] -&&- enterTTYSettings)
 138 //                                              >>= \(name, set)->cont name (syncSerialChannel set encode decode)
 139 //                      where
 140 //                              cont :: String ((Shared Channels) -> Task ()) -> Task ()
 141 //                              cont name synfun = get randomInt
 142 //                                      @ (\randint->{deviceChannels=name +++ toString randint, deviceName=name, deviceTasks=[], deviceTask=Nothing})
 143 //                                      >>= \dev->appendTopLevelTask 'DM'.newMap True (let ch = channels dev in process ch -||- synfun ch)
 144 //                                      >>= \tid->upd (\l->[{dev & deviceTask=Just tid}:l]) devices
 145 //                                      @! ()
 146
 147                 process :: (Shared Channels) -> Task ()
 148                 process ch = forever (watch ch >>* [OnValue (
 149                                 ifValue (not o isEmpty o fst3)
 150                                 (\t->upd (appFst3 (const [])) ch >>| process (fst3 t)))])
 151                         where
 152                                 process :: [MTaskMSGRecv] -> Task ()
 153                                 process [] = treturn ()
 154                                 process [m:ms] = (case m of
 155                                         MTTaskAck i = traceValue (toString m) @! ()
 156                                         MTTaskDelAck i = traceValue (toString m) @! ()
 157                                         MTSDSAck i = traceValue (toString m) @! ()
 158                                         MTSDSDelAck i = traceValue (toString m) @! ()
 159                                         MTPub i val = getSDSRecord i >>= set (toInt val.[0]*256 + toInt val.[1]) o getSDSStore @! ()
 160                                         MTMessage val = traceValue (toString m) @! ()
 161                                         MTEmpty = treturn ()
 162                                         ) >>| process ms
 163
 164                 deviceviewer :: [MTaskDevice] -> [MTaskDeviceStatus]
 165                 deviceviewer ds = [{MTaskDeviceStatus | name = d.deviceName,
 166                         connected = if (isNothing d.deviceTask) False True,
 167                         tasks = [s +++ toString i\\(s, i)<-d.deviceTasks]}\\d<-ds]
 168
 169                 mapPar :: (a -> Task a) [a] -> Task ()
 170                 mapPar f l = foldr1 (\x y->f x ||- y) l <<@ ArrangeWithTabs @! ()
 171                 allAtOnce t = foldr1 (||-) t @! ()
 172                 //allAtOnce = (flip (@!) ()) o foldr1 (||-)
 173
 174 sendMsg :: [MTaskMSGSend] (Shared ([MTaskMSGRecv],[MTaskMSGSend],Bool)) -> Task ()
 175 sendMsg m ch = upd (\(r,s,ss)->(r,s ++ m,True)) ch @! ()
 176
 177 syncNetworkChannel :: String Int (Shared ([MTaskMSGRecv], [MTaskMSGSend], Bool)) -> Task ()
 178 syncNetworkChannel server port channel = catchAll
 179                 (tcpconnect server port channel {ConnectionHandlers|onConnect=onConnect,whileConnected=whileConnected,onDisconnect=onDisconnect} @! ())
 180                 (\v->traceValue v @! ())
 181         where
 182                 onConnect :: String ([MTaskMSGRecv],[MTaskMSGSend],Bool) -> (MaybeErrorString String, Maybe ([MTaskMSGRecv],[MTaskMSGSend],Bool), [String], Bool)
 183                 onConnect _ (msgs,send,sendStopped)
 184                         = (Ok "", Just (msgs,[],sendStopped), map encode send, False)
 185
 186                 whileConnected :: (Maybe String) String ([MTaskMSGRecv], [MTaskMSGSend],Bool) -> (MaybeErrorString String, Maybe ([MTaskMSGRecv],[MTaskMSGSend],Bool), [String], Bool)
 187
 188                 //whileConnected Nothing acc (msgs,send,sendStopped)
 189                 //= (Ok acc, Just (msgs,[],sendStopped), map encode send, False)
 190                 whileConnected mnewData acc (msgs,send,sendStopped)
 191                 = (Ok acc, Just (msgs ++ map decode (maybeToList mnewData),[],sendStopped), map encode send, False)
 192                 //| sendStopped = (Ok acc, Just (msgs ++ [decode newData],[],False), map encode send, False)
 193 //              = (Ok acc, Just (msgs ++ [decode newData],[],False), [], False)
 194
 195                 onDisconnect :: String ([MTaskMSGRecv],[MTaskMSGSend],Bool) -> (MaybeErrorString String, Maybe ([MTaskMSGRecv],[MTaskMSGSend],Bool))
 196                 onDisconnect l (msgs,send,sendStopped) = (Ok l, Nothing)