definition module Tasks.Examples from Data.Map import :: Map import mTask countAndLed :: Main (ByteCode () Stmt) blink :: UserLED -> Main (ByteCode () Stmt) blinkShare :: Main (ByteCode () Stmt) ledtOn :: UserLED -> Main (ByteCode () Stmt) ledtOff :: UserLED -> Main (ByteCode () Stmt) allmTasks :: Map String (Task (Main (ByteCode () Stmt)))