Control.Monad.Raise.Class

The MonadRaise class, which is an effect for early escape / happy path programming with an exception side channel

Documentation

class Monad m => MonadRaise m where

Raise semantics, like a type-directed MonadThrow. Not unlike MonadError with an in-built open variant.

Associated Types

type Errors m :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors m)) => err -> m a

Raise an error

The Proxy gives a type hint to the type checker. If you have a case where it can be inferred, see raise'.

Examples

>>> data FooErr  = FooErr  deriving Show
>>> data BarErr  = BarErr  deriving Show
>>> data QuuxErr = QuuxErr deriving Show
>>> 
>>> type MyErrs  = '[FooErr, BarErr]
>>> 
>>> :{
 goesBoom :: Int -> Either (OpenUnion MyErrs) Int
 goesBoom x =
   if x > 50
     then return x
     else raise FooErr
:}

>>> goesBoom 42
Left (Identity FooErr)

>>> :{
 maybeBoom :: Int -> Maybe Int
 maybeBoom x =
   if x > 50
     then return x
     else raise ()
:}

>>> maybeBoom 42
Nothing

Instances

MonadRaise []

Defined in Control.Monad.Raise.Class

Associated Types

type Errors [] :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors [])) => err -> [a]

MonadRaise Maybe

Defined in Control.Monad.Raise.Class

Associated Types

type Errors Maybe :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors Maybe)) => err -> Maybe a

MonadRaise IO

Defined in Control.Monad.Raise.Class

Associated Types

type Errors IO :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors IO)) => err -> IO a

MonadRaise STM

Defined in Control.Monad.Raise.Class

Associated Types

type Errors STM :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors STM)) => err -> STM a

MonadRaise (Either (OpenUnion errs))

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (Either (OpenUnion errs)) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (Either (OpenUnion errs)))) => err -> Either (OpenUnion errs) a

MonadRaise (ST s)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (ST s) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (ST s))) => err -> ST s a

MonadRaise m => MonadRaise (MaybeT m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (MaybeT m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (MaybeT m))) => err -> MaybeT m a

MonadRaise m => MonadRaise (CatchT m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (CatchT m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (CatchT m))) => err -> CatchT m a

(Contains (Errors m) (Errors m), MonadRaise m, MonadThrow m) => MonadRaise (CleanupT m)

Defined in Control.Monad.Trans.Cleanup.Types

Associated Types

type Errors (CleanupT m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (CleanupT m))) => err -> CleanupT m a

MonadRaise m => MonadRaise (IdentityT m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (IdentityT m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (IdentityT m))) => err -> IdentityT m a

(MonadRaise m, Contains (Errors m) errs) => MonadRaise (ExceptT (OpenUnion errs) m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (ExceptT (OpenUnion errs) m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (ExceptT (OpenUnion errs) m))) => err -> ExceptT (OpenUnion errs) m a

MonadRaise m => MonadRaise (StateT s m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (StateT s m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (StateT s m))) => err -> StateT s m a

MonadRaise m => MonadRaise (StateT s m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (StateT s m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (StateT s m))) => err -> StateT s m a

(MonadRaise m, Monoid w) => MonadRaise (WriterT w m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (WriterT w m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (WriterT w m))) => err -> WriterT w m a

(MonadRaise m, Monoid w) => MonadRaise (WriterT w m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (WriterT w m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (WriterT w m))) => err -> WriterT w m a

Monad m => MonadRaise (RescueT errs m)

Defined in Control.Monad.Trans.Rescue.Types

Associated Types

type Errors (RescueT errs m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (RescueT errs m))) => err -> RescueT errs m a

MonadRaise m => MonadRaise (ContT r m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (ContT r m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (ContT r m))) => err -> ContT r m a

MonadRaise m => MonadRaise (ReaderT cfg m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (ReaderT cfg m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (ReaderT cfg m))) => err -> ReaderT cfg m a

(MonadRaise m, Monoid w) => MonadRaise (RWST r w s m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (RWST r w s m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (RWST r w s m))) => err -> RWST r w s m a

(MonadRaise m, Monoid w) => MonadRaise (RWST r w s m)

Defined in Control.Monad.Raise.Class

Associated Types

type Errors (RWST r w s m) :: [Type]

Methods

raise :: Subset err (OpenUnion (Errors (RWST r w s m))) => err -> RWST r w s m a