1 pushValue GHC.Show.show
3 mayRaise=[ExceptionFailure]
9 | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
17 catch ExceptionFailure
19 mayRaise=[ExceptionFailure]
22 | | pushValue (\x_0 -> 'a')
24 | | mayRaise=[ExceptionFailure]
28 | | mayRaise=[ExceptionFailure]
30 | | read ((GHC.Classes.==) 'a')
32 | | mayRaise=[ExceptionFailure]
34 | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
38 | | commit ExceptionFailure
49 | | mayRaise=[ExceptionFailure]
51 | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
53 | | _) -> i_0 GHC.Classes.== j_1)
55 | | mayRaise=[ExceptionFailure]
59 | | mayRaise=[ExceptionFailure]
61 | | | <branch (\x_0 -> x_0)>
62 | | | | pushValue (\x_0 -> 'b')
64 | | | | mayRaise=[ExceptionFailure]
66 | | | | comment "satisfy"
68 | | | | mayRaise=[ExceptionFailure]
70 | | | | read ((GHC.Classes.==) 'b')
72 | | | | mayRaise=[ExceptionFailure]
74 | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
85 | | | | mayRaise=[ExceptionFailure]