X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.dcl;h=ac9405c0544dc3c916dece2b63203c7e373a3961;hb=a2b8b2a0de173f92092bf6cbbed23551e674ca3c;hp=d71ba44af0e056a0c1cb0b4e88188cb02f3dbc77;hpb=db7588d3c42ad9e1b5af5a6f3d08c82a8b0ccf0d;p=mTask.git diff --git a/mTask.dcl b/mTask.dcl index d71ba44..ac9405c 100644 --- a/mTask.dcl +++ b/mTask.dcl @@ -14,12 +14,15 @@ todo: imporove setp: >>*. */ -//import iTasks +import Generics.gCons +import Generics.gdynamic + +import iTasks + import iTasks._Framework.Generic from iTasks._Framework.Task import :: Task import StdClass -from iTasks.API.Core.Types import :: Display -import gdynamic, gCons, GenEq, StdMisc, StdArray +import GenEq, StdMisc, StdArray import mTaskCode, mTaskSimulation, mTaskInterpret import mTaskSerial, mTaskLCD @@ -32,6 +35,7 @@ import mTaskSerial, mTaskLCD :: DigitalPin = D0 | D1 | D2 | D3 | D4 | D5 |D6 | D7 | D8 | D9 | D10 | D11 | D12 | D13 :: AnalogPin = A0 | A1 | A2 | A3 | A4 | A5 +:: UserLED = LED1 | LED2 | LED3 :: PinMode = INPUT | OUTPUT | INPUT_PULLUP :: Pin = Digital DigitalPin | Analog AnalogPin @@ -88,6 +92,7 @@ class var2 v where class sds v where sds :: ((v t Upd)->In t (Main (v c s))) -> (Main (v c s)) | type, toByteCode, toCode t con :: ((v t Expr) ->In t (Main (v c s))) -> (Main (v c s)) | type t + pub :: (v t Upd) -> v t Expr | type t class seq v where (>>=.) infixr 0 :: (v t p) ((v t Expr) -> (v u q)) -> (v u Stmt) | type t & type u (:.) infixr 0 :: (v t p) (v u q) -> v u Stmt | type t & type u @@ -126,6 +131,10 @@ class time v where delay :: (v Long p) -> (v Long Expr) millis :: (v Long Expr) +class userLed v where + ledOn :: UserLED -> (v () Stmt) + ledOff :: UserLED -> (v () Stmt) + class pio p t where pio :: p -> v t Upd | aIO v & dIO v instance pio AnalogPin Int instance pio AnalogPin Bool