pushValue Term
minReads=(Right 0)
- mayRaise=[]
+ mayRaise=[ExceptionFailure]
join <hidden>
minReads=(Right 0)
mayRaise=[]
| ret
| minReads=(Right 0)
| mayRaise=[]
-catchException "fail"
+catch ExceptionFailure
minReads=(Right 0)
- mayRaise=[]
+ mayRaise=[ExceptionFailure]
| <ok>
-| | catchException "fail"
+| | catch ExceptionFailure
| | minReads=(Right 0)
| | mayRaise=[]
| | | <ok>
| | | | pushInput
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
| | | | read (\u1 -> Term)
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
| | | | popValue
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
-| | | | popException "fail"
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | | commit ExceptionFailure
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
| | | | loadInput
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
-| | | | raiseException "fail"
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
+| | | | fail []
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
| | | <ko>
| | | | loadInput
| | | | minReads=(Right 0)
| | | | pushValue Term
| | | | minReads=(Right 0)
| | | | mayRaise=[]
-| | | | popException "fail"
+| | | | commit ExceptionFailure
| | | | minReads=(Right 0)
| | | | mayRaise=[]
| | | | refJoin <hidden>
| | | | mayRaise=[]
| <ko>
| | pushInput
-| | minReads=(Left "fail")
-| | mayRaise=["fail"]
+| | minReads=(Left ExceptionFailure)
+| | mayRaise=[ExceptionFailure]
| | lift2Value Term
-| | minReads=(Left "fail")
-| | mayRaise=["fail"]
+| | minReads=(Left ExceptionFailure)
+| | mayRaise=[ExceptionFailure]
| | choicesBranch [(\u1 -> u1)]
-| | minReads=(Left "fail")
-| | mayRaise=["fail"]
+| | minReads=(Left ExceptionFailure)
+| | mayRaise=[ExceptionFailure]
| | | <branch>
-| | | | raiseException "fail"
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
+| | | | fail [FailureEnd]
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]
| | | <default>
-| | | | raiseException "fail"
-| | | | minReads=(Left "fail")
-| | | | mayRaise=["fail"]
+| | | | fail []
+| | | | minReads=(Left ExceptionFailure)
+| | | | mayRaise=[ExceptionFailure]