ledtOff :: UserLED -> Main (ByteCode () Stmt)
ledtOff d = {main = ledOff (lit d) :. noOp}
+readDPin :: DigitalPin -> Main (ByteCode () Stmt)
+readDPin d = sds \pin=False In {main=pin =. digitalRead d :. noOp}
+
ledSelection :: Task UserLED
ledSelection = enterInformation "Select LED" []
+pinSelection :: Task DigitalPin
+pinSelection = enterInformation "Select digital pin" []
+
allmTasks :: Map String (Task (Main (ByteCode () Stmt)))
allmTasks = 'DM'.fromList
[("countAndLed", treturn countAndLed)
,("ledOn", ledSelection @ ledtOn)
,("ledOff", ledSelection @ ledtOff)
+ ,("readDPin", pinSelection @ readDPin)
,("blink", ledSelection @ blink)
,("blinkShare", treturn blinkShare)
]