Note that "successful" is from the type of view of the
MonadError type that's implementing Bracket.
When combining such a type with EitherT or OptionT for
example, this exit condition might not signal a successful
outcome for the user, but it does for the purposes of the
bracket operation.
An ExitCase that signals successful completion.
Note that "successful" is from the type of view of the
MonadError
type that's implementing Bracket. When combining such a type withEitherT
orOptionT
for example, this exit condition might not signal a successful outcome for the user, but it does for the purposes of thebracket
operation.