X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=01059445763fe23c110829eba163e53af4d050a3;hb=c6709b5f2b35baa57f11e557d4baa96d6b9a54cf;hp=0fb9efc9885580b0b8acadf0e35db397f730e881;hpb=7edf1780ae3b91d9136db2d94b25e88d64896645;p=mTask.git diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl index 0fb9efc..0105944 100644 --- a/mTaskInterpret.dcl +++ b/mTaskInterpret.dcl @@ -5,16 +5,21 @@ from Control.Monad.State import :: State, :: StateT from Data.Monoid import class Semigroup, class Monoid import mTask -:: MTaskMessage +:: MTaskMSGRecv + = MTPub Int String + | MTMessage String + | MTTaskAdded Int + | MTEmpty + +:: MTaskMSGSend = MTSds Int String | MTTask Int String - | MTPub Int String | MTUpd Int String - | MTEmpty -instance toString MTaskMessage -encode :: MTaskMessage -> String -decode :: String -> MTaskMessage +instance toString MTaskMSGRecv +instance toString MTaskMSGSend +encode :: MTaskMSGSend -> String +decode :: String -> MTaskMSGRecv :: BC = BCNop @@ -45,6 +50,9 @@ decode :: String -> MTaskMessage | BCJmp Int | BCJmpT Int | BCJmpF Int + //UserLED + | BCLedOn [Char] + | BCLedOff [Char] //Serial | BCSerialAvail | BCSerialPrint @@ -76,16 +84,18 @@ instance toByteCode Char instance toByteCode String instance toByteCode Long instance toByteCode Button +instance toByteCode UserLED instance toChar Pin instance arith ByteCode instance boolExpr ByteCode instance analogIO ByteCode instance digitalIO ByteCode -instance If ByteCode Stmt Stmt Stmt -instance If ByteCode Stmt e Stmt -instance If ByteCode Stmt Stmt e -instance If ByteCode x y Expr +instance userLed ByteCode +//instance If ByteCode Stmt Stmt Stmt +//instance If ByteCode e Stmt Stmt +//instance If ByteCode Stmt e Stmt +instance If ByteCode x y Stmt instance IF ByteCode instance noOp ByteCode @@ -94,9 +104,10 @@ instance assign ByteCode instance seq ByteCode instance serial ByteCode -pub :: (ByteCode a b) -> ByteCode a b +//pub :: (ByteCode a b) -> ByteCode a b -toMessages :: Int (String, BCState) -> [MTaskMessage] +toMessages :: Int (String, BCState) -> ([MTaskMSGSend], BCState) +toSDSUpdate :: Int Int -> [MTaskMSGSend] toByteVal :: BC -> [Char] toReadableByteCode :: (ByteCode a b) -> (String, BCState)