Documentation

data LogItem #

data LogLine #

type Log = Output LogLine #

logDebug :: Member Log effs => LText -> Sem effs () #

logInfo :: Member Log effs => LText -> Sem effs () #

logNotice :: Member Log effs => LText -> Sem effs () #

logWarning :: Member Log effs => LText -> Sem effs () #

logError :: Member Log effs => LText -> Sem effs () #

logCritical :: Member Log effs => LText -> Sem effs () #

logAlert :: Member Log effs => LText -> Sem effs () #

logEmergency :: Member Log effs => LText -> Sem effs () #

logDebug' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

logInfo' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

logNotice' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

logWarning' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

logError' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

logCritical' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

logAlert' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

logEmergency' :: (Member Log effs, LogItem b) => b -> LText -> Sem effs () #

echo :: Member Log r => Severity -> LogStr -> Sem r () #

runLogKatip :: forall m r a. (Member (Embed m) r, Katip m) => Sem (Log ': r) a -> Sem r a #

runLogDiscard :: Sem (Log ': r) a -> Sem r a #