implementation module mTaskSimulation
+import Generics.gdynamic
+import Generics.gCons
+
import iTasks
-import gdynamic, gCons, GenEq, StdMisc, StdArray
+import GenEq, StdMisc, StdArray
import mTask
derive class iTask Display
instance sds Eval where
sds f = defEval f
con f = defEval f
+ pub _ = undef
defEval :: ((Eval t p)->In t (Main (Eval u q))) -> (Main (Eval u q)) | dyn t
defEval f =
// ----- Interactive Simulation ----- //
-derive class iTask DigitalPin, AnalogPin, Dyn, StateInterface, DisplayVar, Pin
+derive class iTask StateInterface, DisplayVar
simulate :: (Main (Eval a p)) -> Task ()
simulate {main=(E f)} = setup zero where
instance stringQuotes t where stringQuotes x = x
-derive toGenDynamic (), MTask, DigitalPin, AnalogPin, Pin, [], Long//, Servo
-derive fromGenDynamic (), MTask, DigitalPin, AnalogPin, Pin, [], Long//, Servo
+derive toGenDynamic (), MTask, DigitalPin, AnalogPin, Pin, [], Long, UserLED//, Servo
+derive fromGenDynamic (), MTask, DigitalPin, AnalogPin, Pin, [], Long, UserLED//, Servo
instance == () where (==) _ _ = True