1 definition module mTaskInterpret
3 from Data.Functor.Identity import :: Identity
4 from Control.Monad.State import :: State, :: StateT
5 from Data.Monoid import class Semigroup, class Monoid
19 instance toString MTaskMSGRecv
20 instance toString MTaskMSGSend
21 encode :: MTaskMSGSend -> String
22 decode :: String -> MTaskMSGRecv
49 //Conditionals and jumping
66 :: ByteCode a p = BC (BCState -> ([BC], BCState))
67 instance Semigroup (ByteCode a p)
68 instance Monoid (ByteCode a p)
73 sdss :: [(Int, [Char])]
77 class toByteCode a :: a -> [Char]
78 instance toByteCode Int
79 instance toByteCode Bool
80 instance toByteCode Char
81 instance toByteCode String
82 instance toByteCode Long
83 instance toByteCode Button
86 instance arith ByteCode
87 instance boolExpr ByteCode
88 instance analogIO ByteCode
89 instance digitalIO ByteCode
90 //instance If ByteCode Stmt Stmt Stmt
91 //instance If ByteCode e Stmt Stmt
92 //instance If ByteCode Stmt e Stmt
93 instance If ByteCode x y Stmt
95 instance noOp ByteCode
98 instance assign ByteCode
100 instance serial ByteCode
102 //pub :: (ByteCode a b) -> ByteCode a b
104 toMessages :: Int (String, BCState) -> ([MTaskMSGSend], BCState)
105 toSDSUpdate :: Int Int -> [MTaskMSGSend]
107 toByteVal :: BC -> [Char]
108 toReadableByteCode :: (ByteCode a b) -> (String, BCState)
109 toRealByteCode :: (ByteCode a b) -> (String, BCState)