1 definition module mTaskInterpret
3 from Data.Functor.Identity import :: Identity
4 from Control.Monad.State import :: State, :: StateT
32 //Conditionals and jumping
49 :: ByteCode a p = BC (BCState -> ([BC], BCState))
50 //:: ByteCode a p = BC [BC]
51 //:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState))
56 class toByteCode a :: a -> [Char]
57 instance toByteCode Int
58 instance toByteCode Bool
59 instance toByteCode Char
60 instance toByteCode String
61 instance toByteCode Long
62 instance toByteCode Button
64 toByteVal :: BC -> [Char]
65 //toReadableByteVal :: BC -> String
68 //instance toCode MTask
70 //instance toCode Long
72 //class toCode a :: a -> String
73 //instance toCode Bool
75 //instance toCode Real
76 //instance toCode Char
77 //instance toCode String
78 //instance toCode DigitalPin
79 //instance toCode AnalogPin
81 //argType :: (((Code a p)->Code b q)->In ((Code a p)->Code b q) (Code c s)) -> a | type a
83 //class argTypes t :: ((t->Code b Expr)->In (t->Code b2 q) (Main (Code c s))) -> t
84 //instance argTypes (Code a p) | showType a
85 //instance argTypes (Code a p, Code b q) | showType a & showType b
86 //instance argTypes (Code a p, Code b q, Code c r) | showType a & showType b & showType c
88 //instance toCode (SV t)
91 //instance boolExpr Code
92 //instance If Code Stmt Stmt Stmt
93 //instance If Code e Stmt Stmt
94 //instance If Code Stmt e Stmt
95 //instance If Code x y Expr
99 //defCode :: ((Code t p) -> In t (Main (Code u q))) -> Main (Code u r) | type t
101 //var :: String (ReadWrite (Code v q)) CODE -> CODE
103 //instance assign Code
105 //instance step` Code
106 //codeSteps :: [Step Code t] -> Code u p
107 //optBreak :: Mode -> Code u p
109 //instance setDelay Code
110 //instance mtask Code a | taskImp2 a & types a
111 //instance mtasks Code a b | taskImp2 a & types a & taskImp2 b & types b
113 //loopCode :: Int (Code a b) -> Code c d
115 //class taskImp2 a :: Int a -> ((Code Long p) a->Code MTask Expr, a) | /*long Code delay &*/ isExpr p
116 //instance taskImp2 ()
117 //instance taskImp2 (Code t p)
118 //instance taskImp2 (Code a p, Code b q)
119 //instance taskImp2 (Code a p, Code b q, Code c r)
120 //instance taskImp2 (Code a p, Code b q, Code c r, Code d s)
122 //class taskImp a :: Int a -> (Int a->Code MTask Expr, a)
123 //instance taskImp ()
124 //instance taskImp (Code t p)
125 //instance taskImp (Code a p, Code b q)
126 //instance taskImp (Code a p, Code b q, Code c r)
127 //instance taskImp (Code a p, Code b q, Code c r, Code d s)
129 //tasksMain :: Int Int ((a->Code MTask Expr,b->Code MTask Expr) -> In (a->Code c d,b->Code e f) (Main (Code g h))) -> Main (Code i j) | taskImp a & types a & taskImp b & types b
132 //instance types (Code a p) | typeSelector a & isExpr p
133 //instance types (Code a p, Code b q) | typeSelector a & isExpr p & typeSelector b & isExpr q
134 //instance types (Code a p, Code b q, Code c r) | typeSelector a & isExpr p & typeSelector b & isExpr q & typeSelector c & isExpr r
135 //instance types (Code a p, Code b q, Code c r, Code d s) | typeSelector a & isExpr p & typeSelector b & isExpr q & typeSelector c & isExpr r & typeSelector d & isExpr s
137 //codeMTaskBody :: (Code v w) (Code c d) -> Code e f
138 //instance fun Code ()
139 //instance fun Code (Code t p) | type, showType t & isExpr p
140 //instance fun Code (Code a p, Code b q) | showType a & showType b
141 //instance fun Code (Code a p, Code b q, Code c r) | showType a & showType b & showType c
142 //instance output Code
143 //instance pinMode Code
144 //instance digitalIO Code
147 //instance analogIO Code
150 //:: Code a p = C ((ReadWrite (Code a Expr)) CODE -> CODE)
153 // , freshMTask :: Int
154 // , funs :: [String]
156 // , vars :: [String]
158 // , setup :: [String]
160 // , loop :: [String]
162 // , includes :: [String]
165 // , binds :: [String]
168 //unC :: (Code a p) -> ((ReadWrite (Code a Expr)) CODE -> CODE)
170 //:: Def = Var | Fun | Setup | Loop
171 //:: Mode = /*MainMode |*/ NoReturn | Return String | SubExp | Assign String
173 //setMode :: Mode -> Code a p
174 //getMode :: (Mode -> Code a p) -> Code a p
175 //embed :: (Code a p) -> Code a p
176 //(+.+) infixl 5 :: (Code a p) (Code b q) -> Code c r
177 //fresh :: (Int -> (Code a p)) -> (Code a p)
178 //freshMTask :: (Int -> (Code a p)) -> (Code a p)
179 //setCode :: Def -> (Code a p)
180 //getCode :: (Def -> Code a p) -> (Code a p)
181 //brac :: (Code a p) -> Code b q
182 //funBody :: (Code a p) -> Code b q
183 //codeOp2 :: (Code a p) String (Code b q) -> Code c r
184 //include :: String -> Code a b
185 //argList :: [a] -> String | toCode a
186 //c :: a -> Code b p | toCode a
188 //unindent :: Code a p
190 //setBinds :: [String] -> Code a p
191 //addBinds :: String -> Code a p
192 //getBinds :: ([String] -> Code a p) -> (Code a p)
194 //// ----- driver ----- //
196 //compile :: (Main (Code a p)) -> [String]
197 //mkset :: [a] -> [a] | Eq a