Control.Monad.Trans.CTrace

Contextual tracing monad transformer. transformers-compatible.

Documentation

data TracerT c m a

Contextual tracing monad transformer type. Tracing context c can be modified through this monad.

Instances

MonadRWS r w s m => MonadRWS r w s (TracerT c m)

MonadError e m => MonadError e (TracerT c m)

Methods

throwError :: e -> TracerT c m a

catchError :: TracerT c m a -> (e -> TracerT c m a) -> TracerT c m a

MonadReader r m => MonadReader r (TracerT c m)

Methods

ask :: TracerT c m r

local :: (r -> r) -> TracerT c m a -> TracerT c m a

reader :: (r -> a) -> TracerT c m a

MonadState s m => MonadState s (TracerT c m)

Methods

get :: TracerT c m s

put :: s -> TracerT c m ()

state :: (s -> (a, s)) -> TracerT c m a

MonadWriter w m => MonadWriter w (TracerT c m)

Methods

writer :: (a, w) -> TracerT c m a

tell :: w -> TracerT c m ()

listen :: TracerT c m a -> TracerT c m (a, w)

pass :: TracerT c m (a, w -> w) -> TracerT c m a

MonadIO m => MonadTrace c (TracerT c m)

Methods

update :: (c -> c) -> TracerT c m ()

zoom' :: ASetter' c c -> TracerT c m a -> TracerT c m a

MonadTrans (TracerT c)

Methods

lift :: Monad m => m a -> TracerT c m a

Monad m => Monad (TracerT c m)

Methods

(>>=) :: TracerT c m a -> (a -> TracerT c m b) -> TracerT c m b

(>>) :: TracerT c m a -> TracerT c m b -> TracerT c m b

return :: a -> TracerT c m a

fail :: String -> TracerT c m a

Functor m => Functor (TracerT c m)

Methods

fmap :: (a -> b) -> TracerT c m a -> TracerT c m b

(<$) :: a -> TracerT c m b -> TracerT c m a

MonadFix m => MonadFix (TracerT c m)

Methods

mfix :: (a -> TracerT c m a) -> TracerT c m a

Applicative m => Applicative (TracerT c m)

Methods

pure :: a -> TracerT c m a

(<*>) :: TracerT c m (a -> b) -> TracerT c m a -> TracerT c m b

(*>) :: TracerT c m a -> TracerT c m b -> TracerT c m b

(<*) :: TracerT c m a -> TracerT c m b -> TracerT c m a

MonadIO m => MonadIO (TracerT c m)

Methods

liftIO :: IO a -> TracerT c m a

MonadCont m => MonadCont (TracerT c m)

Methods

callCC :: ((a -> TracerT c m b) -> TracerT c m a) -> TracerT c m a

mapTracerT :: (m a -> n b) -> TracerT c m a -> TracerT c n b

Transform the base monad

runTracerT :: ((c -> c) -> IO ()) -> TracerT c m a -> m a

Run the tracer monad with the specified update action.

zoom :: ASetter' c c' -> TracerT c' m a -> TracerT c m a

Change the tracing context.

update :: MonadIO m => (c -> c) -> TracerT c m ()

Perform modification on the tracing context

noTracerT :: Monad m => TracerT c m a -> m a

Run the tracer monad without tracing.

ioTracerT :: MonadIO m => c -> TracerT c m a -> m (a, c)

Run the tracer monad with update action implemented by IORef