git.iko.soy/typeable/control-logger
on master help sign in
12 files changed+214−301
since splitsnapshots
unifiedsplit
.gitignore+3 LICENSE+2 README.md+3 control-logger.cabal+51−47 default.nix+9 src/Control/Logger.hs+75−20 src/Control/Logger/Google.hs−23 src/Control/Logger/Internal.hs+29−8 src/Control/Logger/Katip.hs+5−130 src/Control/Logger/Katip/Scribes/Reopenable.hs−19 src/Control/Logger/Katip/Utils.hs+35−52 src/Control/Logger/Orphans.hs+2−2
.gitignorenew file+3
@@ -0,0 +1,3 @@
1+.stack-work
2+*~
3+*.swp
LICENSEnew file+2
@@ -0,0 +1,2 @@
1+Copyright © 2020, Antorica LLC
2+All rights reserved
README.mdnew file+3
@@ -0,0 +1,3 @@
1+# control-logger
2+
3+Utilities for logging
control-logger.cabal+51−47
@@ -1,51 +1,55 @@
1−name: control-logger
2−version: 0.1.0.0
3−synopsis: Logger used by all projects
4−license: AllRightsReserved
5−build-type: Simple
6−cabal-version: >=1.10
1+cabal-version: 2.4
2+name: control-logger
3+version: 0.1.0.0
4+synopsis: Logger used by all projects
5+license-file: LICENSE
6+build-type: Simple
77
88library
9− hs-source-dirs: src
10− ghc-options: -Wall
9+ hs-source-dirs: src
10+ ghc-options: -Wall
11+
1112 if !impl(ghcjs)
12− exposed-modules: Control.Logger
13− Control.Logger.Katip
14− Control.Logger.Katip.Scribes.Reopenable
15− Control.Logger.Google
16− Control.Logger.Katip.Utils
17− Control.Logger.Orphans
18− exposed-modules: Control.Logger.Internal
19− build-depends: base
20− , aeson
21− , bloodhound
22− , bytestring
23− , control-has
24− , deepseq
25− , exceptions
26− , fast-logger
27− , http-client
28− , lens
29− , monad-logger
30− , mtl
31− , shakespeare
32− , text
33− , time
34− , unordered-containers
13+ exposed-modules:
14+ Control.Logger
15+ Control.Logger.Katip
16+ Control.Logger.Katip.Utils
17+ Control.Logger.Orphans
18+
19+ exposed-modules: Control.Logger.Internal
20+ build-depends:
21+ , aeson
22+ , base >=4.11
23+ , bytestring
24+ , control-has
25+ , control-has-katip
26+ , deepseq
27+ , exceptions
28+ , fast-logger >=2.4.11
29+ , http-client
30+ , lens
31+ , monad-logger
32+ , mtl
33+ , shakespeare
34+ , text
35+ , time
36+ , unordered-containers
37+
3538 if !impl(ghcjs)
36− build-depends: katip
37− , katip-elasticsearch
38− , optparse-applicative
39− , gogol
40− default-language: Haskell2010
41− default-extensions: RankNTypes
42− DataKinds
43− FlexibleContexts
44− FlexibleInstances
45− LambdaCase
46− OverloadedStrings
47− ScopedTypeVariables
48− DeriveGeneric
49− ConstraintKinds
50− RecordWildCards
51− TypeSynonymInstances
39+ build-depends:
40+ , katip >=0.8.8.0
41+ , optparse-applicative
42+
43+ default-language: Haskell2010
44+ default-extensions:
45+ ConstraintKinds
46+ DataKinds
47+ DeriveGeneric
48+ FlexibleContexts
49+ FlexibleInstances
50+ LambdaCase
51+ OverloadedStrings
52+ RankNTypes
53+ RecordWildCards
54+ ScopedTypeVariables
55+ TypeSynonymInstances
default.nixnew file+9
@@ -0,0 +1,9 @@
1+{ pkgs ? import <nixpkgs> {} }:
2+
3+pkgs.mkShell {
4+ buildInputs = [
5+ pkgs.ghc
6+ pkgs.haskellPackages.cabal-install
7+ pkgs.zlib
8+ ];
9+}
src/Control/Logger.hs+75−20
@@ -1,7 +1,10 @@
1−
1+{-# LANGUAGE CPP #-}
22module Control.Logger
33 ( Logger
44 , loggerContext
5+ , scrubber
6+ , censor
7+ , censorWith
58 , logMsg
69 , logMsgWith
710 , logInfo
@@ -32,72 +35,123 @@ module Control.Logger
3235 , compactCallStack
3336 , st
3437 , ToObject(..)
38+ , withScrubber
39+ , censoringWith
40+ , censoring
3541 ) where
3642
3743import Control.Has
44+import Control.Lens hiding (censoring)
3845import Control.Logger.Internal
39−import Control.Logger.Orphans ()
46+import Control.Logger.Orphans ()
47+import Control.Monad
4048import Control.Monad.Catch
41−import qualified Data.List as List
42−import Data.Text (Text)
43−import qualified Data.Text as Text
49+import Control.Monad.IO.Class
50+import qualified Data.List as List
51+import Data.Monoid
52+import Data.Text (Text)
53+import qualified Data.Text as Text
4454import Data.Time
4555import GHC.Stack
46−import Katip (ToObject(..))
56+import Katip (ToObject (..))
4757import System.Log.FastLogger
48−import Text.Shakespeare.Text (st)
58+import Text.Shakespeare.Text (st)
4959
5060logError
5161 :: (LoggingMonad r m)
5262 => Text
5363 -> m ()
54−logError = withFrozenCallStack . logMsg Error
64+logError msg = withFrozenCallStack (logMsg Error msg)
5565
5666logDebug
5767 :: (LoggingMonad r m)
5868 => Text
5969 -> m ()
60−logDebug = withFrozenCallStack . logMsg Debug
70+logDebug msg = withFrozenCallStack (logMsg Debug msg)
6171
6272logInfo
6373 :: (LoggingMonad r m)
6474 => Text
6575 -> m ()
66−logInfo = withFrozenCallStack . logMsg Info
76+logInfo msg = withFrozenCallStack (logMsg Info msg)
6777
6878logWarn
6979 :: (LoggingMonad r m)
7080 => Text
7181 -> m ()
72−logWarn = withFrozenCallStack . logMsg Warn
82+logWarn msg = withFrozenCallStack (logMsg Warn msg)
7383
7484logInfoWith
7585 :: (MonadIO m, HasCallStack)
7686 => Logger
7787 -> Text
7888 -> m ()
79−logInfoWith logger = withFrozenCallStack . logMsgWith logger Info
89+logInfoWith logger msg = withFrozenCallStack (logMsgWith logger Info msg)
8090
8191logDebugWith
8292 :: (MonadIO m, HasCallStack)
8393 => Logger
8494 -> Text
8595 -> m ()
86−logDebugWith logger = withFrozenCallStack . logMsgWith logger Debug
96+logDebugWith logger msg = withFrozenCallStack (logMsgWith logger Debug msg)
8797
8898logWarnWith
8999 :: (MonadIO m, HasCallStack)
90100 => Logger
91101 -> Text
92102 -> m ()
93−logWarnWith logger = withFrozenCallStack . logMsgWith logger Warn
103+logWarnWith logger msg = withFrozenCallStack (logMsgWith logger Warn msg)
94104
95105logErrorWith
96106 :: (MonadIO m, HasCallStack)
97107 => Logger
98108 -> Text
99109 -> m ()
100−logErrorWith logger = withFrozenCallStack . logMsgWith logger Error
110+logErrorWith logger msg = withFrozenCallStack (logMsgWith logger Error msg)
111+
112+safeReplace :: Text -> Text -> Text -> Text
113+safeReplace what with where_
114+ | Text.null what = where_
115+ | otherwise = Text.replace what with where_
116+
117+-- | Add a some text to scrubber
118+censorWith :: Text -> Text -> Logger -> Logger
119+censorWith replacement needle l =
120+ l & scrubber <>~ Endo (safeReplace needle replacement)
121+
122+-- | Censor with "***"
123+censor :: Text -> Logger -> Logger
124+censor = censorWith "***"
125+
126+-- | Run an action with adjusted scrubber
127+withScrubber
128+ :: forall r m a. (Has Logger r, MonadReader r m)
129+ => (Endo Text -> Endo Text)
130+ -> m a
131+ -> m a
132+withScrubber scrubF = local expandScrubber
133+ where
134+ expandScrubber :: r -> r
135+ expandScrubber = over part (over scrubber scrubF)
136+
137+-- | Run an action while censoring additional text from logs
138+censoringWith
139+ :: (Has Logger r, MonadReader r m)
140+ => Text
141+ -> Text
142+ -> m a
143+ -> m a
144+censoringWith replacement txt = withScrubber (<> censored)
145+ where
146+ censored = Endo (safeReplace txt replacement)
147+
148+-- | Run an action while censoring additional text from logs
149+censoring
150+ :: (Has Logger r, MonadReader r m)
151+ => Text
152+ -> m a
153+ -> m a
154+censoring = censoringWith "***"
101155
102156-- | Log exceptions occured in computation and just ignore them.
103157tryLogError
@@ -142,20 +196,21 @@ logExceptions ma = catch ma $ \e -> do
142196 throwM e
143197
144198oneoffLog :: MonadIO m => Logger -> LogSeverity -> Text -> m ()
145−oneoffLog logger s t = flip runReaderT logger $ logMsg s t
199+oneoffLog logger s t =
200+ withFrozenCallStack (flip runReaderT logger $ logMsg s t)
146201
147202fileLogger :: MonadIO m => FilePath -> m Logger
148203fileLogger fp = fastFunc <$> liftIO (newFileLoggerSet defaultBufSize fp)
149204
150205silentLogger :: Logger
151−silentLogger = Logger mempty (\_ _ _ _ -> return ())
206+silentLogger = Logger mempty mempty (\_ _ _ _ -> return ())
152207
153208-- | Logger which flushes buffer after each message. This is useful with
154209-- stderrLogger.
155210flushingFastFunc
156211 :: LogSeverity -> LoggerSet -> Logger
157212flushingFastFunc minLogLevel loggerSet =
158− Logger mempty $ \_ stack logLevel msg ->
213+ Logger mempty mempty $ \_ stack logLevel msg ->
159214 when (logLevel >= minLogLevel) $ do
160215 ts <- getCurrentTime
161216 pushLogStr loggerSet
@@ -179,14 +234,14 @@ flushingStderrLogger =
179234-- | Make our outdated 'Logger' of fast-logger's 'LoggerSet'
180235fastFunc :: LoggerSet -> Logger
181236fastFunc loggerSet =
182− Logger mempty $ \_ _ _ msg -> pushLogStr loggerSet $ toLogStr msg
237+ Logger mempty mempty $ \_ _ _ msg -> pushLogStr loggerSet $ toLogStr msg
183238
184239type LogSource = Text
185240
186241-- | Default logger tests and same things.
187242defaultFastFunc :: LogSource -> LogSeverity -> LoggerSet -> Logger
188243defaultFastFunc loc minLogLevel loggerSet =
189− Logger mempty $ \_ stack s msg -> when (s >= minLogLevel) $ do
244+ Logger mempty mempty $ \_ stack s msg -> when (s >= minLogLevel) $ do
190245 ts <- getCurrentTime
191246 pushLogStr loggerSet $ formatLogStr ts stack loc s (toLogStr msg)
192247
src/Control/Logger/Google.hsdeleted−23
@@ -1,23 +0,0 @@
1−module Control.Logger.Google
2− ( toGoogleLogger
3− ) where
4−
5−import Control.Logger.Internal
6−import qualified Data.ByteString.Builder as B
7−import qualified Data.ByteString.Lazy as BS
8−import qualified Data.Text.Encoding as T
9−import qualified Data.Text.Encoding.Error as T
10−import qualified Network.Google as G
11−
12−
13−toGoogleLogger :: Logger -> G.Logger
14−toGoogleLogger logger level s = case logLevelToSeverity level of
15− Nothing -> return ()
16− Just sev -> logMsgWith logger sev
17− $ T.decodeUtf8With (T.replace '?') . BS.toStrict . B.toLazyByteString $ s
18−
19−logLevelToSeverity :: G.LogLevel -> Maybe LogSeverity
20−logLevelToSeverity G.Info = Just Info
21−logLevelToSeverity G.Debug = Just Debug
22−logLevelToSeverity G.Error = Just Error
23−logLevelToSeverity G.Trace = Nothing
src/Control/Logger/Internal.hs+29−8
@@ -1,9 +1,12 @@
11{-# LANGUAGE TemplateHaskell #-}
2+{-# LANGUAGE NamedFieldPuns #-}
3+{-# LANGUAGE CPP #-}
24
35module Control.Logger.Internal
46 ( Logger(..)
57 , loggerContext
68 , loggerAction
9+ , scrubber
710 , runLogger
811 , LogSeverity(..)
912 , LoggingMonad
@@ -13,10 +16,11 @@ module Control.Logger.Internal
1316
1417import Control.Has
1518import Control.Lens
19+import Control.Monad.IO.Class
1620import Control.DeepSeq
17−import Data.Aeson (ToJSON, FromJSON, Object)
21+import Data.Aeson (ToJSON, FromJSON, Object, Value(..))
1822import Data.Text (Text)
19−import GHC.Generics (Generic)
23+import Data.Monoid
2024import GHC.Stack
2125
2226
@@ -30,23 +34,26 @@ data LogSeverity
3034instance ToJSON LogSeverity
3135instance FromJSON LogSeverity
3236
33−data Logger
34− = Logger
37+data Logger = Logger
3538 { _loggerContext :: Object
39+ , _scrubber :: Endo Text
3640 , _loggerAction :: Object -> CallStack -> LogSeverity -> Text -> IO ()
3741 } deriving Generic
3842
39−instance NFData Logger
43+instance NFData Logger where
44+ rnf Logger{_loggerContext, _scrubber, _loggerAction} =
45+ rnf _loggerContext `deepseq` rwhnf (appEndo _scrubber) `deepseq` rwhnf _loggerAction
4046
4147makeLenses ''Logger
4248
4349instance Semigroup Logger where
44− (Logger ctx1 l1) <> (Logger ctx2 l2) = Logger ctx'
50+ (Logger ctx1 s1 l1) <> (Logger ctx2 s2 l2)
51+ = Logger ctx' (s1 <> s2)
4552 $ \ctx stack s t -> l1 ctx stack s t >> l2 ctx stack s t
4653 where ctx' = ctx1 <> ctx2
4754
4855instance Monoid Logger where
49− mempty = Logger mempty $ \_ _ _ _ -> pure ()
56+ mempty = Logger mempty mempty $ \_ _ _ _ -> pure ()
5057
5158type LoggingMonad r m =
5259 (MonadReader r m, Has Logger r, MonadIO m, HasCallStack)
@@ -70,4 +77,18 @@ logMsgWith logger s t =
7077 liftIO $ runLogger logger callStack s t
7178
7279runLogger :: Logger -> CallStack -> LogSeverity -> Text -> IO ()
73−runLogger (Logger ctx logger) = logger ctx
80+runLogger (Logger ctx theScrubber logger) cs ls txt
81+ = logger (scrubContext theScrubber ctx) cs ls (appEndo theScrubber txt)
82+
83+
84+scrubContext :: Endo Text -> Object -> Object
85+scrubContext theScrubber = fmap doScrub
86+ where
87+ doScrub :: Value -> Value
88+ doScrub = \case
89+ Object object -> Object (fmap doScrub object)
90+ Array array -> Array (fmap doScrub array)
91+ String string -> String (appEndo theScrubber string)
92+ n@Number{} -> n
93+ b@Bool{} -> b
94+ n@Null -> n
src/Control/Logger/Katip.hs+5−130
@@ -2,60 +2,26 @@
22{-# OPTIONS_GHC -fno-warn-orphans #-}
33
44module Control.Logger.Katip
5− ( ElasticServer(..)
6− , logSeverityToKSeverity
7− , registerElastic
8− , maybeElastic
5+ ( logSeverityToKSeverity
96 , KatipContextTState(..)
107 , getKatipLogger
11− , ourFormatter
12− , ourMapping
8+ , ourItemJson
139 , katipIndexNameString
14− , reopenableFileLog
1510 ) where
1611
1712import Control.EnvT
13+import Control.Has.Katip ()
1814import Control.Lens hiding ((.=))
1915import Control.Logger.Internal
20−import Control.Logger.Katip.Scribes.Reopenable
2116import Data.Aeson hiding (Error)
22−import Data.ByteString (ByteString)
23−import qualified Data.HashMap.Strict as HM
24−import Data.Proxy as P
2517import Data.Text (Text)
2618import qualified Data.Text as T
27−import qualified Data.Text.Encoding as T
2819import qualified Data.Text.Lazy.Builder as T.Builder
29−import Database.V5.Bloodhound
3020import Katip as K hiding (logMsg)
31−import Katip.Core (ItemFunc(..), LocJs(..), ProcessIDJs(..))
21+import Katip.Core (LocJs(..), ProcessIDJs(..))
3222import Katip.Monadic (KatipContextTState(..))
33−import Katip.Scribes.ElasticSearch
34−import Katip.Scribes.ElasticSearch.Internal as K
35−import Network.HTTP.Client
3623
3724
38−data ElasticServer = ElasticServer
39− { _esServer :: !(Maybe Server)
40− , _esUsername :: !(Maybe ByteString)
41− , _esPassword :: !(Maybe ByteString)
42− } deriving (Eq, Show)
43−
44−instance FromJSON ElasticServer where
45− parseJSON = withObject "ElasticServer" $ \obj -> ElasticServer
46− <$> (obj .: "server")
47− <*> (fmap T.encodeUtf8 <$> (obj .: "username"))
48− <*> (fmap T.encodeUtf8 <$> (obj .: "password"))
49−
50−instance ToJSON ElasticServer where
51− toJSON es = object
52− [ "server" .= fmap fromServer (_esServer es)
53− , "username" .= fmap T.decodeUtf8 (_esUsername es)
54− , "password" .= fmap T.decodeUtf8 (_esPassword es)
55− ]
56− where
57− fromServer (Server s) = s
58−
5925logSeverityToKSeverity :: LogSeverity -> Severity
6026logSeverityToKSeverity = \case
6127 Debug -> DebugS
@@ -63,91 +29,6 @@ logSeverityToKSeverity = \case
6329 Warn -> WarningS
6430 Error -> ErrorS
6531
66−registerElastic
67− :: Text
68− -- ^ git revision
69− -> Verbosity
70− -> ElasticServer
71− -> PermitFunc
72− -> LogEnv
73− -> IO LogEnv
74−registerElastic gitRev verbosity ElasticServer{..} permitF env =
75− case _esServer of
76− Nothing -> return env
77− Just server -> do
78− elastic <- do
79− mgr <- newManager defaultManagerSettings
80− let
81− bloodhoundEnv = (mkBHEnv server mgr)
82− { bhRequestHook = requestHook }
83− mkEsScribe cfg bloodhoundEnv permitF verbosity
84− registerScribe "elastic" elastic defaultScribeSettings env
85− where
86− cfg = (defaultEsScribeCfgV5 ixName mappingName)
87− { essItemFormatter = ourFormatter gitRev
88− , essIndexMappingValue = ourMapping mappingName }
89− where
90− ixName = IndexName katipIndexNameString
91− mappingName = MappingName "logs"
92− requestHook = return . case (_esUsername, _esPassword) of
93− (Just u, Just p) -> applyBasicAuth u p
94− _ -> id
95−
96−-- | Doubles the value of @msg@ key into the @msg-keyword@ and adds
97−-- the @rev-hash@ value to each record. The @msg-keyword@ is needed to
98−-- group errors by message. The @rev-hash@ is needed for many purposes
99−-- and for grouping as well.
100−ourFormatter
101− :: Text
102− -- ^ git revision string
103− -> Verbosity
104− -> ItemFunc Value
105−ourFormatter gitRev verb = ItemFunc $ \item -> go $ ourItemJson verb item
106− where
107− go :: Value -> Value
108− go = \case
109− Object h -> Object $ setRev $ dupMsg h
110− x -> x -- drop exception here?
111− where
112− setRev :: HM.HashMap Text Value -> HM.HashMap Text Value
113− setRev = HM.insert "rev-hash" (toJSON gitRev)
114− dupMsg :: HM.HashMap Text Value -> HM.HashMap Text Value
115− dupMsg m = HM.alter (const $ HM.lookup "msg" m) "msg-keyword" m
116−
117−ourMapping :: K.MappingName ESV5 -> Value
118−ourMapping mn = object
119− [fromMappingName prx mn .= object ["properties" .= object prs]]
120− where
121− prs =
122− [ unanalyzedString "thread"
123− , unanalyzedString "sev"
124− , unanalyzedString "pid"
125− -- ns is frequently fulltext searched
126− , analyzedString "ns"
127− -- we want message to be fulltext searchable
128− , analyzedString "msg"
129− -- we want to group by the message as well
130− , unanalyzedString "msg-keyword"
131− -- we want to group by revision hash
132− , unanalyzedString "rev-hash"
133− , "loc" .= locType
134− , unanalyzedString "host"
135− , unanalyzedString "env"
136− , "at" .= dateType
137− , unanalyzedString "app"
138− ]
139− prx = P.Proxy :: P.Proxy ESV5
140− unanalyzedString k = k .= unanalyzedStringSpec prx
141− analyzedString k = k .= analyzedStringSpec prx
142− locType = object ["properties" .= object locPairs]
143− locPairs =
144− [ unanalyzedString "loc_pkg"
145− , unanalyzedString "loc_mod"
146− , unanalyzedString "loc_ln"
147− , unanalyzedString "loc_fn"
148− , unanalyzedString "loc_col"
149− ]
150− dateType = object ["format" .= esDateFormat, "type" .= String "date"]
15132
15233katipIndexNameString :: Text
15334katipIndexNameString = "antorica-b2b-logs"
@@ -170,18 +51,12 @@ ourItemJson verb item = formatItem $
17051 , "loc" .= fmap LocJs _itemLoc
17152 ]
17253
173−-- | Return empty server if Nothing
174−maybeElastic :: Maybe ElasticServer -> ElasticServer
175−maybeElastic = \case
176− Nothing -> ElasticServer Nothing Nothing Nothing
177− Just a -> a
178−
17954instance LogItem Object where
18055 payloadKeys V0 _ = SomeKeys []
18156 payloadKeys _ _ = AllKeys
18257
18358getKatipLogger :: KatipContextTState -> Logger
184−getKatipLogger katipCtx = Logger (toObject . ltsContext $ katipCtx)
59+getKatipLogger katipCtx = Logger (toObject . ltsContext $ katipCtx) mempty
18560 $ \ ctx stack s msg ->
18661 let ?callStack = stack
18762 in
src/Control/Logger/Katip/Scribes/Reopenable.hsdeleted−19
@@ -1,19 +0,0 @@
1−module Control.Logger.Katip.Scribes.Reopenable where
2−
3−import Katip
4−import Katip.Scribes.Handle.FileOwner
5−
6−-- | Utility function to create scribe using the 'FileOwner'
7−-- inside. Returns new scribe and action to reopen the log
8−-- file. Reopening is performed asyncronously.
9−reopenableFileLog
10− :: FilePath
11− -> (forall a. LogItem a => ItemFormatter a)
12− -> PermitFunc
13− -> Verbosity
14− -> IO (Scribe, IO ())
15−reopenableFileLog fPath formatter permitF verbosity = do
16− owner <- newFileOwner fPath defaultFileOwnerSettings
17− s <- mkFileOwnerScribeWithFormatter formatter (ColorLog False)
18− owner permitF verbosity
19− return (s, fileOwnerControl owner ReopenMsg)
src/Control/Logger/Katip/Utils.hs+35−52
@@ -1,17 +1,11 @@
1−{-# LANGUAGE ImplicitParams #-}
1+{-# LANGUAGE CPP #-}
22
33module Control.Logger.Katip.Utils
44 ( katipIndexNameString
55 , module Katip.Monadic
6− , ElasticServer(..)
7− , elasticServer
8− , maybeElastic
9− , registerElastic
106 , LogFormat(..)
117 , registerFileScribe
128 , setLoggingCtx
13− , ourFormatter
14− , ourMapping
159 , getKatipLogger
1610 , logSeverityToKSeverity
1711 ) where
@@ -25,50 +19,35 @@ import Control.Logger.Internal as L
2519import Control.Logger.Katip as L
2620import Data.Aeson hiding (Error)
2721import Data.Aeson.Text
28−import Data.ByteString (ByteString)
29−import qualified Data.ByteString.Builder as B.Builder
22+#if MIN_VERSION_aeson(2,0,0)
23+import qualified Data.Aeson.KeyMap as HM
24+import qualified Data.Aeson.Key as HM
25+#else
3026import qualified Data.HashMap.Strict as HM
27+#endif
3128import Data.Text (Text)
32−import qualified Data.Text as T
33−import Data.Text.Encoding
29+import qualified Data.Text.Lazy as T
3430import qualified Data.Text.Lazy.Builder as T.Builder
35−import qualified Data.Text.Lazy.Encoding as T.Lazy
36−import Database.V5.Bloodhound as BH
3731import Katip as K hiding (logMsg)
38−import Katip.Core (ItemFunc(..))
3932import Katip.Monadic (KatipContextTState(..))
4033import qualified Katip.Scribes.Handle as K
41−import Options.Applicative
4234import System.IO
4335
4436
45−elasticServer :: Parser ElasticServer
46−elasticServer =
47− ElasticServer
48− <$> optional elasticServerAddress
49− <*> optional elasticServerUsername
50− <*> optional elasticServerPassword
51−
52−elasticServerAddress :: Parser Server
53−elasticServerAddress = Server <$> option
54− (T.pack <$> str)
55− (long "elastic-server" <> metavar "ELASTIC_SERVER" <> help
56− "Address of elastic search server"
57− )
58−
59−elasticServerUsername :: Parser ByteString
60−elasticServerUsername = option
61− (encodeUtf8 . T.pack <$> str)
62− (long "elastic-server-username" <> metavar "ELASTIC_SERVER_USERNAME" <> help
63− "Elastic server username"
64− )
65−
66−elasticServerPassword :: Parser ByteString
67−elasticServerPassword = option
68− (encodeUtf8 . T.pack <$> str)
69− (long "elastic-server-password" <> metavar "ELASTIC_SERVER_PASSWORD" <> help
70− "Elastic server password"
71− )
37+#if MIN_VERSION_aeson(2,0,0)
38+type KeyMap v = HM.KeyMap v
39+textToKey :: Text -> Key
40+textToKey = HM.fromText
41+keyToText :: Key -> Text
42+keyToText = HM.toText
43+#else
44+type KeyMap v = HM.HashMap Text v
45+type Key = Text
46+textToKey :: Text -> Key
47+textToKey = id
48+keyToText :: Key -> Text
49+keyToText = id
50+#endif
7251
7352-- | How to format logs
7453data LogFormat
@@ -93,38 +72,42 @@ registerFileScribe gitRev verbosity format filePath permitF additions logenv =
9372 formatter = case format of
9473 LogBracket -> customBracketFormat additions'
9574 LogJson -> customJsonFormat gitRev additions'
96− additions' = HM.fromList . map (fmap String) $ additions
75+ additions'
76+ = HM.fromList
77+ . map (\(k, v) -> (textToKey k, String v))
78+ $ additions
9779
9880-- | JSON formatter that adds the specified fields to the output
9981customJsonFormat
100− :: forall a. LogItem a => Text -> HM.HashMap Text Value -> ItemFormatter a
82+ :: forall a. LogItem a => Text -> KeyMap Value -> ItemFormatter a
10183customJsonFormat gitRev additions withColor verb i = (mappend "\n") $
10284 -- Here we reimplement the standard formater because we want the
10385 -- additional key/value pairs to be added at the top level.
10486 -- So we can't use the LogWithAdditions like we do for bracket format
105− B.Builder.lazyByteString . T.Lazy.encodeUtf8 . T.Builder.toLazyText $
87+ T.Builder.fromText $
10688 K.colorBySeverity withColor (_itemSeverity i) $
107− encodeToTextBuilder (extend $ applyItemFunc (ourFormatter gitRev verb) i)
89+ (T.toStrict . encodeToLazyText) (extend $ ourItemJson verb i)
10890 where
109− extend (Object o) = Object $ HM.union additions o
91+ extend (Object o) = Object $ HM.union additions' o
11092 extend v = v
93+ additions' = HM.insert "rev-hash" (toJSON gitRev) additions
11194
11295-- | Bracket formatter that adds the specified fields to the output
11396customBracketFormat
114− :: forall a. LogItem a => HM.HashMap Text Value -> ItemFormatter a
97+ :: forall a. LogItem a => KeyMap Value -> ItemFormatter a
11598customBracketFormat additions withColor verb i =
11699 bracketFormat withColor verb (LogWithAdditions additions <$> i)
117100
118101-- | Log item payload that adds the specified additional key/value pairs
119102-- to the output on at verbosity levels
120−data LogWithAdditions a = LogWithAdditions (HM.HashMap Text Value) a
103+data LogWithAdditions a = LogWithAdditions (KeyMap Value) a
121104 deriving (Show)
122105
123106instance LogItem a => LogItem (LogWithAdditions a) where
124107 payloadKeys v (LogWithAdditions additions a) =
125108 case payloadKeys v a of
126109 AllKeys -> AllKeys
127− SomeKeys keys -> SomeKeys (HM.keys additions ++ keys)
110+ SomeKeys keys -> SomeKeys (map keyToText (HM.keys additions) ++ keys)
128111
129112instance ToObject a => ToObject (LogWithAdditions a) where
130113 toObject (LogWithAdditions additions a) =
@@ -137,5 +120,5 @@ setLoggingCtx
137120 -> ReaderT r m a
138121setLoggingCtx ctx' = local (part %~ go)
139122 where
140− go (Logger ctx f) =
141− Logger (ctx <> ctx') f
123+ go (Logger ctx scrbber f) =
124+ Logger (ctx <> ctx') scrbber f
src/Control/Logger/Orphans.hs+2−2
@@ -10,7 +10,7 @@ import Control.EnvT
1010import Control.Has
1111import Control.Logger.Internal
1212import Control.Monad.Logger
13−import qualified Data.Text as T
13+import qualified Data.Text.Encoding as T
1414import GHC.Stack
1515
1616
@@ -21,7 +21,7 @@ instance (Has Logger r, MonadIO m)
2121 in withFrozenCallStack
2222 $ logMsg
2323 (mlLevelToLogSeverity level)
24− (T.pack . show . toLogStr $ msg)
24+ (T.decodeUtf8Lenient . fromLogStr . toLogStr $ msg)
2525
2626locToCallStack :: Loc -> CallStack
2727locToCallStack Loc {..} = fromCallSiteList