4 | catchException "fail"
8 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
9 | | | minReads=(Right 1)
10 | | | mayRaise=["fail"]
12 | | | minReads=(Right 1)
13 | | | mayRaise=["fail"]
14 | | | pushValue (\u1 -> (\u2 -> u1))
15 | | | minReads=(Right 1)
16 | | | mayRaise=["fail"]
18 | | | minReads=(Right 1)
19 | | | mayRaise=["fail"]
20 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
21 | | | minReads=(Right 1)
22 | | | mayRaise=["fail"]
24 | | | minReads=(Right 1)
25 | | | mayRaise=["fail"]
26 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
27 | | | minReads=(Right 0)
29 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
30 | | | minReads=(Right 0)
32 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
33 | | | minReads=(Right 0)
36 | | | minReads=(Right 0)
38 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
39 | | | minReads=(Right 0)
41 | | | popException "fail"
42 | | | minReads=(Right 0)
45 | | | minReads=(Right 0)
49 | | | minReads=(Right 0)
50 | | | mayRaise=["fail"]
52 | | | minReads=(Right 0)
53 | | | mayRaise=["fail"]
54 | | | choicesBranch [(\u1 -> u1)]
55 | | | minReads=(Right 0)
56 | | | mayRaise=["fail"]
58 | | | | | pushValue (\u1 -> u1)
59 | | | | | minReads=(Right 0)
62 | | | | | minReads=(Right 0)
65 | | | | | raiseException "fail"
66 | | | | | minReads=(Left "fail")
67 | | | | | mayRaise=["fail"]
77 lift2Value (\u1 -> (\u2 -> u1 u2))
80 lift2Value (\u1 -> (\u2 -> u1 u2))