packages feed

polysemy-log-co 0.9.0.0 → 0.11.1.0

raw patch · 4 files changed

+43/−97 lines, 4 filesdep ~basedep ~co-logdep ~co-log-concurrentPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, co-log, co-log-concurrent, co-log-polysemy, incipit-core, polysemy, polysemy-conc, polysemy-log, polysemy-test, polysemy-time, stm, tasty

API changes (from Hackage documentation)

- Polysemy.Log.Colog: interpretCologAtomic :: forall a r. Member (Embed IO) r => InterpretersFor [Log a, AtomicState [a]] r
+ Polysemy.Log.Colog: interpretCologAtomic :: forall a (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log a, AtomicState [a] :: (Type -> Type) -> Type -> Type] r
- Polysemy.Log.Colog: interpretCologAtomic' :: forall a r. Member (AtomicState [a]) r => InterpreterFor (Log a) r
+ Polysemy.Log.Colog: interpretCologAtomic' :: forall a (r :: EffectRow). Member (AtomicState [a] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (Log a) r
- Polysemy.Log.Colog: interpretCologConcNative :: Members [Resource, Embed IO] r => InterpreterFor (Log (LogEntry LogMessage)) r
+ Polysemy.Log.Colog: interpretCologConcNative :: forall (r :: EffectRow). Members '[Resource, Embed IO] r => InterpreterFor (Log (LogEntry LogMessage)) r
- Polysemy.Log.Colog: interpretCologConcNativeWith :: forall msg r. Members [Resource, Embed IO] r => Capacity -> LogAction IO msg -> IO () -> InterpreterFor (Log msg) r
+ Polysemy.Log.Colog: interpretCologConcNativeWith :: forall msg (r :: EffectRow). Members '[Resource, Embed IO] r => Capacity -> LogAction IO msg -> IO () -> InterpreterFor (Log msg) r
- Polysemy.Log.Colog: interpretDataLogColog :: forall a r. Member (Log a) r => InterpreterFor (DataLog a) r
+ Polysemy.Log.Colog: interpretDataLogColog :: forall a (r :: EffectRow). Member (Log a) r => InterpreterFor (DataLog a) r
- Polysemy.Log.Colog: interpretLogColog :: Members [Log (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
+ Polysemy.Log.Colog: interpretLogColog :: forall (r :: EffectRow). Members '[Log (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
- Polysemy.Log.Colog: interpretLogColog' :: Members [Log (LogEntry LogMessage), Embed IO] r => InterpretersFor [Log, GhcTime] r
+ Polysemy.Log.Colog: interpretLogColog' :: forall (r :: EffectRow). Members '[Log (LogEntry LogMessage), Embed IO] r => InterpretersFor '[Log, GhcTime] r
- Polysemy.Log.Colog: interpretLogStdout :: Member (Embed IO) r => InterpreterFor Log r
+ Polysemy.Log.Colog: interpretLogStdout :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor Log r
- Polysemy.Log.Colog: interpretLogStdoutAsNative :: Member (Embed IO) r => InterpretersFor [Log, Log Message] r
+ Polysemy.Log.Colog: interpretLogStdoutAsNative :: forall (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log, Log Message] r
- Polysemy.Log.Colog: interpretLogStdoutConc :: Members [Resource, Async, Race, Embed IO] r => InterpreterFor Log r
+ Polysemy.Log.Colog: interpretLogStdoutConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => InterpreterFor Log r
- Polysemy.Log.Colog.Atomic: interpretCologAtomic :: forall a r. Member (Embed IO) r => InterpretersFor [Log a, AtomicState [a]] r
+ Polysemy.Log.Colog.Atomic: interpretCologAtomic :: forall a (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log a, AtomicState [a] :: (Type -> Type) -> Type -> Type] r
- Polysemy.Log.Colog.Atomic: interpretCologAtomic' :: forall a r. Member (AtomicState [a]) r => InterpreterFor (Log a) r
+ Polysemy.Log.Colog.Atomic: interpretCologAtomic' :: forall a (r :: EffectRow). Member (AtomicState [a] :: (Type -> Type) -> Type -> Type) r => InterpreterFor (Log a) r
- Polysemy.Log.Colog.Colog: interpretCologStdout :: forall m r. MonadIO m => Member (Embed m) r => InterpreterFor (Log (LogEntry LogMessage)) r
+ Polysemy.Log.Colog.Colog: interpretCologStdout :: forall (m :: Type -> Type) (r :: EffectRow). (MonadIO m, Member (Embed m) r) => InterpreterFor (Log (LogEntry LogMessage)) r
- Polysemy.Log.Colog.Colog: interpretCologStdoutFormat :: forall msg m r. MonadIO m => Member (Embed m) r => (msg -> Text) -> InterpreterFor (Log msg) r
+ Polysemy.Log.Colog.Colog: interpretCologStdoutFormat :: forall msg (m :: Type -> Type) (r :: EffectRow). (MonadIO m, Member (Embed m) r) => (msg -> Text) -> InterpreterFor (Log msg) r
- Polysemy.Log.Colog.Colog: interpretCologStdoutNative :: forall m r. MonadIO m => Member (Embed m) r => InterpreterFor (Log Message) r
+ Polysemy.Log.Colog.Colog: interpretCologStdoutNative :: forall (m :: Type -> Type) (r :: EffectRow). (MonadIO m, Member (Embed m) r) => InterpreterFor (Log Message) r
- Polysemy.Log.Colog.Colog: interpretDataLogColog :: forall a r. Member (Log a) r => InterpreterFor (DataLog a) r
+ Polysemy.Log.Colog.Colog: interpretDataLogColog :: forall a (r :: EffectRow). Member (Log a) r => InterpreterFor (DataLog a) r
- Polysemy.Log.Colog.Colog: interpretDataLogCologLocal :: forall a b r. Member (Log b) r => (a -> b) -> (a -> a) -> InterpreterFor (DataLog a) r
+ Polysemy.Log.Colog.Colog: interpretDataLogCologLocal :: forall a b (r :: EffectRow). Member (Log b) r => (a -> b) -> (a -> a) -> InterpreterFor (DataLog a) r
- Polysemy.Log.Colog.Colog: interpretDataLogNative :: Member (Log Message) r => InterpreterFor (DataLog (LogEntry LogMessage)) r
+ Polysemy.Log.Colog.Colog: interpretDataLogNative :: forall (r :: EffectRow). Member (Log Message) r => InterpreterFor (DataLog (LogEntry LogMessage)) r
- Polysemy.Log.Colog.Colog: interpretLogColog :: Members [Log (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
+ Polysemy.Log.Colog.Colog: interpretLogColog :: forall (r :: EffectRow). Members '[Log (LogEntry LogMessage), GhcTime] r => InterpreterFor Log r
- Polysemy.Log.Colog.Colog: interpretLogColog' :: Members [Log (LogEntry LogMessage), Embed IO] r => InterpretersFor [Log, GhcTime] r
+ Polysemy.Log.Colog.Colog: interpretLogColog' :: forall (r :: EffectRow). Members '[Log (LogEntry LogMessage), Embed IO] r => InterpretersFor '[Log, GhcTime] r
- Polysemy.Log.Colog.Colog: interpretLogCologAsNative :: Members [Log Message, GhcTime] r => InterpreterFor Log r
+ Polysemy.Log.Colog.Colog: interpretLogCologAsNative :: forall (r :: EffectRow). Members '[Log Message, GhcTime] r => InterpreterFor Log r
- Polysemy.Log.Colog.Colog: interpretLogStdout :: Member (Embed IO) r => InterpreterFor Log r
+ Polysemy.Log.Colog.Colog: interpretLogStdout :: forall (r :: EffectRow). Member (Embed IO) r => InterpreterFor Log r
- Polysemy.Log.Colog.Colog: interpretLogStdoutAsNative :: Member (Embed IO) r => InterpretersFor [Log, Log Message] r
+ Polysemy.Log.Colog.Colog: interpretLogStdoutAsNative :: forall (r :: EffectRow). Member (Embed IO) r => InterpretersFor '[Log, Log Message] r
- Polysemy.Log.Colog.Colog: interpretLogStdoutAsNativeConc :: Members [Resource, Async, Race, Embed IO] r => InterpretersFor [Log, Log Message] r
+ Polysemy.Log.Colog.Colog: interpretLogStdoutAsNativeConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => InterpretersFor '[Log, Log Message] r
- Polysemy.Log.Colog.Colog: interpretLogStdoutConc :: Members [Resource, Async, Race, Embed IO] r => InterpreterFor Log r
+ Polysemy.Log.Colog.Colog: interpretLogStdoutConc :: forall (r :: EffectRow). Members '[Resource, Async, Race, Embed IO] r => InterpreterFor Log r
- Polysemy.Log.Colog.Conc: interpretCologConcNative :: Members [Resource, Embed IO] r => InterpreterFor (Log (LogEntry LogMessage)) r
+ Polysemy.Log.Colog.Conc: interpretCologConcNative :: forall (r :: EffectRow). Members '[Resource, Embed IO] r => InterpreterFor (Log (LogEntry LogMessage)) r
- Polysemy.Log.Colog.Conc: interpretCologConcNativeWith :: forall msg r. Members [Resource, Embed IO] r => Capacity -> LogAction IO msg -> IO () -> InterpreterFor (Log msg) r
+ Polysemy.Log.Colog.Conc: interpretCologConcNativeWith :: forall msg (r :: EffectRow). Members '[Resource, Embed IO] r => Capacity -> LogAction IO msg -> IO () -> InterpreterFor (Log msg) r

Files

polysemy-log-co.cabal view
@@ -1,25 +1,25 @@ cabal-version: 2.2 --- This file has been generated from package.yaml by hpack version 0.35.0.+-- This file has been generated from package.yaml by hpack version 0.36.1. -- -- see: https://github.com/sol/hpack  name:           polysemy-log-co-version:        0.9.0.0-synopsis:       Colog adapters for Polysemy.Log-description:    See https://hackage.haskell.org/package/polysemy-log-co/docs/Polysemy-Log-Colog.html+version:        0.11.1.0+synopsis:       Colog adapters for polysemy-log+description:    See https://hackage.haskell.org/package/polysemy-log-co/docs/Polysemy-Log-Co.html category:       Logging homepage:       https://github.com/tek/polysemy-log#readme bug-reports:    https://github.com/tek/polysemy-log/issues author:         Torsten Schmits maintainer:     hackage@tryp.io-copyright:      2022 Torsten Schmits+copyright:      2025 Torsten Schmits license:        BSD-2-Clause-Patent license-file:   LICENSE build-type:     Simple extra-source-files:-    changelog.md     readme.md+    changelog.md  source-repository head   type: git@@ -36,84 +36,58 @@   default-extensions:       AllowAmbiguousTypes       ApplicativeDo-      BangPatterns-      BinaryLiterals       BlockArguments-      ConstraintKinds       DataKinds       DefaultSignatures       DeriveAnyClass-      DeriveDataTypeable-      DeriveFoldable-      DeriveFunctor-      DeriveGeneric-      DeriveLift-      DeriveTraversable       DerivingStrategies       DerivingVia       DisambiguateRecordFields-      DoAndIfThenElse       DuplicateRecordFields-      EmptyCase-      EmptyDataDecls-      ExistentialQuantification-      FlexibleContexts-      FlexibleInstances       FunctionalDependencies       GADTs-      GeneralizedNewtypeDeriving-      InstanceSigs-      KindSignatures       LambdaCase       LiberalTypeSynonyms-      MultiParamTypeClasses+      MonadComprehensions       MultiWayIf-      NamedFieldPuns       OverloadedLabels       OverloadedLists       OverloadedStrings       PackageImports       PartialTypeSignatures-      PatternGuards       PatternSynonyms-      PolyKinds       QuantifiedConstraints       QuasiQuotes-      RankNTypes       RecordWildCards       RecursiveDo       RoleAnnotations-      ScopedTypeVariables-      StandaloneDeriving       TemplateHaskell-      TupleSections-      TypeApplications       TypeFamilies       TypeFamilyDependencies-      TypeOperators-      TypeSynonymInstances       UndecidableInstances       UnicodeSyntax       ViewPatterns-  ghc-options: -Wall -Wredundant-constraints -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Widentities -Wunused-packages+      OverloadedRecordDot+      NoFieldSelectors+  ghc-options: -Wall -Widentities -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wredundant-constraints -Wunused-type-patterns -Wunused-packages   build-depends:-      base >=4.12 && <5-    , co-log ==0.5.*-    , co-log-concurrent ==0.5.*+      base >=4.17.2.1 && <4.21+    , co-log >=0.6.0.0 && <0.7+    , co-log-concurrent >=0.5.1.0 && <0.6     , co-log-polysemy >=0.0.1.3 && <0.1-    , incipit-core >=0.4-    , polysemy-    , polysemy-conc ==0.12.*-    , polysemy-log-    , polysemy-time ==0.6.*-    , stm+    , incipit-core >=0.4.1.0 && <0.7+    , polysemy >=1.7.0.0 && <1.10+    , polysemy-conc >=0.11.1.0 && <0.15+    , polysemy-log >=0.11.1.0 && <0.12+    , polysemy-time >=0.6.0.0 && <0.8+    , stm >=2.5.1.0 && <2.6   mixins:       base hiding (Prelude)     , incipit-core (IncipitCore as Prelude)     , incipit-core hiding (IncipitCore)-  default-language: Haskell2010+  default-language: GHC2021 -test-suite polysemy-log-co-unit+test-suite polysemy-log-co-test   type: exitcode-stdio-1.0   main-is: Main.hs   other-modules:@@ -125,81 +99,55 @@   default-extensions:       AllowAmbiguousTypes       ApplicativeDo-      BangPatterns-      BinaryLiterals       BlockArguments-      ConstraintKinds       DataKinds       DefaultSignatures       DeriveAnyClass-      DeriveDataTypeable-      DeriveFoldable-      DeriveFunctor-      DeriveGeneric-      DeriveLift-      DeriveTraversable       DerivingStrategies       DerivingVia       DisambiguateRecordFields-      DoAndIfThenElse       DuplicateRecordFields-      EmptyCase-      EmptyDataDecls-      ExistentialQuantification-      FlexibleContexts-      FlexibleInstances       FunctionalDependencies       GADTs-      GeneralizedNewtypeDeriving-      InstanceSigs-      KindSignatures       LambdaCase       LiberalTypeSynonyms-      MultiParamTypeClasses+      MonadComprehensions       MultiWayIf-      NamedFieldPuns       OverloadedLabels       OverloadedLists       OverloadedStrings       PackageImports       PartialTypeSignatures-      PatternGuards       PatternSynonyms-      PolyKinds       QuantifiedConstraints       QuasiQuotes-      RankNTypes       RecordWildCards       RecursiveDo       RoleAnnotations-      ScopedTypeVariables-      StandaloneDeriving       TemplateHaskell-      TupleSections-      TypeApplications       TypeFamilies       TypeFamilyDependencies-      TypeOperators-      TypeSynonymInstances       UndecidableInstances       UnicodeSyntax       ViewPatterns-  ghc-options: -Wall -Wredundant-constraints -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Widentities -Wunused-packages -threaded -rtsopts -with-rtsopts=-N+      OverloadedRecordDot+      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.12 && <5-    , co-log-    , co-log-concurrent-    , co-log-polysemy-    , incipit-core >=0.4-    , polysemy+      base >=4.17.2.1 && <4.21+    , co-log >=0.6.0.0 && <0.7+    , co-log-concurrent >=0.5.1.0 && <0.6+    , co-log-polysemy >=0.0.1.3 && <0.1+    , incipit-core >=0.4.1.0 && <0.7+    , polysemy >=1.7.0.0 && <1.10     , polysemy-log     , polysemy-log-co-    , polysemy-test >=0.6-    , polysemy-time-    , stm-    , tasty+    , polysemy-test >=0.6.0.0 && <0.11+    , polysemy-time >=0.6.0.0 && <0.8+    , stm >=2.5.1.0 && <2.6+    , tasty >=1.4.2 && <1.6   mixins:       base hiding (Prelude)     , incipit-core (IncipitCore as Prelude)     , incipit-core hiding (IncipitCore)-  default-language: Haskell2010+  default-language: GHC2021
test/Polysemy/Log/Colog/Test/ConcTest.hs view
@@ -7,8 +7,7 @@  import Polysemy.Log.Colog.Colog (interpretLogColog') import Polysemy.Log.Colog.Conc (interpretCologConcNativeWith)-import qualified Polysemy.Log.Data.LogEntry as LogEntry-import Polysemy.Log.Data.LogEntry (LogEntry)+import Polysemy.Log.Data.LogEntry (LogEntry (..)) import Polysemy.Log.Data.LogMessage (LogMessage (LogMessage)) import qualified Polysemy.Log.Data.Severity as Severity import qualified Polysemy.Log.Effect.Log as Log@@ -32,4 +31,4 @@     let action msg = atomically (modifyTVar' tv (msg :))     interpretCologConcNativeWith @(LogEntry LogMessage) defCapacity (LogAction action) unit (interpretLogColog' prog)     msgs <- embed (readTVarIO tv)-    assertEq @_ @IO target (LogEntry.message <$> msgs)+    assertEq @_ @IO target ((.message) <$> msgs)
test/Polysemy/Log/Colog/Test/ExampleTest.hs view
@@ -35,4 +35,4 @@ main =   runM do     interpretLogStdout progSimple-    runLogAction @IO (contramap message logTextStdout) $ interpretDataLogColog @Message progData+    runLogAction @IO @Message (contramap (.message) logTextStdout) $ interpretDataLogColog @Message progData
test/Polysemy/Log/Colog/Test/SimpleTest.hs view
@@ -5,12 +5,11 @@  import Polysemy.Log.Colog.Atomic (interpretCologAtomic) import Polysemy.Log.Colog.Colog (interpretLogColog)+import Polysemy.Log.Data.LogEntry (LogEntry (..))+import Polysemy.Log.Data.LogMessage (LogMessage (LogMessage))+import qualified Polysemy.Log.Data.Severity as Severity import qualified Polysemy.Log.Effect.Log as Log import Polysemy.Log.Effect.Log (Log)-import qualified Polysemy.Log.Data.LogEntry as LogEntry (LogEntry(..))-import Polysemy.Log.Data.LogEntry (LogEntry)-import Polysemy.Log.Data.LogMessage (LogMessage(LogMessage))-import qualified Polysemy.Log.Data.Severity as Severity  prog ::   Members [Log, AtomicState [LogEntry LogMessage]] r =>@@ -28,4 +27,4 @@ test_simpleColog =   runTestAuto do     msgs <- interpretCologAtomic @(LogEntry LogMessage) (interpretTimeGhc (interpretLogColog prog))-    assertEq @_ @IO target (LogEntry.message <$> msgs)+    assertEq @_ @IO target ((.message) <$> msgs)