X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskSimulation.icl;h=3f88aeeb72dddd1faefcea60a2cef68cb048abdc;hb=848595d1288804d6de43625f9e6f1cf76295c285;hp=7c187f7f13f03bc1e30a5f0e1a176876dca5caf4;hpb=3c4bbb3cae00cb810107b39b99b8118e9e458a34;p=mTask.git diff --git a/mTaskSimulation.icl b/mTaskSimulation.icl index 7c187f7..3f88aee 100644 --- a/mTaskSimulation.icl +++ b/mTaskSimulation.icl @@ -1,7 +1,10 @@ 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 @@ -74,7 +77,6 @@ defEval2 v f = 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 = @@ -152,7 +154,7 @@ instance writePinD AnalogPin where // ----- 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 @@ -252,8 +254,8 @@ instance stringQuotes String where stringQuotes x = c "\"" +.+ x +.+ c "\"" 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