Tasks/Examples.dcl

   1 definition module Tasks.Examples
   2
   3 from Data.Map import :: Map
   4 import mTask
   5
   6 countAndLed :: Main (ByteCode () Stmt)
   7 blink :: UserLED -> Main (ByteCode () Stmt)
   8 blinkShare :: Main (ByteCode () Stmt)
   9 ledtOn :: UserLED -> Main (ByteCode () Stmt)
  10 ledtOff :: UserLED -> Main (ByteCode () Stmt)
  11
  12 allmTasks :: Map String (Task (Main (ByteCode () Stmt)))