1 pushValue (\u1 -> (\u2 -> u1))
7 | lift2Value (\u1 -> (\u2 -> u1 u2))
10 | pushValue (\u1 -> (\u2 -> u1))
16 | lift2Value (\u1 -> (\u2 -> u1 u2))
22 | lift2Value (\u1 -> (\u2 -> u1 u2))
25 | lift2Value (\u1 -> (\u2 -> u1 u2))
36 | | minReads=(Right 1)
38 | | | popException "fail"
39 | | | minReads=(Right 0)
41 | | | refJoin <hidden>
42 | | | minReads=(Right 0)
44 | | catchException "fail"
45 | | minReads=(Right 1)
48 | | | | pushValue (\u1 -> (\u2 -> u1))
49 | | | | minReads=(Right 1)
50 | | | | mayRaise=["fail"]
52 | | | | minReads=(Right 1)
53 | | | | mayRaise=["fail"]
54 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
55 | | | | minReads=(Right 1)
56 | | | | mayRaise=["fail"]
58 | | | | minReads=(Right 1)
59 | | | | mayRaise=["fail"]
60 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
61 | | | | minReads=(Right 0)
63 | | | | popException "fail"
64 | | | | minReads=(Right 0)
66 | | | | refJoin <hidden>
67 | | | | minReads=(Right 0)
71 | | | | minReads=(Right 1)
72 | | | | mayRaise=["fail"]
73 | | | | lift2Value Term
74 | | | | minReads=(Right 1)
75 | | | | mayRaise=["fail"]
76 | | | | choicesBranch [(\u1 -> u1)]
77 | | | | minReads=(Right 1)
78 | | | | mayRaise=["fail"]
80 | | | | | | pushValue (\u1 -> (\u2 -> u1))
81 | | | | | | minReads=(Right 1)
82 | | | | | | mayRaise=["fail"]
83 | | | | | | pushValue 'b'
84 | | | | | | minReads=(Right 1)
85 | | | | | | mayRaise=["fail"]
86 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
87 | | | | | | minReads=(Right 1)
88 | | | | | | mayRaise=["fail"]
89 | | | | | | read ('b' ==)
90 | | | | | | minReads=(Right 1)
91 | | | | | | mayRaise=["fail"]
92 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
93 | | | | | | minReads=(Right 0)
94 | | | | | | mayRaise=[]
95 | | | | | | refJoin <hidden>
96 | | | | | | minReads=(Right 0)
97 | | | | | | mayRaise=[]
99 | | | | | | raiseException "fail"
100 | | | | | | minReads=(Left "fail")
101 | | | | | | mayRaise=["fail"]
104 | | minReads=(Right 1)
105 | | mayRaise=["fail"]
107 | | minReads=(Right 1)
108 | | mayRaise=["fail"]
109 | | choicesBranch [(\u1 -> u1)]
110 | | minReads=(Right 1)
111 | | mayRaise=["fail"]
113 | | | | pushValue (\u1 -> (\u2 -> u1))
114 | | | | minReads=(Right 1)
115 | | | | mayRaise=["fail"]
116 | | | | pushValue 'c'
117 | | | | minReads=(Right 1)
118 | | | | mayRaise=["fail"]
119 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
120 | | | | minReads=(Right 1)
121 | | | | mayRaise=["fail"]
122 | | | | read ('c' ==)
123 | | | | minReads=(Right 1)
124 | | | | mayRaise=["fail"]
125 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
126 | | | | minReads=(Right 0)
128 | | | | refJoin <hidden>
129 | | | | minReads=(Right 0)
132 | | | | raiseException "fail"
133 | | | | minReads=(Left "fail")
134 | | | | mayRaise=["fail"]