Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Extension of a monad with the Either
ability to interrupt a sequence of
actions and terminate with a value
Type
A monad with early termination type e, inner monad m, and return type a
Termination
Anticipation
anticipate :: Monad m => EitherT e m a -> EitherT e m (Either e a) Source #
Run the given action and decide what to do depending on the return type
anticipate foo >>= either bar baz