X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=2701fcf3a85309c742c058af95f64872dd8e27e0;hb=acd239b3f29e215ade0b63d5b26b6cf8e8ae0d63;hp=0cf8ef37e136bafbddb52436e4460b5ac1235cb3;hpb=3698f150b0c5e5ebed23b0885ced2711ef16d9f5;p=mTask.git diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl index 0cf8ef3..2701fcf 100644 --- a/mTaskInterpret.dcl +++ b/mTaskInterpret.dcl @@ -6,16 +6,26 @@ from Data.Monoid import class Semigroup, class Monoid import mTask :: MTaskMSGRecv - = MTPub Int String + = MTTaskAck Int + | MTTaskDelAck Int + | MTSDSAck Int + | MTSDSDelAck Int + | MTPub Int String | MTMessage String - | MTTaskAdded Int | MTEmpty :: MTaskMSGSend - = MTSds Int String - | MTTask Int String + = MTTask MTaskInterval String + | MTTaskDel Int + | MTSds Int String | MTUpd Int String +:: MTaskInterval + = OneShot + | OnInterval Int + | OnInterrupt Int + +instance toString MTaskInterval instance toString MTaskMSGRecv instance toString MTaskMSGSend encode :: MTaskMSGSend -> String @@ -50,6 +60,9 @@ decode :: String -> MTaskMSGRecv | BCJmp Int | BCJmpT Int | BCJmpF Int + //UserLED + | BCLedOn [Char] + | BCLedOff [Char] //Serial | BCSerialAvail | BCSerialPrint @@ -81,12 +94,15 @@ instance toByteCode Char instance toByteCode String instance toByteCode Long instance toByteCode Button +instance toByteCode UserLED +//instance toByteCode MTaskInterval instance toChar Pin instance arith ByteCode instance boolExpr ByteCode instance analogIO ByteCode instance digitalIO ByteCode +instance userLed ByteCode //instance If ByteCode Stmt Stmt Stmt //instance If ByteCode e Stmt Stmt //instance If ByteCode Stmt e Stmt @@ -99,11 +115,9 @@ instance assign ByteCode instance seq ByteCode instance serial ByteCode -//pub :: (ByteCode a b) -> ByteCode a b - -toMessages :: Int (String, BCState) -> ([MTaskMSGSend], BCState) +toMessages :: MTaskInterval (String, BCState) -> ([MTaskMSGSend], BCState) toSDSUpdate :: Int Int -> [MTaskMSGSend] toByteVal :: BC -> [Char] toReadableByteCode :: (ByteCode a b) -> (String, BCState) -toRealByteCode :: (ByteCode a b) -> (String, BCState) +toRealByteCode :: (ByteCode a b) BCState -> (String, BCState)