Control.Error.Context.Katip

Provides an API for enriching errors with contexts.

Documentation

newtype ErrorContextKatipT m a

Data type implementing MonadErrorContext.

Constructors

ErrorContextKatipT

Fields

• runErrorContextKatipT :: m a

Instances

MonadTrans ErrorContextKatipT

Methods

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

MonadWriter w m => MonadWriter w (ErrorContextKatipT m)

Methods

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

tell :: w -> ErrorContextKatipT m ()

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

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

MonadState s m => MonadState s (ErrorContextKatipT m)

Methods

get :: ErrorContextKatipT m s

put :: s -> ErrorContextKatipT m ()

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

MonadReader r m => MonadReader r (ErrorContextKatipT m)

Methods

ask :: ErrorContextKatipT m r

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

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

Monad m => Monad (ErrorContextKatipT m)

Methods

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

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

return :: a -> ErrorContextKatipT m a

fail :: String -> ErrorContextKatipT m a

Functor m => Functor (ErrorContextKatipT m)

Methods

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

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

Applicative m => Applicative (ErrorContextKatipT m)

Methods

pure :: a -> ErrorContextKatipT m a

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

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

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

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

(KatipContext m, MonadCatch m, MonadIO m) => MonadIO (ErrorContextKatipT m)

Methods

liftIO :: IO a -> ErrorContextKatipT m a

(KatipContext m, MonadCatch m, MonadResource m) => MonadResource (ErrorContextKatipT m)

Methods

liftResourceT :: ResourceT IO a -> ErrorContextKatipT m a

(KatipContext m, MonadCatch m) => MonadThrow (ErrorContextKatipT m)

Methods

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

(KatipContext m, MonadCatch m) => MonadCatch (ErrorContextKatipT m)

Methods

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

(MonadCatch m, KatipContext m) => KatipContext (ErrorContextKatipT m)

Methods

getKatipContext :: ErrorContextKatipT m LogContexts

localKatipContext :: (LogContexts -> LogContexts) -> ErrorContextKatipT m a -> ErrorContextKatipT m a

getKatipNamespace :: ErrorContextKatipT m Namespace

localKatipNamespace :: (Namespace -> Namespace) -> ErrorContextKatipT m a -> ErrorContextKatipT m a

(MonadCatch m, KatipContext m, MonadIO m, Katip m) => Katip (ErrorContextKatipT m)

Methods

getLogEnv :: ErrorContextKatipT m LogEnv

localLogEnv :: (LogEnv -> LogEnv) -> ErrorContextKatipT m a -> ErrorContextKatipT m a

(MonadCatch m, KatipContext m) => MonadErrorContext (ErrorContextKatipT m)

Methods

errorContextCollect :: ErrorContextKatipT m ErrorContext

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

withErrorNamespace :: Text -> ErrorContextKatipT m a -> ErrorContextKatipT m a