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
33 //Conditionals and jumping
50 :: ByteCode a p = BC (BCState -> ([BC], BCState))
51 instance Semigroup (ByteCode a p)
52 instance Monoid (ByteCode a p)
57 sdss :: [(Int, [Char])]
61 class toByteCode a :: a -> [Char]
62 instance toByteCode Int
63 instance toByteCode Bool
64 instance toByteCode Char
65 instance toByteCode String
66 instance toByteCode Long
67 instance toByteCode Button
70 instance arith ByteCode
71 instance boolExpr ByteCode
72 instance analogIO ByteCode
73 instance digitalIO ByteCode
74 instance If ByteCode Stmt Stmt Stmt
75 instance If ByteCode Stmt e Stmt
76 instance If ByteCode Stmt Stmt e
77 instance If ByteCode x y Expr
79 instance noOp ByteCode
82 instance assign ByteCode
84 instance serial ByteCode
86 getSDSBytes :: BCState -> String
87 getTaskBytes :: Int String -> String
89 toByteVal :: BC -> [Char]
90 toReadableByteCode :: (ByteCode a b) -> (String, BCState)
91 toRealByteCode :: (ByteCode a b) -> (String, BCState)