repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
6 and finale
[phd-thesis.git]
/
top
/
lst
/
example.icl
diff --git
a/top/lst/example.icl
b/top/lst/example.icl
index
8e90646
..
4bdf9ef
100644
(file)
--- a/
top/lst/example.icl
+++ b/
top/lst/example.icl
@@
-38,14
+38,14
@@
tasks =
{main=temperature dht}
) dev
>&> \t->viewSharedInformation
{main=temperature dht}
) dev
>&> \t->viewSharedInformation
- [ViewAs \i->toString (fromMaybe 0.0 i) +++ "C"] t
+
[ViewAs \i->toString (fromMaybe 0.0 i) +++ "C"] t
<<@ Hint "Current Temperature" @! ())
, ("lightswitch", \dev-> /*\label{lst:example:ls1}*/
withShared False \sh->
<<@ Hint "Current Temperature" @! ())
, ("lightswitch", \dev-> /*\label{lst:example:ls1}*/
withShared False \sh->
- liftmTask (lightswitch sh) dev
+
liftmTask (lightswitch sh) dev
-|| updateSharedInformation [] sh <<@ Hint "Switch")/*\label{lst:example:ls2}*/
, ("factorial", \dev->
-|| updateSharedInformation [] sh <<@ Hint "Switch")/*\label{lst:example:ls2}*/
, ("factorial", \dev->
- updateInformation [] 5 <<@ Hint "Factorial of what?"
+
updateInformation [] 5 <<@ Hint "Factorial of what?"
>>? \i->liftmTask (factorial i) dev
>>- \r->viewInformation [] r <<@ Hint "Result" @! ())
]
>>? \i->liftmTask (factorial i) dev
>>- \r->viewInformation [] r <<@ Hint "Result" @! ())
]