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
15 instance toString MTaskMessage
16 encode :: MTaskMessage -> String
17 decode :: String -> MTaskMessage
44 //Conditionals and jumping
61 :: ByteCode a p = BC (BCState -> ([BC], BCState))
62 instance Semigroup (ByteCode a p)
63 instance Monoid (ByteCode a p)
68 sdss :: [(Int, [Char])]
72 class toByteCode a :: a -> [Char]
73 instance toByteCode Int
74 instance toByteCode Bool
75 instance toByteCode Char
76 instance toByteCode String
77 instance toByteCode Long
78 instance toByteCode Button
81 instance arith ByteCode
82 instance boolExpr ByteCode
83 instance analogIO ByteCode
84 instance digitalIO ByteCode
85 instance If ByteCode Stmt Stmt Stmt
86 instance If ByteCode e Stmt Stmt
87 instance If ByteCode Stmt e Stmt
88 instance If ByteCode x y Expr
90 instance noOp ByteCode
93 instance assign ByteCode
95 instance serial ByteCode
97 //pub :: (ByteCode a b) -> ByteCode a b
99 toMessages :: Int (String, BCState) -> [MTaskMessage]
101 toByteVal :: BC -> [Char]
102 toReadableByteCode :: (ByteCode a b) -> (String, BCState)
103 toRealByteCode :: (ByteCode a b) -> (String, BCState)