module Log.Class (
UTCTime
, MonadLog(..)
, logAttention
, logInfo
, logTrace
, logAttention_
, logInfo_
, logTrace_
) where
import Control.Monad.Trans
import Control.Monad.Trans.Control
import Data.Aeson
import Data.Aeson.Types
import Data.Time
import Prelude
import qualified Data.Text as T
import Log.Data
import Log.Logger
class Monad m => MonadLog m where
logMessage
:: LogLevel
-> T.Text
-> Value
-> m ()
localData :: [Pair] -> m a -> m a
localDomain :: T.Text -> m a -> m a
localMaxLogLevel :: LogLevel -> m a -> m a
getLoggerEnv :: m LoggerEnv
instance {-# OVERLAPPABLE #-} (
MonadLog m
, Monad (t m)
, MonadTransControl t
) => MonadLog (t m) where
logMessage :: LogLevel -> Text -> Value -> t m ()
logMessage LogLevel
level Text
message = m () -> t m ()
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> t m ()) -> (Value -> m ()) -> Value -> t m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LogLevel -> Text -> Value -> m ()
forall (m :: * -> *).
MonadLog m =>
LogLevel -> Text -> Value -> m ()
logMessage LogLevel
level Text
message
localData :: [Pair] -> t m a -> t m a
localData [Pair]
data_ t m a
m = (Run t -> m (StT t a)) -> t m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTransControl t, Monad (t m), Monad m) =>
(Run t -> m (StT t a)) -> t m a
controlT ((Run t -> m (StT t a)) -> t m a)
-> (Run t -> m (StT t a)) -> t m a
forall a b. (a -> b) -> a -> b
$ \Run t
run -> [Pair] -> m (StT t a) -> m (StT t a)
forall (m :: * -> *) a. MonadLog m => [Pair] -> m a -> m a
localData [Pair]
data_ (t m a -> m (StT t a)
Run t
run t m a
m)
localDomain :: Text -> t m a -> t m a
localDomain Text
domain t m a
m = (Run t -> m (StT t a)) -> t m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTransControl t, Monad (t m), Monad m) =>
(Run t -> m (StT t a)) -> t m a
controlT ((Run t -> m (StT t a)) -> t m a)
-> (Run t -> m (StT t a)) -> t m a
forall a b. (a -> b) -> a -> b
$ \Run t
run -> Text -> m (StT t a) -> m (StT t a)
forall (m :: * -> *) a. MonadLog m => Text -> m a -> m a
localDomain Text
domain (t m a -> m (StT t a)
Run t
run t m a
m)
localMaxLogLevel :: LogLevel -> t m a -> t m a
localMaxLogLevel LogLevel
level t m a
m = (Run t -> m (StT t a)) -> t m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTransControl t, Monad (t m), Monad m) =>
(Run t -> m (StT t a)) -> t m a
controlT ((Run t -> m (StT t a)) -> t m a)
-> (Run t -> m (StT t a)) -> t m a
forall a b. (a -> b) -> a -> b
$ \Run t
run -> LogLevel -> m (StT t a) -> m (StT t a)
forall (m :: * -> *) a. MonadLog m => LogLevel -> m a -> m a
localMaxLogLevel LogLevel
level (t m a -> m (StT t a)
Run t
run t m a
m)
getLoggerEnv :: t m LoggerEnv
getLoggerEnv = m LoggerEnv -> t m LoggerEnv
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift m LoggerEnv
forall (m :: * -> *). MonadLog m => m LoggerEnv
getLoggerEnv
logAttention :: (MonadLog m, ToJSON a) => T.Text -> a -> m ()
logAttention :: Text -> a -> m ()
logAttention Text
msg = LogLevel -> Text -> Value -> m ()
forall (m :: * -> *).
MonadLog m =>
LogLevel -> Text -> Value -> m ()
logMessage LogLevel
LogAttention Text
msg (Value -> m ()) -> (a -> Value) -> a -> m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> Value
forall a. ToJSON a => a -> Value
toJSON
logInfo :: (MonadLog m, ToJSON a) => T.Text -> a -> m ()
logInfo :: Text -> a -> m ()
logInfo Text
msg = LogLevel -> Text -> Value -> m ()
forall (m :: * -> *).
MonadLog m =>
LogLevel -> Text -> Value -> m ()
logMessage LogLevel
LogInfo Text
msg (Value -> m ()) -> (a -> Value) -> a -> m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> Value
forall a. ToJSON a => a -> Value
toJSON
logTrace :: (MonadLog m, ToJSON a) => T.Text -> a -> m ()
logTrace :: Text -> a -> m ()
logTrace Text
msg = LogLevel -> Text -> Value -> m ()
forall (m :: * -> *).
MonadLog m =>
LogLevel -> Text -> Value -> m ()
logMessage LogLevel
LogTrace Text
msg (Value -> m ()) -> (a -> Value) -> a -> m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> Value
forall a. ToJSON a => a -> Value
toJSON
logAttention_ :: MonadLog m => T.Text -> m ()
logAttention_ :: Text -> m ()
logAttention_ = (Text -> Value -> m ()
forall (m :: * -> *) a. (MonadLog m, ToJSON a) => Text -> a -> m ()
`logAttention` Value
emptyObject)
logInfo_ :: MonadLog m => T.Text -> m ()
logInfo_ :: Text -> m ()
logInfo_ = (Text -> Value -> m ()
forall (m :: * -> *) a. (MonadLog m, ToJSON a) => Text -> a -> m ()
`logInfo` Value
emptyObject)
logTrace_ :: MonadLog m => T.Text -> m ()
logTrace_ :: Text -> m ()
logTrace_ = (Text -> Value -> m ()
forall (m :: * -> *) a. (MonadLog m, ToJSON a) => Text -> a -> m ()
`logTrace` Value
emptyObject)