Copyright	(c) 2009 - 2015 Peter Trsko
License	BSD3
Maintainer	peter.trsko@gmail.com
Stability	stable
Portability	CPP, NoImplicitPrelude, PolyKinds, RankNTypes, DeriveDataTypeable, DeriveGeneric
Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.TaggedException.Internal.Throws

Description

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.

Synopsis

Documentation

newtype Throws e m a Source

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`
Typeable (k -> (k -> ) -> k -> ) (Throws k k)
MFunctor (Throws k * e)	Since `1.2.0.0`.
MMonad (Throws k * e)	Since `1.2.0.0`.
MonadTrans (Throws k * e)
Alternative f => Alternative (Throws k * e f)
Monad m => Monad (Throws k * e m)
Functor f => Functor (Throws k * e f)
MonadPlus m => MonadPlus (Throws k * e m)
Applicative f => Applicative (Throws k * e f)
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 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 Source

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 Source

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 Source

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 Source

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 Source

Lift operation similar to the one of mask.