Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type MonadExcept e = MonadExcept e e
- throw :: forall e m a. MonadExcept e m => e -> m a
- catch :: forall e m a. MonadExcept e m => m a -> (e -> m a) -> m a
- type Except e = Except e e
- runExcept :: Except e a -> Either e a
- type ExceptT e = ExceptT e e
- exceptT :: m (Either e a) -> ExceptT e m a
- runExceptT :: ExceptT e m a -> m (Either e a)
- handle :: (e -> a) -> Except e a -> a
- handleT :: Functor m => (e -> a) -> ExceptT e m a -> m a
MonadExcept class
type MonadExcept e = MonadExcept e e Source #
See MonadExcept
.
throw :: forall e m a. MonadExcept e m => e -> m a Source #
See throw
.
catch :: forall e m a. MonadExcept e m => m a -> (e -> m a) -> m a Source #
See catch
.
The Except monad
The ExceptT monad transformer
runExceptT :: ExceptT e m a -> m (Either e a) Source #
See runExceptT
.