Control.Monad.Ether.Implicit.Except

See Control.Monad.Ether.Except.

MonadExcept class

type MonadExcept e = MonadExcept e e

See MonadExcept.

throw :: forall e m a. MonadExcept e m => e -> m a

See throw.

catch :: forall e m a. MonadExcept e m => m a -> (e -> m a) -> m a

See catch.

The Except monad

type Except e = Except e e

See Except.

runExcept :: Except e a -> Either e a

See runExcept.

The ExceptT monad transformer

type ExceptT e = ExceptT e e

See ExceptT.

exceptT :: m (Either e a) -> ExceptT e m a

See exceptT.

runExceptT :: ExceptT e m a -> m (Either e a)

See runExceptT.

Handle functions

handle :: (e -> a) -> Except e a -> a

See handle.

handleT :: Functor m => (e -> a) -> ExceptT e m a -> m a

See handleT.