X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=Tasks%2FExamples.icl;h=4ca051dc16591587190d2ec3936111a51dd8125b;hb=HEAD;hp=103862c36eb20d6b31874bd10382d9529b3e4210;hpb=feacd1b50fca9624284f8b8c22c26d7a8071515d;p=mTask.git diff --git a/Tasks/Examples.icl b/Tasks/Examples.icl index 103862c..4ca051d 100644 --- a/Tasks/Examples.icl +++ b/Tasks/Examples.icl @@ -6,6 +6,20 @@ import mTask import Devices.mTaskDevice import iTasks._Framework.Serialization +pinShare :: Main (ByteCode () Stmt) +pinShare = sds \p=True In {main = + d0 =. p :. noOp + } + +faculty :: Int -> Main (ByteCode () Stmt) +faculty i = sds \y=i In sds \x=1 In {main = + IF (y <=. lit 1) ( + pub x :. retrn + ) ( + x =. x *. y :. + y =. y -. lit 1 + )} + count :: Main (ByteCode () Stmt) count = sds \x=0 In {main = x =. x +. lit 1 :. pub x :. noOp} @@ -50,7 +64,7 @@ ledtOff :: UserLED -> Main (ByteCode () Stmt) ledtOff d = {main = ledOff (lit d) :. noOp} readDPin :: DigitalPin -> Main (ByteCode () Stmt) -readDPin d = sds \pin=False In {main=pin =. digitalRead d :. noOp} +readDPin d = sds \pin=False In {main=pin =. digitalRead d :. pub pin :. noOp} ledSelection :: Task UserLED ledSelection = enterInformation "Select LED" [] @@ -67,4 +81,6 @@ allmTasks = 'DM'.fromList ,("blink", ledSelection @ blink) ,("blinkShare", treturn blinkShare) ,("count", treturn count) + ,("faculty", enterInformation "Faculty" [] @ faculty) + ,("pinShare", treturn pinShare) ]