Control.Monad.Exception.Instances

Documentation

Orphan instances

MonadCont m => MonadCont (ExceptionT m)

Methods

callCC :: ((a -> ExceptionT m b) -> ExceptionT m a) -> ExceptionT m a

MonadRWS m => MonadRWS (ExceptionT m)

MonadReader m => MonadReader (ExceptionT m)

Associated Types

type EnvType (ExceptionT m :: * -> *) :: *

Methods

ask :: ExceptionT m (EnvType (ExceptionT m))

local :: (EnvType (ExceptionT m) -> EnvType (ExceptionT m)) -> ExceptionT m a -> ExceptionT m a

MonadState m => MonadState (ExceptionT m)

Associated Types

type StateType (ExceptionT m :: * -> *) :: *

Methods

get :: ExceptionT m (StateType (ExceptionT m))

put :: StateType (ExceptionT m) -> ExceptionT m ()

MonadWriter m => MonadWriter (ExceptionT m)

Associated Types

type WriterType (ExceptionT m :: * -> *) :: *

Methods

tell :: WriterType (ExceptionT m) -> ExceptionT m ()

listen :: ExceptionT m a -> ExceptionT m (a, WriterType (ExceptionT m))

pass :: ExceptionT m (a, WriterType (ExceptionT m) -> WriterType (ExceptionT m)) -> ExceptionT m a