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 ledtOn :: UserLED -> Main (ByteCode () Stmt)
   9 ledtOff :: UserLED -> Main (ByteCode () Stmt)
  10
  11 allmTasks :: Map String (Task (Main (ByteCode () Stmt)))