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 count :: Main (ByteCode () Stmt)
   9 blinkShare :: Main (ByteCode () Stmt)
  10 ledtOn :: UserLED -> Main (ByteCode () Stmt)
  11 ledtOff :: UserLED -> Main (ByteCode () Stmt)
  12 readDPin :: DigitalPin -> Main (ByteCode () Stmt)
  13
  14 allmTasks :: Map String (Task (Main (ByteCode () Stmt)))