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"]
56 pushValue (\u1 -> (\u2 -> u1))
65 lift2Value (\u1 -> (\u2 -> u1 u2))
68 lift2Value (\u1 -> (\u2 -> u1 u2))
74 | lift2Value (\u1 -> (\u2 -> u1 u2))
84 | | catchException "fail"
85 | | minReads=(Right 0)
89 | | | | minReads=(Left "fail")
90 | | | | mayRaise=["fail"]
91 | | | | read (\u1 -> Term)
92 | | | | minReads=(Left "fail")
93 | | | | mayRaise=["fail"]
95 | | | | minReads=(Left "fail")
96 | | | | mayRaise=["fail"]
97 | | | | popException "fail"
98 | | | | minReads=(Left "fail")
99 | | | | mayRaise=["fail"]
101 | | | | minReads=(Left "fail")
102 | | | | mayRaise=["fail"]
103 | | | | raiseException "fail"
104 | | | | minReads=(Left "fail")
105 | | | | mayRaise=["fail"]
108 | | | | minReads=(Right 0)
110 | | | | pushValue Term
111 | | | | minReads=(Right 0)
113 | | | | popException "fail"
114 | | | | minReads=(Right 0)
116 | | | | refJoin <hidden>
117 | | | | minReads=(Right 0)
121 | | minReads=(Left "fail")
122 | | mayRaise=["fail"]
124 | | minReads=(Left "fail")
125 | | mayRaise=["fail"]
126 | | choicesBranch [(\u1 -> u1)]
127 | | minReads=(Left "fail")
128 | | mayRaise=["fail"]
130 | | | | raiseException "fail"
131 | | | | minReads=(Left "fail")
132 | | | | mayRaise=["fail"]
134 | | | | raiseException "fail"
135 | | | | minReads=(Left "fail")
136 | | | | mayRaise=["fail"]