Control.Carrier.Logging.Generic

generic, thread safe logging

Documentation

newtype GenericLoggingC m a

Constructors

MkGenericLoggingC

Fields

• runGenericLoggingC :: TChan LogMsg -> m a

Instances

MonadFail m => MonadFail (GenericLoggingC m)

Defined in Control.Carrier.Logging.Generic

Methods

fail :: String -> GenericLoggingC m a

MonadIO m => MonadIO (GenericLoggingC m)

Defined in Control.Carrier.Logging.Generic

Methods

liftIO :: IO a -> GenericLoggingC m a

Applicative m => Applicative (GenericLoggingC m)

Defined in Control.Carrier.Logging.Generic

Methods

pure :: a -> GenericLoggingC m a

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

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

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

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

Functor m => Functor (GenericLoggingC m)

Defined in Control.Carrier.Logging.Generic

Methods

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

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

Monad m => Monad (GenericLoggingC m)

Defined in Control.Carrier.Logging.Generic

Methods

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

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

return :: a -> GenericLoggingC m a

MonadUnliftIO m => MonadUnliftIO (GenericLoggingC m)

Defined in Control.Carrier.Logging.Generic

Methods

withRunInIO :: ((forall a. GenericLoggingC m a -> IO a) -> IO b) -> GenericLoggingC m b

(Algebra sig m, MonadIO m) => Algebra (Logging :+: sig) (GenericLoggingC m)

Defined in Control.Carrier.Logging.Generic

Methods

alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (GenericLoggingC m) -> (Logging :+: sig) n a -> ctx () -> GenericLoggingC m (ctx a)

runGenericLogging

Arguments

:: MonadUnliftIO m

=> (LogMsg -> m ())

what to do with a log message

-> GenericLoggingC m a

the action

-> m a

runStdoutLogging :: MonadUnliftIO m => GenericLoggingC m a -> m a

log to stdout, supports concurrency

runColourLogging :: MonadUnliftIO m => GenericLoggingC m a -> m a

logs to stdout, supports concurrency, logs are printed in colours according to the severity