Control.Error.Context.Simple

Documentation

newtype ErrorContextT m a

Data type implementing MonadErrorContext.

Constructors

ErrorContextT

Fields

• _runErrorContextT :: ReaderT ErrorContext m a

Instances

MonadTrans ErrorContextT

Methods

lift :: Monad m => m a -> ErrorContextT m a

MonadWriter w m => MonadWriter w (ErrorContextT m)

Methods

writer :: (a, w) -> ErrorContextT m a

tell :: w -> ErrorContextT m ()

listen :: ErrorContextT m a -> ErrorContextT m (a, w)

pass :: ErrorContextT m (a, w -> w) -> ErrorContextT m a

MonadState s m => MonadState s (ErrorContextT m)

Methods

get :: ErrorContextT m s

put :: s -> ErrorContextT m ()

state :: (s -> (a, s)) -> ErrorContextT m a

MonadReader r m => MonadReader r (ErrorContextT m)

Methods

ask :: ErrorContextT m r

local :: (r -> r) -> ErrorContextT m a -> ErrorContextT m a

reader :: (r -> a) -> ErrorContextT m a

Monad m => Monad (ErrorContextT m)

Methods

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

(>>) :: ErrorContextT m a -> ErrorContextT m b -> ErrorContextT m b

return :: a -> ErrorContextT m a

fail :: String -> ErrorContextT m a

Functor m => Functor (ErrorContextT m)

Methods

fmap :: (a -> b) -> ErrorContextT m a -> ErrorContextT m b

(<$) :: a -> ErrorContextT m b -> ErrorContextT m a

Applicative m => Applicative (ErrorContextT m)

Methods

pure :: a -> ErrorContextT m a

(<*>) :: ErrorContextT m (a -> b) -> ErrorContextT m a -> ErrorContextT m b

liftA2 :: (a -> b -> c) -> ErrorContextT m a -> ErrorContextT m b -> ErrorContextT m c

(*>) :: ErrorContextT m a -> ErrorContextT m b -> ErrorContextT m b

(<*) :: ErrorContextT m a -> ErrorContextT m b -> ErrorContextT m a

(MonadCatch m, MonadIO m) => MonadIO (ErrorContextT m)

Methods

liftIO :: IO a -> ErrorContextT m a

(MonadCatch m, MonadResource m) => MonadResource (ErrorContextT m)

Methods

liftResourceT :: ResourceT IO a -> ErrorContextT m a

MonadCatch m => MonadThrow (ErrorContextT m)

Methods

throwM :: Exception e => e -> ErrorContextT m a

MonadCatch m => MonadCatch (ErrorContextT m)

Methods

catch :: Exception e => ErrorContextT m a -> (e -> ErrorContextT m a) -> ErrorContextT m a

MonadCatch m => MonadErrorContext (ErrorContextT m)

Methods

errorContextCollect :: ErrorContextT m ErrorContext

withErrorContext :: ToJSON v => Text -> v -> ErrorContextT m a -> ErrorContextT m a

withErrorNamespace :: Text -> ErrorContextT m a -> ErrorContextT m a

runErrorContextT :: ErrorContextT m a -> m a