imporove setp: >>*.
*/
-import GenPrint
-import Generics.gCons
-import Generics.gdynamic
-
//import iTasks
//
//import iTasks._Framework.Generic
import GenEq, StdMisc, StdArray
import mTaskCode, mTaskSimulation, mTaskInterpret
+//import mTaskCode, mTaskInterpret
import mTaskSerial, mTaskLCD
// =================== mTask ===================
unMain :: (Main x) -> x
class arith v where
- lit :: t -> v t Expr | toCode t & toByteCode t
+ lit :: t -> v t Expr | toCode t & mTaskType t
(+.) infixl 6 :: (v t p) (v t q) -> v t Expr | type, +, zero t & isExpr p & isExpr q //& toExpr2 p & toExpr2 q
(-.) infixl 6 :: (v t p) (v t q) -> v t Expr | type, -, zero t & isExpr p & isExpr q //& toExpr2 p & toExpr2 q
(*.) infixl 7 :: (v t p) (v t q) -> v t Expr | type, *, zero, one t & isExpr p & isExpr q //& toExpr2 p & toExpr2 q
// ----- tools ----- //
-derive gPrint Pin, Button, UserLED, AnalogPin, DigitalPin, PinMode
-derive class gCons Pin, Button, UserLED, AnalogPin, DigitalPin, PinMode
-
instance == DigitalPin
instance == AnalogPin
instance == UserLED