Control.Monad.TaggedException.Internal.Throws

Data type for associating monadic value with phantom type. In case of this library it will always be associated with a type of exception it may throw.

Documentation

newtype Throws e m a

Exception tag.

Constructors

Throws

Fields

hideException :: m a

Hide one exception.

Instances

(Monoid w, MonadReader r m, MonadWriter w m, MonadState s m) => MonadRWS r w s (Throws k * e m)

Since 2.1.0.0

MonadError e m => MonadError e (Throws k * e' m)

Since 2.1.0.0

MonadReader r m => MonadReader r (Throws k * e m)

Since 2.1.0.0

MonadState s m => MonadState s (Throws k * e m)

Since 2.1.0.0

(Monoid w, MonadWriter w m) => MonadWriter w (Throws k * e m)

Since 2.1.0.0

MFunctor (Throws k * e)

Since 1.2.0.0.

MMonad (Throws k * e)

Since 1.2.0.0.

MonadTrans (Throws k * e)

Monad m => Monad (Throws k * e m)

Functor f => Functor (Throws k * e f)

Applicative f => Applicative (Throws k * e f)

Generic1 (Throws k * e m)

Alternative f => Alternative (Throws k * e f)

MonadPlus m => MonadPlus (Throws k * e m)

MonadThrow m => MonadThrow (Throws k * e m)

Since 2.0.0.0.

MonadCatch m => MonadCatch (Throws k * e m)

Since 2.0.0.0.

MonadMask m => MonadMask (Throws k * e m)

Since 2.0.0.0.

MonadIO m => MonadIO (Throws k * e m)

MonadCont m => MonadCont (Throws k * e m)

Since 2.1.0.0

Generic (Throws k k e m a)

type Rep1 (Throws k k1 e m)

type Rep (Throws k k1 e m a)

liftBindLike :: (m a -> (b -> m c) -> m d) -> Throws e m a -> (b -> Throws e m c) -> Throws e m d

Lift operations with type similar to monadic bind. In example:

(>>=) :: Monad m => m a -> (a -> m b) -> m b

catch
    :: IO a
    -> (IOError -> IO a)
    -> IO a

catch
    :: Exception e
    => IO a -> (e -> IO a) -> IO a

Since 1.2.0.0.

liftCCLike :: (((a -> m b) -> m' c) -> m'' d) -> ((a -> Throws e m b) -> Throws e m' c) -> Throws e m'' d

Lift operation with type similar to liftCC:

liftCC
    :: Monad m => ((a -> m b) -> m a) -> m a

Since 2.1.0.0

liftEmbedLike :: (forall a. m a -> Throws e n a) -> Throws e' m b -> Throws e n b

Generalized form of embed from instance MMonad (Throws e).

Since 2.1.0.0

liftHoistLike :: (forall a. m a -> n a) -> Throws e m b -> Throws e' n b

Generalized form of embed from instance MFunctor (Throws e).

Since 2.1.0.0

liftMask :: (((forall a. m a -> m a) -> m b) -> m b) -> ((forall a. Throws e m a -> Throws e m a) -> Throws e m b) -> Throws e m b

Lift operation similar to the one of mask.