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"]
71 pushValue (\u1 -> (\u2 -> u1))
80 lift2Value (\u1 -> (\u2 -> u1 u2))
83 lift2Value (\u1 -> (\u2 -> u1 u2))
89 | lift2Value (\u1 -> (\u2 -> u1 u2))
92 | lift2Value (\u1 -> (\u2 -> u1 u2))
102 | | catchException "fail"
103 | | minReads=(Right 0)
107 | | | | minReads=(Left "fail")
108 | | | | mayRaise=["fail"]
109 | | | | read (\u1 -> Term)
110 | | | | minReads=(Left "fail")
111 | | | | mayRaise=["fail"]
113 | | | | minReads=(Left "fail")
114 | | | | mayRaise=["fail"]
115 | | | | popException "fail"
116 | | | | minReads=(Left "fail")
117 | | | | mayRaise=["fail"]
119 | | | | minReads=(Left "fail")
120 | | | | mayRaise=["fail"]
121 | | | | raiseException "fail"
122 | | | | minReads=(Left "fail")
123 | | | | mayRaise=["fail"]
126 | | | | minReads=(Right 0)
128 | | | | pushValue Term
129 | | | | minReads=(Right 0)
131 | | | | popException "fail"
132 | | | | minReads=(Right 0)
134 | | | | refJoin <hidden>
135 | | | | minReads=(Right 0)
139 | | minReads=(Left "fail")
140 | | mayRaise=["fail"]
142 | | minReads=(Left "fail")
143 | | mayRaise=["fail"]
144 | | choicesBranch [(\u1 -> u1)]
145 | | minReads=(Left "fail")
146 | | mayRaise=["fail"]
148 | | | | raiseException "fail"
149 | | | | minReads=(Left "fail")
150 | | | | mayRaise=["fail"]
152 | | | | raiseException "fail"
153 | | | | minReads=(Left "fail")
154 | | | | mayRaise=["fail"]