Tasks/Examples.dcl

   1 definition module Tasks.Examples
   2
   3 from Data.Map import :: Map
   4 import mTask
   5
   6 faculty :: Int -> Main (ByteCode () Stmt)
   7 countTo5 :: Main (ByteCode () Stmt)
   8 countAndLed :: Main (ByteCode () Stmt)
   9 blink :: UserLED -> Main (ByteCode () Stmt)
  10 count :: Main (ByteCode () Stmt)
  11 blinkShare :: Main (ByteCode () Stmt)
  12 ledtOn :: UserLED -> Main (ByteCode () Stmt)
  13 ledtOff :: UserLED -> Main (ByteCode () Stmt)
  14 readDPin :: DigitalPin -> Main (ByteCode () Stmt)
  15
  16 allmTasks :: Map String (Task (Main (ByteCode () Stmt)))