top/lst/example.icl

   1 module example
   2
   3 import StdEnv
   4 import Data.Func
   5 import iTasks
   6 import mTask.Interpret
   7 import mTask.Interpret.Device.TCP
   8 import mTask.Interpret.Device.Serial
   9
  10 Start w = doTasks autoHome w
  11
  12 arduino = {TTYSettings | zero & devicePath="/dev/ttyACM0"}/*\label{lst:example:spec1}*/
  13 nodeMCU = {TCPSettings | host="192.168.0.1", port=8123, pingTimeout= ?None}/*\label{lst:example:spec2}*/
  14
  15 autoHome :: Task ()/*\label{lst:example:task1}*/
  16 autoHome = withDevice arduino \dev1-> /*\label{lst:example:conn1}*/
  17                withDevice nodeMCU \dev2-> /*\label{lst:example:conn2}*/
  18         parallel [(Embedded, chooseTask dev1 dev2)] [] <<@ ArrangeWithTabs True/*\label{lst:example:par1}*/
  19         >>* [OnAction (Action "Shutdown") (always (shutDown 0))]/*\label{lst:example:task2}\label{lst:example:par2}*/
  20
  21 chooseTask :: MTDevice MTDevice (SharedTaskList ()) -> Task ()/*\label{lst:example:ct1}*/
  22 chooseTask dev1 dev2 stl = tune (Title "Run a task") $
  23         enterChoice [] (zip2 [0..] (map fst tasks)) <<@ Hint "Choose a task"
  24         >>? \(i, n)->enterChoice [] ["arduino", "node"]/*\label{lst:example:selectdev}*/
  25                         <<@ Hint "Which device?"
  26         >>? \device->appendTask Embedded (mkTask n i device) stl
  27         >-| chooseTask dev1 dev2 stl
  28 where
  29         mkTask n i device stl
  30                 # dev = if (device == "node") dev2 dev1
  31                 = ((snd (tasks !! i) $ dev)
  32                         >>* [OnAction ActionClose $ always $ return ()]) <<@ Title n/*\label{lst:example:ct2}*/
  33
  34 tasks :: [(String, MTDevice -> Task ())]/*\label{lst:example:tasks1}*/
  35 tasks =
  36         [ ("temp", \dev->
  37                 liftmTask (
  38                                 DHT (DHT_DHT (DigitalPin D6) DHT22) \dht->
  39                                 {main=temperature dht}
  40                         ) dev
  41                 >&> \t->viewSharedInformation
  42                         [ViewAs \i->toString (fromMaybe 0.0 i) +++ "C"] t
  43                         <<@ Hint "Current Temperature" @! ())
  44         , ("lightswitch", \dev-> /*\label{lst:example:ls1}*/
  45                 withShared False \sh->
  46                         liftmTask (
  47                                         declarePin D13 PMOutput \d13->
  48                                         liftsds \ls=sh
  49                                         In fun \f=(\st->
  50                                                      getSds ls
  51                                                 >>*. [IfValue ((!=.)st) (\v->writeD d13 v)]
  52                                                 >>|. f (Not st))
  53                                         In {main=f true}
  54                                 ) dev
  55                         -|| updateSharedInformation [] sh <<@ Hint "Switch")/*\label{lst:example:ls2}*/
  56         , ("factorial", \dev->
  57                 updateInformation [] 5 <<@ Hint "Factorial of what?"
  58                 >>? \i->liftmTask (factorial i) dev
  59                 >>- \r->viewInformation [] r <<@ Hint "Result" @! ())
  60         ]
  61
  62 factorial i = {main=rtrn (lit i)}
  63 blink d = {main=writeD (lit d) (lit True)}
  64 lightswitch sh = {main=rtrn (lit ())}