repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
added sds operators, timing and task deletion
[mTask.git]
/
mTaskInterpret.dcl
diff --git
a/mTaskInterpret.dcl
b/mTaskInterpret.dcl
index
32e7b9b
..
0939ab4
100644
(file)
--- a/
mTaskInterpret.dcl
+++ b/
mTaskInterpret.dcl
@@
-6,23
+6,61
@@
import mTask
:: BC
= BCNop
:: BC
= BCNop
- | BCPush
String
+ | BCPush
Int
| BCPop
| BCPop
+ //SDS functions
+ | BCSdsStore Int
+ | BCSdsFetch Int
+ | BCSdsPublish Int
//Unary ops
//Unary ops
- | BCNeg
| BCNot
//Binary Int ops
| BCAdd
| BCSub
| BCMul
| BCDiv
| BCNot
//Binary Int ops
| BCAdd
| BCSub
| BCMul
| BCDiv
+ //Binary Bool ops
+ | BCAnd
+ | BCOr
+ | BCEq
+ | BCNeq
+ | BCLes
+ | BCGre
+ | BCLeq
+ | BCGeq
+ //Conditionals and jumping
+ | BCJmp Int
+ | BCJmpT Int
+ | BCJmpF Int
+ //Serial
+ | BCSerialAvail
+ | BCSerialPrint
+ | BCSerialPrintln
+ | BCSerialRead
+ | BCSerialParseInt
+ //Pins
+ | BCAnalogRead Pin
+ | BCAnalogWrite Pin
+ | BCDigitalRead Pin
+ | BCDigitalWrite Pin
+ | BCTest AnalogPin
-:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState))
+//:: ByteCode a p = BC (BCState -> ([BC], BCState))
+:: ByteCode a p = BC [BC]
+//:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState))
:: BCState = {
a::()
}
:: BCState = {
a::()
}
-toByteVal :: BC -> String
+class toByteCode a :: a -> [Char]
+instance toByteCode Int
+instance toByteCode Bool
+instance toByteCode Char
+instance toByteCode String
+instance toByteCode Long
+instance toByteCode Button
+
+toByteVal :: BC -> [Char]
toReadableByteVal :: BC -> String
//instance toCode Pin
toReadableByteVal :: BC -> String
//instance toCode Pin