Generic Logger Source #
Instance details Defined in Arbor.Monad.Logger.Types Associated Types type Rep Logger :: Type -> Type # Methods from :: Logger -> Rep Logger x # to :: Rep Logger x -> Logger #
type Rep Logger Source #
Instance details Defined in Arbor.Monad.Logger.Types type Rep Logger = D1 (MetaData "Logger" "Arbor.Monad.Logger.Types" "arbor-monad-logger-0.1.1.3-1GyA9tr6CDI5F1W6M4Scb1" False) (C1 (MetaCons "Logger" PrefixI True) (S1 (MetaSel (Just "logger") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TimedFastLogger) :*: S1 (MetaSel (Just "logLevel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LogLevel)))

data LogLevel #

Constructors

LevelDebug
LevelInfo
LevelWarn
LevelError
LevelOther Text

Instances

Eq LogLevel
Instance details Defined in Control.Monad.Logger Methods (==) :: LogLevel -> LogLevel -> Bool # (/=) :: LogLevel -> LogLevel -> Bool #
Ord LogLevel
Instance details Defined in Control.Monad.Logger Methods compare :: LogLevel -> LogLevel -> Ordering # (<) :: LogLevel -> LogLevel -> Bool # (<=) :: LogLevel -> LogLevel -> Bool # (>) :: LogLevel -> LogLevel -> Bool # (>=) :: LogLevel -> LogLevel -> Bool # max :: LogLevel -> LogLevel -> LogLevel # min :: LogLevel -> LogLevel -> LogLevel #
Read LogLevel
Instance details Defined in Control.Monad.Logger Methods readsPrec :: Int -> ReadS LogLevel # readList :: ReadS [LogLevel] # readPrec :: ReadPrec LogLevel # readListPrec :: ReadPrec [LogLevel] #
Show LogLevel
Instance details Defined in Control.Monad.Logger Methods showsPrec :: Int -> LogLevel -> ShowS # show :: LogLevel -> String # showList :: [LogLevel] -> ShowS #
Lift LogLevel
Instance details Defined in Control.Monad.Logger Methods lift :: LogLevel -> Q Exp #

newtype LoggingT (m :: Type -> Type) a #

Monad transformer that adds a new logging function.

Since: monad-logger-0.2.2

Constructors

LoggingT
Fields runLoggingT :: (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) -> m a

Instances

MonadTrans LoggingT
Instance details Defined in Control.Monad.Logger Methods lift :: Monad m => m a -> LoggingT m a #
MonadTransControl LoggingT
Instance details Defined in Control.Monad.Logger Associated Types type StT LoggingT a :: Type # Methods liftWith :: Monad m => (Run LoggingT -> m a) -> LoggingT m a # restoreT :: Monad m => m (StT LoggingT a) -> LoggingT m a #
MonadRWS r w s m => MonadRWS r w s (LoggingT m)
Instance details Defined in Control.Monad.Logger
MonadBase b m => MonadBase b (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods liftBase :: b α -> LoggingT m α #
MonadBaseControl b m => MonadBaseControl b (LoggingT m)
Instance details Defined in Control.Monad.Logger Associated Types type StM (LoggingT m) a :: Type # Methods liftBaseWith :: (RunInBase (LoggingT m) b -> b a) -> LoggingT m a # restoreM :: StM (LoggingT m) a -> LoggingT m a #
MonadWriter w m => MonadWriter w (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods writer :: (a, w) -> LoggingT m a # tell :: w -> LoggingT m () # listen :: LoggingT m a -> LoggingT m (a, w) # pass :: LoggingT m (a, w -> w) -> LoggingT m a #
MonadState s m => MonadState s (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods get :: LoggingT m s # put :: s -> LoggingT m () # state :: (s -> (a, s)) -> LoggingT m a #
MonadReader r m => MonadReader r (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods ask :: LoggingT m r # local :: (r -> r) -> LoggingT m a -> LoggingT m a # reader :: (r -> a) -> LoggingT m a #
MonadError e m => MonadError e (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods throwError :: e -> LoggingT m a # catchError :: LoggingT m a -> (e -> LoggingT m a) -> LoggingT m a #
Monad m => Monad (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods (>>=) :: LoggingT m a -> (a -> LoggingT m b) -> LoggingT m b # (>>) :: LoggingT m a -> LoggingT m b -> LoggingT m b # return :: a -> LoggingT m a # fail :: String -> LoggingT m a #
Functor m => Functor (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods fmap :: (a -> b) -> LoggingT m a -> LoggingT m b # (<$) :: a -> LoggingT m b -> LoggingT m a #
MonadFail m => MonadFail (LoggingT m)	Since: monad-logger-0.3.30
Instance details Defined in Control.Monad.Logger Methods fail :: String -> LoggingT m a #
Applicative m => Applicative (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods pure :: a -> LoggingT m a # (<>) :: LoggingT m (a -> b) -> LoggingT m a -> LoggingT m b # liftA2 :: (a -> b -> c) -> LoggingT m a -> LoggingT m b -> LoggingT m c # (>) :: LoggingT m a -> LoggingT m b -> LoggingT m b # (<*) :: LoggingT m a -> LoggingT m b -> LoggingT m a #
MonadIO m => MonadIO (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods liftIO :: IO a -> LoggingT m a #
MonadUnliftIO m => MonadUnliftIO (LoggingT m)	Since: monad-logger-0.3.26
Instance details Defined in Control.Monad.Logger Methods askUnliftIO :: LoggingT m (UnliftIO (LoggingT m)) # withRunInIO :: ((forall a. LoggingT m a -> IO a) -> IO b) -> LoggingT m b #
MonadResource m => MonadResource (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods liftResourceT :: ResourceT IO a -> LoggingT m a #
MonadThrow m => MonadThrow (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods throwM :: Exception e => e -> LoggingT m a #
MonadActive m => MonadActive (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods monadActive :: LoggingT m Bool #
MonadCatch m => MonadCatch (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods catch :: Exception e => LoggingT m a -> (e -> LoggingT m a) -> LoggingT m a #
MonadMask m => MonadMask (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods mask :: ((forall a. LoggingT m a -> LoggingT m a) -> LoggingT m b) -> LoggingT m b # uninterruptibleMask :: ((forall a. LoggingT m a -> LoggingT m a) -> LoggingT m b) -> LoggingT m b # generalBracket :: LoggingT m a -> (a -> ExitCase b -> LoggingT m c) -> (a -> LoggingT m b) -> LoggingT m (b, c) #
MonadIO m => MonadLogger (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> LoggingT m () #
MonadIO m => MonadLoggerIO (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods askLoggerIO :: LoggingT m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) #
MonadCont m => MonadCont (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods callCC :: ((a -> LoggingT m b) -> LoggingT m a) -> LoggingT m a #
type StT LoggingT a
Instance details Defined in Control.Monad.Logger type StT LoggingT a = a
type StM (LoggingT m) a
Instance details Defined in Control.Monad.Logger type StM (LoggingT m) a = StM m a

class Monad m => MonadLogger (m :: Type -> Type) where #

A Monad which has the ability to log messages in some manner.

Minimal complete definition

Nothing

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> m () #

Instances

MonadLogger m => MonadLogger (MaybeT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> MaybeT m () #
MonadLogger m => MonadLogger (ResourceT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ResourceT m () #
MonadLogger m => MonadLogger (ListT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ListT m () #
Monad m => MonadLogger (NoLoggingT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> NoLoggingT m () #
Monad m => MonadLogger (WriterLoggingT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterLoggingT m () #
MonadIO m => MonadLogger (LoggingT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> LoggingT m () #
(MonadLogger m, Monoid w) => MonadLogger (WriterT w m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterT w m () #
(MonadLogger m, Monoid w) => MonadLogger (WriterT w m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterT w m () #
MonadLogger m => MonadLogger (StateT s m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> StateT s m () #
MonadLogger m => MonadLogger (StateT s m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> StateT s m () #
MonadLogger m => MonadLogger (ExceptT e m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ExceptT e m () #
(MonadLogger m, Error e) => MonadLogger (ErrorT e m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ErrorT e m () #
MonadLogger m => MonadLogger (IdentityT m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> IdentityT m () #
MonadLogger m => MonadLogger (ReaderT r m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ReaderT r m () #
MonadLogger m => MonadLogger (ConduitM i o m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ConduitM i o m () #
MonadLogger m => MonadLogger (ContT r m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ContT r m () #
(MonadLogger m, Monoid w) => MonadLogger (RWST r w s m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> RWST r w s m () #
(MonadLogger m, Monoid w) => MonadLogger (RWST r w s m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> RWST r w s m () #
MonadLogger m => MonadLogger (Pipe l i o u m)
Instance details Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> Pipe l i o u m () #

type TimedFastLogger = (FormattedTime -> LogStr) -> IO () #

TimedFastLogger pass FormattedTime to callback and simply log its result. this can be used to customize how to log timestamp.

Usually, one would write a wrapper on top of TimedFastLogger, for example:

{--}

log :: TimedFastLogger -> LogStr -> IO ()
log logger msg = logger (time -> toLogStr (show time) <> " " <> msg <> "n")