on master help sign in
Drop redundant superclass constraint
8b2335cMichael Xavier
katip/src/Katip/Monadic.hs+3−3
@@ -156,7 +156,7 @@ deriving instance (Monad m, KatipContext m) => KatipContext (KatipT m)
156-- very low level and you typically can use 'logTM' in its
156-- very low level and you typically can use 'logTM' in its
157-- place. Automaticallysupplies payload and namespace.
157-- place. Automaticallysupplies payload and namespace.
158logItemM
158logItemM
159− :: (Applicative m, KatipContext m, Katip m)
159+ :: (Applicative m, KatipContext m)
160 => Maybe Loc
160 => Maybe Loc
161 -> Severity
161 -> Severity
162 -> LogStr
162 -> LogStr
@@ -172,7 +172,7 @@ logItemM loc sev msg = do
172-- | Log with full context, but without any code
172-- | Log with full context, but without any code
173-- location. Automatically supplies payload and namespace.
173-- location. Automatically supplies payload and namespace.
174logFM
174logFM
175− :: (Applicative m, KatipContext m, Katip m)
175+ :: (Applicative m, KatipContext m)
176 => Severity
176 => Severity
177 -- ^ Severity of the message
177 -- ^ Severity of the message
178 -> LogStr
178 -> LogStr
@@ -207,7 +207,7 @@ logTM = [| logItemM (Just $(getLocTH)) |]
207-- `logTM` for maximum compatibility.
207-- `logTM` for maximum compatibility.
208--
208--
209-- @logLocM InfoS "Hello world"@
209-- @logLocM InfoS "Hello world"@
210−logLocM :: (Applicative m, KatipContext m, Katip m)
210+logLocM :: (Applicative m, KatipContext m)
211 => Severity
211 => Severity
212 -> LogStr
212 -> LogStr
213 -> m ()
213 -> m ()