@@ -257,7 +257,9 @@ unregisterScribe nm = logEnvScribes . at nm .~ Nothing
257257
258258
259259
260−class Katip m where
260+-------------------------------------------------------------------------------
261+-- | Monads where katip logging actions can be performed
262+class MonadIO m => Katip m where
261263 getLogEnv :: m LogEnv
262264
263265
@@ -278,7 +280,7 @@ runKatipT le (KatipT f) = runReaderT f le
278280-- | Log with everything, including a source code location. This is
279281-- very low level and you typically can use 'logT' in its place.
280282logI
281− :: (Applicative m, MonadIO m, LogContext a, Katip m)
283+ :: (Applicative m, LogContext a, Katip m)
282284 => a
283285 -> Namespace
284286 -> Maybe Loc
@@ -305,7 +307,7 @@ logI a ns loc sev msg = do
305307-------------------------------------------------------------------------------
306308-- | Log with full context, but without any code location.
307309logF
308− :: (Applicative m, MonadIO m, LogContext a, Katip m)
310+ :: (Applicative m, LogContext a, Katip m)
309311 => a
310312 -- ^ Contextual payload for the log
311313 -> Namespace
@@ -321,7 +323,7 @@ logF a ns sev msg = logI a ns Nothing sev msg
321323-------------------------------------------------------------------------------
322324-- | Log a message without any payload/context or code location.
323325logM
324− :: (Applicative m, MonadIO m, Katip m)
326+ :: (Applicative m, Katip m)
325327 => Namespace
326328 -> Severity
327329 -> LogStr