3 mayRaise=[ExceptionFailure]
5 | pushValue (\x_0 -> GHC.Tuple.())
7 | mayRaise=[ExceptionFailure]
9 | pushValue (\x_0 -> x_0)
11 | mayRaise=[ExceptionFailure]
15 | mayRaise=[ExceptionFailure]
19 | mayRaise=[ExceptionFailure]
22 | | | pushValue (\x_0 -> \x_1 -> x_1)
23 | | | minReads=(Right 1)
24 | | | mayRaise=[ExceptionFailure]
26 | | | read (\c_0 -> GHC.Classes.not (('<' GHC.Classes.== c_0) GHC.Classes.|| (('>' GHC.Classes.== c_0) GHC.Classes.|| (('+' GHC.Classes.== c_0) GHC.Classes.|| (('-' GHC.Classes.== c_0) GHC.Classes.|| ((',' GHC.Classes.== c_0) GHC.Classes.|| (('.' GHC.Classes.== c_0) GHC.Classes.|| (('[' GHC.Classes.== c_0) GHC.Classes.|| ((']' GHC.Classes.== c_0) GHC.Classes.|| GHC.Types.False)))))))))
27 | | | minReads=(Right 1)
28 | | | mayRaise=[ExceptionFailure]
30 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
31 | | | minReads=(Right 0)
34 | | | readRegister reg
35 | | | minReads=(Right 0)
38 | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
39 | | | minReads=(Right 0)
42 | | | writeRegister reg
43 | | | minReads=(Right 0)
47 | | | minReads=(Right 0)
52 | | | minReads=(Right 0)
53 | | | mayRaise=[ExceptionFailure]
55 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
57 | | | _) -> i_0 GHC.Classes.== j_1)
58 | | | minReads=(Right 0)
59 | | | mayRaise=[ExceptionFailure]
62 | | | minReads=(Right 0)
63 | | | mayRaise=[ExceptionFailure]
65 | | | | <branch (\x_0 -> x_0)>
66 | | | | | readRegister reg
67 | | | | | minReads=(Right 0)
69 | | | | | freeRegs=[reg]
70 | | | | | pushValue GHC.Tuple.()
71 | | | | | minReads=(Right 0)
74 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
75 | | | | | minReads=(Right 0)
78 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
79 | | | | | minReads=(Right 0)
83 | | | | | minReads=(Right 0)
88 | | | | | minReads=(Left ExceptionFailure)
89 | | | | | mayRaise=[ExceptionFailure]
93 mayRaise=[ExceptionFailure]
95 | pushValue (\x_0 -> x_0)
97 | mayRaise=[ExceptionFailure]
101 | mayRaise=[ExceptionFailure]
105 | mayRaise=[ExceptionFailure]
108 | | | pushValue (\x_0 -> \x_1 -> (GHC.Types.:) x_0)
109 | | | minReads=(Right 1)
110 | | | mayRaise=[ExceptionFailure]
113 | | | minReads=(Right 0)
114 | | | mayRaise=[ExceptionFailure]
116 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
117 | | | | minReads=(Right 0)
118 | | | | mayRaise=[ExceptionFailure]
119 | | | | freeRegs=[reg]
121 | | | | minReads=(Right 0)
122 | | | | mayRaise=[ExceptionFailure]
123 | | | | freeRegs=[reg]
124 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
125 | | | | minReads=(Right 0)
127 | | | | freeRegs=[reg]
128 | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1 (x_0 x_2))
129 | | | | minReads=(Right 0)
131 | | | | freeRegs=[reg]
132 | | | | lift2Value (\x_0 -> \x_1 -> x_1 x_0)
133 | | | | minReads=(Right 0)
135 | | | | freeRegs=[reg]
136 | | | | readRegister reg
137 | | | | minReads=(Right 0)
139 | | | | freeRegs=[reg]
140 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
141 | | | | minReads=(Right 0)
143 | | | | freeRegs=[reg]
144 | | | | writeRegister reg
145 | | | | minReads=(Right 0)
147 | | | | freeRegs=[reg]
149 | | | | minReads=(Right 0)
153 | | | minReads=(Right 1)
154 | | | mayRaise=[ExceptionFailure]
156 | | | read (\x_0 -> GHC.Types.True)
157 | | | minReads=(Right 1)
158 | | | mayRaise=[ExceptionFailure]
161 | | | minReads=(Right 0)
162 | | | mayRaise=[ExceptionFailure]
165 | | | minReads=(Right 0)
166 | | | mayRaise=[ExceptionFailure]
169 | | | minReads=(Right 1)
170 | | | mayRaise=[ExceptionFailure]
172 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '<' x_0)>
173 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Backward)
174 | | | | | minReads=(Right 1)
175 | | | | | mayRaise=[ExceptionFailure]
176 | | | | | freeRegs=[reg]
177 | | | | | read (\x_0 -> GHC.Types.True)
178 | | | | | minReads=(Right 1)
179 | | | | | mayRaise=[ExceptionFailure]
180 | | | | | freeRegs=[reg]
181 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
182 | | | | | minReads=(Right 0)
183 | | | | | mayRaise=[ExceptionFailure]
184 | | | | | freeRegs=[reg]
185 | | | | | refJoin join
186 | | | | | minReads=(Right 0)
187 | | | | | mayRaise=[ExceptionFailure]
188 | | | | | freeRegs=[reg]
189 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '>' x_0)>
190 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Forward)
191 | | | | | minReads=(Right 1)
192 | | | | | mayRaise=[ExceptionFailure]
193 | | | | | freeRegs=[reg]
194 | | | | | read (\x_0 -> GHC.Types.True)
195 | | | | | minReads=(Right 1)
196 | | | | | mayRaise=[ExceptionFailure]
197 | | | | | freeRegs=[reg]
198 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
199 | | | | | minReads=(Right 0)
200 | | | | | mayRaise=[ExceptionFailure]
201 | | | | | freeRegs=[reg]
202 | | | | | refJoin join
203 | | | | | minReads=(Right 0)
204 | | | | | mayRaise=[ExceptionFailure]
205 | | | | | freeRegs=[reg]
206 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '+' x_0)>
207 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Increment)
208 | | | | | minReads=(Right 1)
209 | | | | | mayRaise=[ExceptionFailure]
210 | | | | | freeRegs=[reg]
211 | | | | | read (\x_0 -> GHC.Types.True)
212 | | | | | minReads=(Right 1)
213 | | | | | mayRaise=[ExceptionFailure]
214 | | | | | freeRegs=[reg]
215 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
216 | | | | | minReads=(Right 0)
217 | | | | | mayRaise=[ExceptionFailure]
218 | | | | | freeRegs=[reg]
219 | | | | | refJoin join
220 | | | | | minReads=(Right 0)
221 | | | | | mayRaise=[ExceptionFailure]
222 | | | | | freeRegs=[reg]
223 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '-' x_0)>
224 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Decrement)
225 | | | | | minReads=(Right 1)
226 | | | | | mayRaise=[ExceptionFailure]
227 | | | | | freeRegs=[reg]
228 | | | | | read (\x_0 -> GHC.Types.True)
229 | | | | | minReads=(Right 1)
230 | | | | | mayRaise=[ExceptionFailure]
231 | | | | | freeRegs=[reg]
232 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
233 | | | | | minReads=(Right 0)
234 | | | | | mayRaise=[ExceptionFailure]
235 | | | | | freeRegs=[reg]
236 | | | | | refJoin join
237 | | | | | minReads=(Right 0)
238 | | | | | mayRaise=[ExceptionFailure]
239 | | | | | freeRegs=[reg]
240 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) ',' x_0)>
241 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Input)
242 | | | | | minReads=(Right 1)
243 | | | | | mayRaise=[ExceptionFailure]
244 | | | | | freeRegs=[reg]
245 | | | | | read (\x_0 -> GHC.Types.True)
246 | | | | | minReads=(Right 1)
247 | | | | | mayRaise=[ExceptionFailure]
248 | | | | | freeRegs=[reg]
249 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
250 | | | | | minReads=(Right 0)
251 | | | | | mayRaise=[ExceptionFailure]
252 | | | | | freeRegs=[reg]
253 | | | | | refJoin join
254 | | | | | minReads=(Right 0)
255 | | | | | mayRaise=[ExceptionFailure]
256 | | | | | freeRegs=[reg]
257 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '.' x_0)>
258 | | | | | pushValue (\x_0 -> Parsers.Brainfuck.Types.Output)
259 | | | | | minReads=(Right 1)
260 | | | | | mayRaise=[ExceptionFailure]
261 | | | | | freeRegs=[reg]
262 | | | | | read (\x_0 -> GHC.Types.True)
263 | | | | | minReads=(Right 1)
264 | | | | | mayRaise=[ExceptionFailure]
265 | | | | | freeRegs=[reg]
266 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
267 | | | | | minReads=(Right 0)
268 | | | | | mayRaise=[ExceptionFailure]
269 | | | | | freeRegs=[reg]
270 | | | | | refJoin join
271 | | | | | minReads=(Right 0)
272 | | | | | mayRaise=[ExceptionFailure]
273 | | | | | freeRegs=[reg]
274 | | | | <branch (\x_0 -> (\x_1 -> \x_2 -> (GHC.Classes.==) x_1 x_2) '[' x_0)>
275 | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> Parsers.Brainfuck.Types.Loop x_2)
276 | | | | | minReads=(Right 1)
277 | | | | | mayRaise=[ExceptionFailure]
278 | | | | | freeRegs=[]
279 | | | | | read (\x_0 -> GHC.Types.True)
280 | | | | | minReads=(Right 1)
281 | | | | | mayRaise=[ExceptionFailure]
282 | | | | | freeRegs=[]
283 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
284 | | | | | minReads=(Right 0)
285 | | | | | mayRaise=[ExceptionFailure]
286 | | | | | freeRegs=[]
288 | | | | | minReads=(Right 0)
289 | | | | | mayRaise=[ExceptionFailure]
290 | | | | | freeRegs=[]
291 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
292 | | | | | minReads=(Right 0)
293 | | | | | mayRaise=[]
294 | | | | | freeRegs=[]
296 | | | | | minReads=(Right 0)
297 | | | | | mayRaise=[]
298 | | | | | freeRegs=[]
299 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
300 | | | | | minReads=(Right 1)
301 | | | | | mayRaise=[ExceptionFailure]
302 | | | | | freeRegs=[reg]
303 | | | | | read ((GHC.Classes.==) ']')
304 | | | | | minReads=(Right 1)
305 | | | | | mayRaise=[ExceptionFailure]
306 | | | | | freeRegs=[reg]
307 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
308 | | | | | minReads=(Right 0)
309 | | | | | mayRaise=[ExceptionFailure]
310 | | | | | freeRegs=[reg]
311 | | | | | refJoin join
312 | | | | | minReads=(Right 0)
313 | | | | | mayRaise=[ExceptionFailure]
314 | | | | | freeRegs=[reg]
316 | | | | | fail [FailureEmpty]
317 | | | | | minReads=(Left ExceptionFailure)
318 | | | | | mayRaise=[ExceptionFailure]
319 | | | | | freeRegs=[]
322 | | | minReads=(Right 0)
323 | | | mayRaise=[ExceptionFailure]
325 | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
327 | | | _) -> i_0 GHC.Classes.== j_1)
328 | | | minReads=(Right 0)
329 | | | mayRaise=[ExceptionFailure]
332 | | | minReads=(Right 0)
333 | | | mayRaise=[ExceptionFailure]
335 | | | | <branch (\x_0 -> x_0)>
336 | | | | | readRegister reg
337 | | | | | minReads=(Right 0)
338 | | | | | mayRaise=[]
339 | | | | | freeRegs=[reg]
340 | | | | | pushValue GHC.Types.[]
341 | | | | | minReads=(Right 0)
342 | | | | | mayRaise=[]
343 | | | | | freeRegs=[]
344 | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
345 | | | | | minReads=(Right 0)
346 | | | | | mayRaise=[]
347 | | | | | freeRegs=[]
349 | | | | | minReads=(Right 0)
350 | | | | | mayRaise=[]
351 | | | | | freeRegs=[]
354 | | | | | minReads=(Left ExceptionFailure)
355 | | | | | mayRaise=[ExceptionFailure]
356 | | | | | freeRegs=[]
357 pushValue (\x_0 -> \x_1 -> GHC.Show.show x_1)
359 mayRaise=[ExceptionFailure]
363 mayRaise=[ExceptionFailure]
365 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
367 mayRaise=[ExceptionFailure]
371 mayRaise=[ExceptionFailure]
373 lift2Value (\x_0 -> \x_1 -> x_0 x_1)