Control.Monad.Trans.Error.Class

Documentation

class MonadTrans (t sourceErrs) => MonadTransError t (sourceErrs :: [Type]) m where

Methods

onRaise :: (OpenUnion (Errors (t sourceErrs m)) -> t targetErrs m a) -> t sourceErrs m a -> t targetErrs m a

Instances

Monad m => MonadTransError RescueT errs m

Defined in Control.Monad.Trans.Rescue.Types

Methods

onRaise :: forall (targetErrs :: [Type]) a. (OpenUnion (Errors (RescueT errs m)) -> RescueT targetErrs m a) -> RescueT errs m a -> RescueT targetErrs m a