From a95fdc018be35e537f6acdaef15863395c15170b Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 3 Jul 2017 16:55:27 +0200 Subject: [PATCH] fix example --- arch.example.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch.example.tex b/arch.example.tex index 0a05087..c905ead 100644 --- a/arch.example.tex +++ b/arch.example.tex @@ -39,7 +39,7 @@ thermos = makeDevice "nodeM" nodeMCU >>= connectDevice >>= \stm-> sendTaskToDevice "sensing" sensing (nod, OnInterval 1000) >>= \(st, [t])->sendTaskToDevice "acting" acting (stm, OnInterval 1000) (\(BCValue s)->set (BCValue $ dynInt (dynamic s) > 0) (shareShare nod a)) - >>| treturn () + >>* [OnAction (Action "Shutdown") $ always $ deleteDevice nod >>| deleteDevice stm >>| shutDown 0] where dynInt :: Dynamic -> Int dynInt (a :: Int) = a -- 2.20.1