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"]
15 | | | minReads=(Right 1)
16 | | | mayRaise=["fail"]
17 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
18 | | | minReads=(Right 0)
20 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
21 | | | minReads=(Right 0)
24 | | | minReads=(Right 0)
26 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
27 | | | minReads=(Right 0)
29 | | | popException "fail"
30 | | | minReads=(Right 0)
33 | | | minReads=(Right 0)
37 | | | minReads=(Right 0)
38 | | | mayRaise=["fail"]
40 | | | minReads=(Right 0)
41 | | | mayRaise=["fail"]
42 | | | choicesBranch [(\u1 -> u1)]
43 | | | minReads=(Right 0)
44 | | | mayRaise=["fail"]
46 | | | | | pushValue (\u1 -> u1)
47 | | | | | minReads=(Right 0)
50 | | | | | minReads=(Right 0)
53 | | | | | raiseException "fail"
54 | | | | | minReads=(Left "fail")
55 | | | | | mayRaise=["fail"]
59 pushValue (\u1 -> (\u2 -> u1))
68 lift2Value (\u1 -> (\u2 -> u1 u2))
71 lift2Value (\u1 -> (\u2 -> u1 u2))
77 | lift2Value (\u1 -> (\u2 -> u1 u2))
80 | lift2Value (\u1 -> (\u2 -> u1 u2))
90 | | catchException "fail"
91 | | minReads=(Right 0)
95 | | | | minReads=(Left "fail")
96 | | | | mayRaise=["fail"]
97 | | | | read (\u1 -> Term)
98 | | | | minReads=(Left "fail")
99 | | | | mayRaise=["fail"]
101 | | | | minReads=(Left "fail")
102 | | | | mayRaise=["fail"]
103 | | | | popException "fail"
104 | | | | minReads=(Left "fail")
105 | | | | mayRaise=["fail"]
107 | | | | minReads=(Left "fail")
108 | | | | mayRaise=["fail"]
109 | | | | raiseException "fail"
110 | | | | minReads=(Left "fail")
111 | | | | mayRaise=["fail"]
114 | | | | minReads=(Right 0)
116 | | | | pushValue Term
117 | | | | minReads=(Right 0)
119 | | | | popException "fail"
120 | | | | minReads=(Right 0)
122 | | | | refJoin <hidden>
123 | | | | minReads=(Right 0)
127 | | minReads=(Left "fail")
128 | | mayRaise=["fail"]
130 | | minReads=(Left "fail")
131 | | mayRaise=["fail"]
132 | | choicesBranch [(\u1 -> u1)]
133 | | minReads=(Left "fail")
134 | | mayRaise=["fail"]
136 | | | | raiseException "fail"
137 | | | | minReads=(Left "fail")
138 | | | | mayRaise=["fail"]
140 | | | | raiseException "fail"
141 | | | | minReads=(Left "fail")
142 | | | | mayRaise=["fail"]