polysemy-log 0.11.0.0 → 0.11.1.0
raw patch · 1 files changed
+8/−8 lines, 1 filesdep ~ansi-terminaldep ~basedep ~tastyPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: ansi-terminal, base, tasty
API changes (from Hackage documentation)
- Polysemy.Log.Data.LogEntry: [$sel:message:LogEntry] :: LogEntry a -> !a
- Polysemy.Log.Data.LogEntry: [$sel:source:LogEntry] :: LogEntry a -> !CallStack
- Polysemy.Log.Data.LogEntry: [$sel:time:LogEntry] :: LogEntry a -> !UTCTime
- Polysemy.Log.Data.LogMessage: [$sel:message:LogMessage] :: LogMessage -> Text
- Polysemy.Log.Data.LogMessage: [$sel:severity:LogMessage] :: LogMessage -> !Severity
+ Polysemy.Log.Data.LogEntry: [message] :: LogEntry a -> !a
+ Polysemy.Log.Data.LogEntry: [source] :: LogEntry a -> !CallStack
+ Polysemy.Log.Data.LogEntry: [time] :: LogEntry a -> !UTCTime
+ Polysemy.Log.Data.LogMessage: [message] :: LogMessage -> Text
+ Polysemy.Log.Data.LogMessage: [severity] :: LogMessage -> !Severity
- Polysemy.Log: [DataLog] :: a -> DataLog a m ()
+ Polysemy.Log: [DataLog] :: forall a (b :: Type -> Type). a -> DataLog a b ()
- Polysemy.Log: [Log] :: HasCallStack => LogMessage -> Log m ()
+ Polysemy.Log: [Log] :: forall (a :: Type -> Type). HasCallStack => LogMessage -> Log a ()
- Polysemy.Log: crit :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log: crit :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log: data DataLog a :: Effect
+ Polysemy.Log: data DataLog a (b :: Type -> Type) c
- Polysemy.Log: data Log :: Effect
+ Polysemy.Log: data Log (a :: Type -> Type) b
- Polysemy.Log: dataLog :: forall a_aa7Q r_abuq. Member (DataLog a_aa7Q) r_abuq => a_aa7Q -> Sem r_abuq ()
+ Polysemy.Log: dataLog :: forall a (r :: EffectRow). Member (DataLog a) r => a -> Sem r ()
- Polysemy.Log: debug :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log: debug :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log: error :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log: error :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log: info :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log: info :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log: interceptDataLogConc :: forall msg r a. Members [DataLog msg, Resource, Async, Race, Embed IO] r => Int -> Sem r a -> Sem r a
+ Polysemy.Log: interceptDataLogConc :: forall msg (r :: EffectRow) a. Members '[DataLog msg, Resource, Async, Race, Embed IO] r => Int -> Sem r a -> Sem r a
- Polysemy.Log: interpretDataLog :: forall a r. (a -> Sem r ()) -> InterpreterFor (DataLog a) r
+ Polysemy.Log: interpretDataLog :: forall a (r :: EffectRow). (a -> Sem r ()) -> InterpreterFor (DataLog a) r
- Polysemy.Log: interpretDataLogAtomic :: forall a r. Member (Embed IO) r => InterpretersFor [DataLog a, AtomicState [a]] r
+ Polysemy.Log: interpretDataLogAtomic :: forall a (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[DataLog a, AtomicState [a] :: (Type -> Type) -> Type -> Type] r
- Polysemy.Log: interpretDataLogAtomic' :: forall a r. Member (AtomicState [a]) r => InterpreterFor (DataLog a) r
+ Polysemy.Log: interpretDataLogAtomic' :: forall a (r :: EffectRow). Member (AtomicState [a] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (DataLog a) r
- Polysemy.Log: interpretDataLogStderr :: Show a => Member (Embed IO) r => InterpreterFor (DataLog a) r
+ Polysemy.Log: interpretDataLogStderr :: forall a (r :: EffectRow). (Show a, Member (Embed IO) r) => InterpreterFor (DataLog a) r
- Polysemy.Log: interpretDataLogStderrWith :: Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
+ Polysemy.Log: interpretDataLogStderrWith :: forall (r :: EffectRow) a. Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
- Polysemy.Log: interpretDataLogStdout :: Show a => Member (Embed IO) r => InterpreterFor (DataLog a) r
+ Polysemy.Log: interpretDataLogStdout :: forall a (r :: EffectRow). (Show a, Member (Embed IO) r) => InterpreterFor (DataLog a) r
- Polysemy.Log: interpretDataLogStdoutWith :: Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
+ Polysemy.Log: interpretDataLogStdoutWith :: forall (r :: EffectRow) a. Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
- Polysemy.Log: interpretLogAtomic :: Member (Embed IO) r => InterpretersFor [Log, AtomicState [LogMessage]] r
+ Polysemy.Log: interpretLogAtomic :: forall (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log, AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type] r
- Polysemy.Log: interpretLogAtomic' :: Member (AtomicState [LogMessage]) r => InterpreterFor Log r
+ Polysemy.Log: interpretLogAtomic' :: forall (r :: EffectRow). Member (AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type) r => InterpreterFor Log r
- Polysemy.Log: interpretLogDataLog :: Members [DataLog (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
+ Polysemy.Log: interpretLogDataLog :: forall (r :: EffectRow). Members '[DataLog (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
- Polysemy.Log: interpretLogDataLog' :: Members [DataLog (LogEntry LogMessage), Embed IO] r => InterpretersFor [Log, LogMetadata LogMessage, GhcTime] r
+ Polysemy.Log: interpretLogDataLog' :: forall (r :: EffectRow). Members '[DataLog (LogEntry LogMessage), Embed IO] r => InterpretersFor '[Log, LogMetadata LogMessage, GhcTime] r
- Polysemy.Log: interpretLogDataLogConc :: Members [DataLog (LogEntry LogMessage), Resource, Async, Race, Embed IO] r => Int -> InterpreterFor Log r
+ Polysemy.Log: interpretLogDataLogConc :: forall (r :: EffectRow). Members '[DataLog (LogEntry LogMessage), Resource, Async, Race, Embed IO] r => Int -> InterpreterFor Log r
- Polysemy.Log: interpretLogNull :: InterpreterFor Log r
+ Polysemy.Log: interpretLogNull :: forall (r :: [Effect]) a. Sem (Log ': r) a -> Sem r a
- Polysemy.Log: interpretLogOutput :: Member (Output LogMessage) r => InterpreterFor Log r
+ Polysemy.Log: interpretLogOutput :: forall (r :: EffectRow). Member (Output LogMessage :: (Type -> Type) -> Type -> Type) r => InterpreterFor Log r
- Polysemy.Log: interpretLogStderr :: Members [Embed IO, GhcTime] r => InterpreterFor Log r
+ Polysemy.Log: interpretLogStderr :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => InterpreterFor Log r
- Polysemy.Log: interpretLogStderr' :: Member (Embed IO) r => InterpreterFor Log r
+ Polysemy.Log: interpretLogStderr' :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor Log r
- Polysemy.Log: interpretLogStderrConc :: Members [Resource, Async, Race, Embed IO] r => InterpreterFor Log r
+ Polysemy.Log: interpretLogStderrConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => InterpreterFor Log r
- Polysemy.Log: interpretLogStderrLevel :: Members [Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStderrLevel :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log: interpretLogStderrLevelConc :: Members [Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStderrLevelConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log: interpretLogStderrLevelWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStderrLevelWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
- Polysemy.Log: interpretLogStderrWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStderrWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
- Polysemy.Log: interpretLogStdout :: Members [Embed IO, GhcTime] r => InterpreterFor Log r
+ Polysemy.Log: interpretLogStdout :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => InterpreterFor Log r
- Polysemy.Log: interpretLogStdout' :: Member (Embed IO) r => InterpreterFor Log r
+ Polysemy.Log: interpretLogStdout' :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor Log r
- Polysemy.Log: interpretLogStdoutConc :: Members [Resource, Async, Race, Embed IO] r => InterpreterFor Log r
+ Polysemy.Log: interpretLogStdoutConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => InterpreterFor Log r
- Polysemy.Log: interpretLogStdoutLevel :: Members [Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStdoutLevel :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log: interpretLogStdoutLevelConc :: Members [Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStdoutLevelConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log: interpretLogStdoutLevelWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStdoutLevelWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
- Polysemy.Log: interpretLogStdoutWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
+ Polysemy.Log: interpretLogStdoutWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
- Polysemy.Log: local :: forall a_aa7S r_abus b_aa7U. Member (DataLog a_aa7S) r_abus => (a_aa7S -> a_aa7S) -> Sem r_abus b_aa7U -> Sem r_abus b_aa7U
+ Polysemy.Log: local :: forall a (r :: EffectRow) b. Member (DataLog a) r => (a -> a) -> Sem r b -> Sem r b
- Polysemy.Log: log :: HasCallStack => Member Log r => Severity -> Text -> Sem r ()
+ Polysemy.Log: log :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Severity -> Text -> Sem r ()
- Polysemy.Log: setLogLevel :: Member (DataLog (LogEntry LogMessage)) r => Maybe Severity -> Sem r a -> Sem r a
+ Polysemy.Log: setLogLevel :: forall (r :: EffectRow) a. Member (DataLog (LogEntry LogMessage)) r => Maybe Severity -> Sem r a -> Sem r a
- Polysemy.Log: setLogLevelWith :: forall msg r a. Member (DataLog msg) r => (msg -> Severity) -> Maybe Severity -> Sem r a -> Sem r a
+ Polysemy.Log: setLogLevelWith :: forall msg (r :: EffectRow) a. Member (DataLog msg) r => (msg -> Severity) -> Maybe Severity -> Sem r a -> Sem r a
- Polysemy.Log: trace :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log: trace :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log: type Logger = DataLog (LogEntry LogMessage)
+ Polysemy.Log: type Logger = DataLog LogEntry LogMessage
- Polysemy.Log: warn :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log: warn :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log.Atomic: interpretDataLogAtomic :: forall a r. Member (Embed IO) r => InterpretersFor [DataLog a, AtomicState [a]] r
+ Polysemy.Log.Atomic: interpretDataLogAtomic :: forall a (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[DataLog a, AtomicState [a] :: (Type -> Type) -> Type -> Type] r
- Polysemy.Log.Atomic: interpretDataLogAtomic' :: forall a r. Member (AtomicState [a]) r => InterpreterFor (DataLog a) r
+ Polysemy.Log.Atomic: interpretDataLogAtomic' :: forall a (r :: EffectRow). Member (AtomicState [a] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (DataLog a) r
- Polysemy.Log.Atomic: interpretLogAtomic :: Member (Embed IO) r => InterpretersFor [Log, AtomicState [LogMessage]] r
+ Polysemy.Log.Atomic: interpretLogAtomic :: forall (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log, AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type] r
- Polysemy.Log.Atomic: interpretLogAtomic' :: Member (AtomicState [LogMessage]) r => InterpreterFor Log r
+ Polysemy.Log.Atomic: interpretLogAtomic' :: forall (r :: EffectRow). Member (AtomicState [LogMessage] :: (Type -> Type) -> Type -> Type) r => InterpreterFor Log r
- Polysemy.Log.Conc: finalize :: forall msg r. Members [Queue msg, Resource, Async, Race, Embed IO] r => Async (Maybe ()) -> Sem r ()
+ Polysemy.Log.Conc: finalize :: forall msg (r :: EffectRow). Members '[Queue msg, Resource, Async, Race, Embed IO] r => Async (Maybe ()) -> Sem r ()
- Polysemy.Log.Conc: interceptDataLogConc :: forall msg r a. Members [DataLog msg, Resource, Async, Race, Embed IO] r => Int -> Sem r a -> Sem r a
+ Polysemy.Log.Conc: interceptDataLogConc :: forall msg (r :: EffectRow) a. Members '[DataLog msg, Resource, Async, Race, Embed IO] r => Int -> Sem r a -> Sem r a
- Polysemy.Log.Conc: interceptDataLogConcWith :: forall msg r a. Members [Queue msg, DataLog msg] r => Sem r a -> Sem r a
+ Polysemy.Log.Conc: interceptDataLogConcWith :: forall msg (r :: EffectRow) a. Members '[Queue msg, DataLog msg] r => Sem r a -> Sem r a
- Polysemy.Log.Conc: interceptDataLogConcWithLocal :: forall msg r a. Members [Queue msg, DataLog msg] r => (msg -> msg) -> Sem r a -> Sem r a
+ Polysemy.Log.Conc: interceptDataLogConcWithLocal :: forall msg (r :: EffectRow) a. Members '[Queue msg, DataLog msg] r => (msg -> msg) -> Sem r a -> Sem r a
- Polysemy.Log.Conc: loggerThread :: forall msg r. Members [Queue msg, DataLog msg] r => Sem r ()
+ Polysemy.Log.Conc: loggerThread :: forall msg (r :: EffectRow). Members '[Queue msg, DataLog msg] r => Sem r ()
- Polysemy.Log.Data.LogEntry: annotate :: HasCallStack => Member GhcTime r => a -> Sem r (LogEntry a)
+ Polysemy.Log.Data.LogEntry: annotate :: forall (r :: EffectRow) a. (HasCallStack, Member GhcTime r) => a -> Sem r (LogEntry a)
- Polysemy.Log.Effect.DataLog: [DataLog] :: a -> DataLog a m ()
+ Polysemy.Log.Effect.DataLog: [DataLog] :: forall a (b :: Type -> Type). a -> DataLog a b ()
- Polysemy.Log.Effect.DataLog: [Local] :: (a -> a) -> m b -> DataLog a m b
+ Polysemy.Log.Effect.DataLog: [Local] :: forall a (b :: Type -> Type) c. (a -> a) -> b c -> DataLog a b c
- Polysemy.Log.Effect.DataLog: crit :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
+ Polysemy.Log.Effect.DataLog: crit :: forall (r :: EffectRow). (HasCallStack, Members '[Logger, GhcTime] r) => Text -> Sem r ()
- Polysemy.Log.Effect.DataLog: data DataLog a :: Effect
+ Polysemy.Log.Effect.DataLog: data DataLog a (b :: Type -> Type) c
- Polysemy.Log.Effect.DataLog: dataLog :: forall a_aa7Q r_abuq. Member (DataLog a_aa7Q) r_abuq => a_aa7Q -> Sem r_abuq ()
+ Polysemy.Log.Effect.DataLog: dataLog :: forall a (r :: EffectRow). Member (DataLog a) r => a -> Sem r ()
- Polysemy.Log.Effect.DataLog: debug :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
+ Polysemy.Log.Effect.DataLog: debug :: forall (r :: EffectRow). (HasCallStack, Members '[Logger, GhcTime] r) => Text -> Sem r ()
- Polysemy.Log.Effect.DataLog: error :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
+ Polysemy.Log.Effect.DataLog: error :: forall (r :: EffectRow). (HasCallStack, Members '[Logger, GhcTime] r) => Text -> Sem r ()
- Polysemy.Log.Effect.DataLog: info :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
+ Polysemy.Log.Effect.DataLog: info :: forall (r :: EffectRow). (HasCallStack, Members '[Logger, GhcTime] r) => Text -> Sem r ()
- Polysemy.Log.Effect.DataLog: local :: forall a_aa7S r_abus b_aa7U. Member (DataLog a_aa7S) r_abus => (a_aa7S -> a_aa7S) -> Sem r_abus b_aa7U -> Sem r_abus b_aa7U
+ Polysemy.Log.Effect.DataLog: local :: forall a (r :: EffectRow) b. Member (DataLog a) r => (a -> a) -> Sem r b -> Sem r b
- Polysemy.Log.Effect.DataLog: log :: HasCallStack => Members [Logger, GhcTime] r => Severity -> Text -> Sem r ()
+ Polysemy.Log.Effect.DataLog: log :: forall (r :: EffectRow). (HasCallStack, Members '[Logger, GhcTime] r) => Severity -> Text -> Sem r ()
- Polysemy.Log.Effect.DataLog: trace :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
+ Polysemy.Log.Effect.DataLog: trace :: forall (r :: EffectRow). (HasCallStack, Members '[Logger, GhcTime] r) => Text -> Sem r ()
- Polysemy.Log.Effect.DataLog: type Logger = DataLog (LogEntry LogMessage)
+ Polysemy.Log.Effect.DataLog: type Logger = DataLog LogEntry LogMessage
- Polysemy.Log.Effect.DataLog: warn :: HasCallStack => Members [Logger, GhcTime] r => Text -> Sem r ()
+ Polysemy.Log.Effect.DataLog: warn :: forall (r :: EffectRow). (HasCallStack, Members '[Logger, GhcTime] r) => Text -> Sem r ()
- Polysemy.Log.Effect.Log: [Log] :: HasCallStack => LogMessage -> Log m ()
+ Polysemy.Log.Effect.Log: [Log] :: forall (a :: Type -> Type). HasCallStack => LogMessage -> Log a ()
- Polysemy.Log.Effect.Log: crit :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log.Effect.Log: crit :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log.Effect.Log: data Log :: Effect
+ Polysemy.Log.Effect.Log: data Log (a :: Type -> Type) b
- Polysemy.Log.Effect.Log: debug :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log.Effect.Log: debug :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log.Effect.Log: error :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log.Effect.Log: error :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log.Effect.Log: info :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log.Effect.Log: info :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log.Effect.Log: log :: HasCallStack => Member Log r => Severity -> Text -> Sem r ()
+ Polysemy.Log.Effect.Log: log :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Severity -> Text -> Sem r ()
- Polysemy.Log.Effect.Log: trace :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log.Effect.Log: trace :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log.Effect.Log: warn :: HasCallStack => Member Log r => Text -> Sem r ()
+ Polysemy.Log.Effect.Log: warn :: forall (r :: EffectRow). (HasCallStack, Member Log r) => Text -> Sem r ()
- Polysemy.Log.Effect.LogMetadata: [Annotated] :: HasCallStack => msg -> LogMetadata msg m ()
+ Polysemy.Log.Effect.LogMetadata: [Annotated] :: forall msg (a :: Type -> Type). HasCallStack => msg -> LogMetadata msg a ()
- Polysemy.Log.Effect.LogMetadata: annotated :: HasCallStack => Member (LogMetadata msg) r => msg -> Sem r ()
+ Polysemy.Log.Effect.LogMetadata: annotated :: forall msg (r :: EffectRow). (HasCallStack, Member (LogMetadata msg) r) => msg -> Sem r ()
- Polysemy.Log.Effect.LogMetadata: data LogMetadata msg :: Effect
+ Polysemy.Log.Effect.LogMetadata: data LogMetadata msg (a :: Type -> Type) b
- Polysemy.Log.Handle: interpretDataLogHandleWith :: Member (Embed IO) r => Handle -> (a -> Text) -> InterpreterFor (DataLog a) r
+ Polysemy.Log.Handle: interpretDataLogHandleWith :: forall (r :: EffectRow) a. Member (Embed IO) r => Handle -> (a -> Text) -> InterpreterFor (DataLog a) r
- Polysemy.Log.Level: setLogLevel :: Member (DataLog (LogEntry LogMessage)) r => Maybe Severity -> Sem r a -> Sem r a
+ Polysemy.Log.Level: setLogLevel :: forall (r :: EffectRow) a. Member (DataLog (LogEntry LogMessage)) r => Maybe Severity -> Sem r a -> Sem r a
- Polysemy.Log.Level: setLogLevelWith :: forall msg r a. Member (DataLog msg) r => (msg -> Severity) -> Maybe Severity -> Sem r a -> Sem r a
+ Polysemy.Log.Level: setLogLevelWith :: forall msg (r :: EffectRow) a. Member (DataLog msg) r => (msg -> Severity) -> Maybe Severity -> Sem r a -> Sem r a
- Polysemy.Log.Log: interpretDataLog :: forall a r. (a -> Sem r ()) -> InterpreterFor (DataLog a) r
+ Polysemy.Log.Log: interpretDataLog :: forall a (r :: EffectRow). (a -> Sem r ()) -> InterpreterFor (DataLog a) r
- Polysemy.Log.Log: interpretDataLogLocal :: forall a r. (a -> a) -> (a -> Sem r ()) -> InterpreterFor (DataLog a) r
+ Polysemy.Log.Log: interpretDataLogLocal :: forall a (r :: EffectRow). (a -> a) -> (a -> Sem r ()) -> InterpreterFor (DataLog a) r
- Polysemy.Log.Log: interpretLogDataLog :: Members [DataLog (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
+ Polysemy.Log.Log: interpretLogDataLog :: forall (r :: EffectRow). Members '[DataLog (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
- Polysemy.Log.Log: interpretLogDataLog' :: Members [DataLog (LogEntry LogMessage), Embed IO] r => InterpretersFor [Log, LogMetadata LogMessage, GhcTime] r
+ Polysemy.Log.Log: interpretLogDataLog' :: forall (r :: EffectRow). Members '[DataLog (LogEntry LogMessage), Embed IO] r => InterpretersFor '[Log, LogMetadata LogMessage, GhcTime] r
- Polysemy.Log.Log: interpretLogDataLogConc :: Members [DataLog (LogEntry LogMessage), Resource, Async, Race, Embed IO] r => Int -> InterpreterFor Log r
+ Polysemy.Log.Log: interpretLogDataLogConc :: forall (r :: EffectRow). Members '[DataLog (LogEntry LogMessage), Resource, Async, Race, Embed IO] r => Int -> InterpreterFor Log r
- Polysemy.Log.Log: interpretLogLogMetadata :: Members [LogMetadata LogMessage, GhcTime] r => InterpreterFor Log r
+ Polysemy.Log.Log: interpretLogLogMetadata :: forall (r :: EffectRow). Members '[LogMetadata LogMessage, GhcTime] r => InterpreterFor Log r
- Polysemy.Log.Log: interpretLogMetadataDataLog :: forall a r. Members [DataLog (LogEntry a), GhcTime] r => InterpreterFor (LogMetadata a) r
+ Polysemy.Log.Log: interpretLogMetadataDataLog :: forall a (r :: EffectRow). Members '[DataLog (LogEntry a), GhcTime] r => InterpreterFor (LogMetadata a) r
- Polysemy.Log.Log: interpretLogMetadataDataLog' :: Members [DataLog (LogEntry a), Embed IO] r => InterpretersFor [LogMetadata a, GhcTime] r
+ Polysemy.Log.Log: interpretLogMetadataDataLog' :: forall a (r :: EffectRow). Members '[DataLog (LogEntry a), Embed IO] r => InterpretersFor '[LogMetadata a, GhcTime] r
- Polysemy.Log.Pure: interpretLogNull :: InterpreterFor Log r
+ Polysemy.Log.Pure: interpretLogNull :: forall (r :: [Effect]) a. Sem (Log ': r) a -> Sem r a
- Polysemy.Log.Pure: interpretLogOutput :: Member (Output LogMessage) r => InterpreterFor Log r
+ Polysemy.Log.Pure: interpretLogOutput :: forall (r :: EffectRow). Member (Output LogMessage :: (Type -> Type) -> Type -> Type) r => InterpreterFor Log r
- Polysemy.Log.Stderr: interpretDataLogStderr :: Show a => Member (Embed IO) r => InterpreterFor (DataLog a) r
+ Polysemy.Log.Stderr: interpretDataLogStderr :: forall a (r :: EffectRow). (Show a, Member (Embed IO) r) => InterpreterFor (DataLog a) r
- Polysemy.Log.Stderr: interpretDataLogStderrWith :: Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
+ Polysemy.Log.Stderr: interpretDataLogStderrWith :: forall (r :: EffectRow) a. Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
- Polysemy.Log.Stderr: interpretLogStderr :: Members [Embed IO, GhcTime] r => InterpreterFor Log r
+ Polysemy.Log.Stderr: interpretLogStderr :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => InterpreterFor Log r
- Polysemy.Log.Stderr: interpretLogStderr' :: Member (Embed IO) r => InterpreterFor Log r
+ Polysemy.Log.Stderr: interpretLogStderr' :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor Log r
- Polysemy.Log.Stderr: interpretLogStderrConc :: Members [Resource, Async, Race, Embed IO] r => InterpreterFor Log r
+ Polysemy.Log.Stderr: interpretLogStderrConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => InterpreterFor Log r
- Polysemy.Log.Stderr: interpretLogStderrLevel :: Members [Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log.Stderr: interpretLogStderrLevel :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log.Stderr: interpretLogStderrLevelConc :: Members [Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log.Stderr: interpretLogStderrLevelConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log.Stderr: interpretLogStderrLevelWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log.Stderr: interpretLogStderrLevelWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
- Polysemy.Log.Stderr: interpretLogStderrWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
+ Polysemy.Log.Stderr: interpretLogStderrWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
- Polysemy.Log.Stdout: interpretDataLogStdout :: Show a => Member (Embed IO) r => InterpreterFor (DataLog a) r
+ Polysemy.Log.Stdout: interpretDataLogStdout :: forall a (r :: EffectRow). (Show a, Member (Embed IO) r) => InterpreterFor (DataLog a) r
- Polysemy.Log.Stdout: interpretDataLogStdoutWith :: Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
+ Polysemy.Log.Stdout: interpretDataLogStdoutWith :: forall (r :: EffectRow) a. Member (Embed IO) r => (a -> Text) -> InterpreterFor (DataLog a) r
- Polysemy.Log.Stdout: interpretLogStdout :: Members [Embed IO, GhcTime] r => InterpreterFor Log r
+ Polysemy.Log.Stdout: interpretLogStdout :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => InterpreterFor Log r
- Polysemy.Log.Stdout: interpretLogStdout' :: Member (Embed IO) r => InterpreterFor Log r
+ Polysemy.Log.Stdout: interpretLogStdout' :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor Log r
- Polysemy.Log.Stdout: interpretLogStdoutConc :: Members [Resource, Async, Race, Embed IO] r => InterpreterFor Log r
+ Polysemy.Log.Stdout: interpretLogStdoutConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => InterpreterFor Log r
- Polysemy.Log.Stdout: interpretLogStdoutLevel :: Members [Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log.Stdout: interpretLogStdoutLevel :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log.Stdout: interpretLogStdoutLevelConc :: Members [Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log.Stdout: interpretLogStdoutLevelConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => Maybe Severity -> InterpreterFor Log r
- Polysemy.Log.Stdout: interpretLogStdoutLevelWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
+ Polysemy.Log.Stdout: interpretLogStdoutLevelWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> Maybe Severity -> InterpreterFor Log r
- Polysemy.Log.Stdout: interpretLogStdoutWith :: Members [Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
+ Polysemy.Log.Stdout: interpretLogStdoutWith :: forall (r :: EffectRow). Members '[Embed IO, GhcTime] r => (LogEntry LogMessage -> Text) -> InterpreterFor Log r
Files
- polysemy-log.cabal +8/−8
polysemy-log.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.2 --- This file has been generated from package.yaml by hpack version 0.36.0.+-- This file has been generated from package.yaml by hpack version 0.36.1. -- -- see: https://github.com/sol/hpack name: polysemy-log-version: 0.11.0.0+version: 0.11.1.0 synopsis: Polysemy effects for logging description: See https://hackage.haskell.org/package/polysemy-log/docs/Polysemy-Log.html category: Logging@@ -13,7 +13,7 @@ bug-reports: https://github.com/tek/polysemy-log/issues author: Torsten Schmits maintainer: hackage@tryp.io-copyright: 2023 Torsten Schmits+copyright: 2025 Torsten Schmits license: BSD-2-Clause-Patent license-file: LICENSE build-type: Simple@@ -83,9 +83,9 @@ NoFieldSelectors ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages build-depends:- ansi-terminal >=0.9 && <1.1+ ansi-terminal >=1.0 && <1.2 , async >=2.2.4 && <2.3- , base >=4.17.2.1 && <4.20+ , base >=4.17.2.1 && <4.21 , incipit-core >=0.4.1.0 && <0.7 , polysemy >=1.7.0.0 && <1.10 , polysemy-conc >=0.11.1.0 && <0.15@@ -148,7 +148,7 @@ NoFieldSelectors ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages build-depends:- base >=4.17.2.1 && <4.20+ base >=4.17.2.1 && <4.21 , incipit-core >=0.4.1.0 && <0.7 , polysemy >=1.7.0.0 && <1.10 , polysemy-conc >=0.11.1.0 && <0.15@@ -156,7 +156,7 @@ , polysemy-plugin >=0.4.4.0 && <0.5 , polysemy-test >=0.6.0.0 && <0.11 , polysemy-time >=0.6.0.0 && <0.8- , tasty >=1.4.2 && <1.5+ , tasty >=1.4.2 && <1.6 , time >=1.12.2 && <1.13 mixins: base hiding (Prelude)@@ -207,7 +207,7 @@ NoFieldSelectors ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages build-depends:- base >=4.17.2.1 && <4.20+ base >=4.17.2.1 && <4.21 , incipit-core >=0.4.1.0 && <0.7 , polysemy >=1.7.0.0 && <1.10 , polysemy-conc >=0.11.1.0 && <0.15