Control.Effects.Either

Documentation

throwEither :: (c ~ ContT (m (Either e r)) m, AutoLift c n, Monad m) => Proxy c -> e -> n Void

catchEither :: Monad m => (e -> m a) -> Handler (m (Either e a)) m a a