Safe Haskell | None |
---|---|
Language | Haskell2010 |
The RescueT
transformer
Documentation
newtype RescueT errs m a Source #
Add type-directed error handling abilities to a Monad
RescueT | |
|
Instances
Monad m => MonadTransError RescueT errs m Source # | |
MonadReader cfg m => MonadReader cfg (RescueT errs m) Source # | |
MonadBase b m => MonadBase b (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types | |
MonadTrans (RescueT errs) Source # | |
Defined in Control.Monad.Trans.Rescue.Types | |
Monad m => Monad (RescueT errs m) Source # | |
Functor m => Functor (RescueT errs m) Source # | |
MonadFix m => MonadFix (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types | |
Applicative m => Applicative (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types pure :: a -> RescueT errs m a # (<*>) :: RescueT errs m (a -> b) -> RescueT errs m a -> RescueT errs m b # liftA2 :: (a -> b -> c) -> RescueT errs m a -> RescueT errs m b -> RescueT errs m c # (*>) :: RescueT errs m a -> RescueT errs m b -> RescueT errs m b # (<*) :: RescueT errs m a -> RescueT errs m b -> RescueT errs m a # | |
Foldable m => Foldable (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types fold :: Monoid m0 => RescueT errs m m0 -> m0 # foldMap :: Monoid m0 => (a -> m0) -> RescueT errs m a -> m0 # foldMap' :: Monoid m0 => (a -> m0) -> RescueT errs m a -> m0 # foldr :: (a -> b -> b) -> b -> RescueT errs m a -> b # foldr' :: (a -> b -> b) -> b -> RescueT errs m a -> b # foldl :: (b -> a -> b) -> b -> RescueT errs m a -> b # foldl' :: (b -> a -> b) -> b -> RescueT errs m a -> b # foldr1 :: (a -> a -> a) -> RescueT errs m a -> a # foldl1 :: (a -> a -> a) -> RescueT errs m a -> a # toList :: RescueT errs m a -> [a] # null :: RescueT errs m a -> Bool # length :: RescueT errs m a -> Int # elem :: Eq a => a -> RescueT errs m a -> Bool # maximum :: Ord a => RescueT errs m a -> a # minimum :: Ord a => RescueT errs m a -> a # | |
(Monad m, Traversable m) => Traversable (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types traverse :: Applicative f => (a -> f b) -> RescueT errs m a -> f (RescueT errs m b) # sequenceA :: Applicative f => RescueT errs m (f a) -> f (RescueT errs m a) # mapM :: Monad m0 => (a -> m0 b) -> RescueT errs m a -> m0 (RescueT errs m b) # sequence :: Monad m0 => RescueT errs m (m0 a) -> m0 (RescueT errs m a) # | |
MonadIO m => MonadIO (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types | |
MonadThrow m => MonadThrow (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types | |
MonadCatch m => MonadCatch (RescueT errs m) Source # | |
Monad m => MonadRaise (RescueT errs m) Source # | |
Monad m => MonadRescue (RescueT errs m) Source # | |
Eq (m (Either (OpenUnion errs) a)) => Eq (RescueT errs m a) Source # | |
Show (m (Either (OpenUnion errs) a)) => Show (RescueT errs m a) Source # | |
type Errors (RescueT errs m) Source # | |
Defined in Control.Monad.Trans.Rescue.Types |