co-log-core 0.3.2.5 → 0.3.2.6
raw patch · 7 files changed
+20/−11 lines, 7 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Colog.Core.Class: type Lens' s a = forall f. Functor f => (a -> f a) -> s -> f s
+ Colog.Core.Class: type Lens' s a = forall (f :: Type -> Type). Functor f => a -> f a -> s -> f s
- Colog.Core.Action: (*<) :: Applicative m => LogAction m () -> LogAction m a -> LogAction m a
+ Colog.Core.Action: (*<) :: forall (m :: Type -> Type) a. Applicative m => LogAction m () -> LogAction m a -> LogAction m a
- Colog.Core.Action: (>$) :: b -> LogAction m b -> LogAction m a
+ Colog.Core.Action: (>$) :: forall b (m :: Type -> Type) a. b -> LogAction m b -> LogAction m a
- Colog.Core.Action: (>$<) :: (a -> b) -> LogAction m b -> LogAction m a
+ Colog.Core.Action: (>$<) :: forall a b (m :: Type -> Type). (a -> b) -> LogAction m b -> LogAction m a
- Colog.Core.Action: (>*) :: Applicative m => LogAction m a -> LogAction m () -> LogAction m a
+ Colog.Core.Action: (>*) :: forall (m :: Type -> Type) a. Applicative m => LogAction m a -> LogAction m () -> LogAction m a
- Colog.Core.Action: (>*<) :: Applicative m => LogAction m a -> LogAction m b -> LogAction m (a, b)
+ Colog.Core.Action: (>*<) :: forall (m :: Type -> Type) a b. Applicative m => LogAction m a -> LogAction m b -> LogAction m (a, b)
- Colog.Core.Action: (>|<) :: LogAction m a -> LogAction m b -> LogAction m (Either a b)
+ Colog.Core.Action: (>|<) :: forall (m :: Type -> Type) a b. LogAction m a -> LogAction m b -> LogAction m (Either a b)
- Colog.Core.Action: LogAction :: (msg -> m ()) -> LogAction m msg
+ Colog.Core.Action: LogAction :: (msg -> m ()) -> LogAction (m :: Type -> Type) msg
- Colog.Core.Action: [unLogAction] :: LogAction m msg -> msg -> m ()
+ Colog.Core.Action: [unLogAction] :: LogAction (m :: Type -> Type) msg -> msg -> m ()
- Colog.Core.Action: cfilter :: Applicative m => (msg -> Bool) -> LogAction m msg -> LogAction m msg
+ Colog.Core.Action: cfilter :: forall (m :: Type -> Type) msg. Applicative m => (msg -> Bool) -> LogAction m msg -> LogAction m msg
- Colog.Core.Action: choose :: (a -> Either b c) -> LogAction m b -> LogAction m c -> LogAction m a
+ Colog.Core.Action: choose :: forall a b c (m :: Type -> Type). (a -> Either b c) -> LogAction m b -> LogAction m c -> LogAction m a
- Colog.Core.Action: cmap :: (a -> b) -> LogAction m b -> LogAction m a
+ Colog.Core.Action: cmap :: forall a b (m :: Type -> Type). (a -> b) -> LogAction m b -> LogAction m a
- Colog.Core.Action: cmapMaybe :: Applicative m => (a -> Maybe b) -> LogAction m b -> LogAction m a
+ Colog.Core.Action: cmapMaybe :: forall (m :: Type -> Type) a b. Applicative m => (a -> Maybe b) -> LogAction m b -> LogAction m a
- Colog.Core.Action: conquer :: Applicative m => LogAction m a
+ Colog.Core.Action: conquer :: forall (m :: Type -> Type) a. Applicative m => LogAction m a
- Colog.Core.Action: divide :: Applicative m => (a -> (b, c)) -> LogAction m b -> LogAction m c -> LogAction m a
+ Colog.Core.Action: divide :: forall (m :: Type -> Type) a b c. Applicative m => (a -> (b, c)) -> LogAction m b -> LogAction m c -> LogAction m a
- Colog.Core.Action: duplicate :: forall msg m. Semigroup msg => LogAction m msg -> LogAction m (msg, msg)
+ Colog.Core.Action: duplicate :: forall msg (m :: Type -> Type). Semigroup msg => LogAction m msg -> LogAction m (msg, msg)
- Colog.Core.Action: foldActions :: (Foldable t, Applicative m) => t (LogAction m a) -> LogAction m a
+ Colog.Core.Action: foldActions :: forall t (m :: Type -> Type) a. (Foldable t, Applicative m) => t (LogAction m a) -> LogAction m a
- Colog.Core.Action: hoistLogAction :: (forall x. m x -> n x) -> LogAction m a -> LogAction n a
+ Colog.Core.Action: hoistLogAction :: (forall x. () => m x -> n x) -> LogAction m a -> LogAction n a
- Colog.Core.Action: lose :: (a -> Void) -> LogAction m a
+ Colog.Core.Action: lose :: forall a (m :: Type -> Type). (a -> Void) -> LogAction m a
- Colog.Core.Action: multiplicate :: forall f msg m. (Foldable f, Monoid msg) => LogAction m msg -> LogAction m (f msg)
+ Colog.Core.Action: multiplicate :: forall f msg (m :: Type -> Type). (Foldable f, Monoid msg) => LogAction m msg -> LogAction m (f msg)
- Colog.Core.Action: newtype LogAction m msg
+ Colog.Core.Action: newtype LogAction (m :: Type -> Type) msg
- Colog.Core.Action: separate :: forall f msg m. (Traversable f, Applicative m) => LogAction m msg -> LogAction m (f msg)
+ Colog.Core.Action: separate :: forall f msg (m :: Type -> Type). (Traversable f, Applicative m) => LogAction m msg -> LogAction m (f msg)
- Colog.Core.Class: class HasLog env msg m
+ Colog.Core.Class: class HasLog env msg (m :: Type -> Type)
- Colog.Core.IO: liftLogIO :: MonadIO m => LogAction IO msg -> LogAction m msg
+ Colog.Core.IO: liftLogIO :: forall (m :: Type -> Type) msg. MonadIO m => LogAction IO msg -> LogAction m msg
- Colog.Core.IO: logFlush :: MonadIO m => Handle -> LogAction m a
+ Colog.Core.IO: logFlush :: forall (m :: Type -> Type) a. MonadIO m => Handle -> LogAction m a
- Colog.Core.IO: logPrint :: forall a m. (Show a, MonadIO m) => LogAction m a
+ Colog.Core.IO: logPrint :: forall a (m :: Type -> Type). (Show a, MonadIO m) => LogAction m a
- Colog.Core.IO: logPrintHandle :: forall a m. (Show a, MonadIO m) => Handle -> LogAction m a
+ Colog.Core.IO: logPrintHandle :: forall a (m :: Type -> Type). (Show a, MonadIO m) => Handle -> LogAction m a
- Colog.Core.IO: logPrintStderr :: forall a m. (Show a, MonadIO m) => LogAction m a
+ Colog.Core.IO: logPrintStderr :: forall a (m :: Type -> Type). (Show a, MonadIO m) => LogAction m a
- Colog.Core.IO: logStringHandle :: MonadIO m => Handle -> LogAction m String
+ Colog.Core.IO: logStringHandle :: forall (m :: Type -> Type). MonadIO m => Handle -> LogAction m String
- Colog.Core.IO: logStringStderr :: MonadIO m => LogAction m String
+ Colog.Core.IO: logStringStderr :: forall (m :: Type -> Type). MonadIO m => LogAction m String
- Colog.Core.IO: logStringStdout :: MonadIO m => LogAction m String
+ Colog.Core.IO: logStringStdout :: forall (m :: Type -> Type). MonadIO m => LogAction m String
- Colog.Core.IO: withLogPrintFile :: forall a m r. (Show a, MonadIO m) => FilePath -> (LogAction m a -> IO r) -> IO r
+ Colog.Core.IO: withLogPrintFile :: forall a (m :: Type -> Type) r. (Show a, MonadIO m) => FilePath -> (LogAction m a -> IO r) -> IO r
- Colog.Core.IO: withLogStringFile :: MonadIO m => FilePath -> (LogAction m String -> IO r) -> IO r
+ Colog.Core.IO: withLogStringFile :: forall (m :: Type -> Type) r. MonadIO m => FilePath -> (LogAction m String -> IO r) -> IO r
- Colog.Core.Severity: filterBySeverity :: Applicative m => Severity -> (a -> Severity) -> LogAction m a -> LogAction m a
+ Colog.Core.Severity: filterBySeverity :: forall (m :: Type -> Type) a. Applicative m => Severity -> (a -> Severity) -> LogAction m a -> LogAction m a
Files
- CHANGELOG.md +8/−0
- co-log-core.cabal +7/−6
- src/Colog/Core.hs +1/−1
- src/Colog/Core/Action.hs +1/−1
- src/Colog/Core/Class.hs +1/−1
- src/Colog/Core/IO.hs +1/−1
- src/Colog/Core/Severity.hs +1/−1
CHANGELOG.md view
@@ -3,6 +3,14 @@ `co-log-core` uses [PVP Versioning][1]. The change log is available [on GitHub][2]. +## 0.3.2.6 — January 5, 2026++## What's Changed++* Support ghc-9.14.++**Full Changelog**: https://github.com/co-log/co-log-core/compare/v0.3.2.5...v0.3.2.6+ ## 0.3.2.5 — March 2, 2025 ## What's Changed
co-log-core.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: co-log-core-version: 0.3.2.5+version: 0.3.2.6 synopsis: Composable Contravariant Comonadic Logging Library description: This package provides core types and functions to work with the @LogAction@ data type which is both simple and powerful.@@ -27,7 +27,7 @@ license-file: LICENSE author: Dmitrii Kovanikov maintainer: Co-Log <xrom.xkov@gmail.com>-copyright: 2018-2020 Kowainik, 2021-2025 Co-Log+copyright: 2018-2020 Kowainik, 2021-2026 Co-Log category: Logging, Contravariant, Comonad build-type: Simple stability: stable@@ -41,17 +41,18 @@ GHC == 9.0.2 GHC == 9.2.8 GHC == 9.4.8- GHC == 9.6.6+ GHC == 9.6.7 GHC == 9.8.4- GHC == 9.10.1- GHC == 9.12.1+ GHC == 9.10.3+ GHC == 9.12.2+ GHC == 9.14.1 source-repository head type: git location: https://github.com/co-log/co-log-core.git common common-options- build-depends: base >= 4.10.1.0 && < 4.22+ build-depends: base >= 4.10.1.0 && < 4.23 ghc-options: -Wall -Wcompat
src/Colog/Core.hs view
@@ -1,6 +1,6 @@ {- | Module : Colog.Core-Copyright : (c) 2018-2020 Kowainik, 2021-2025 Co-Log+Copyright : (c) 2018-2020 Kowainik, 2021-2026 Co-Log SPDX-License-Identifier : MPL-2.0 Maintainer : Co-Log <xrom.xkov@gmail.com> Stability : Stable
src/Colog/Core/Action.hs view
@@ -7,7 +7,7 @@ {- | Module : Colog.Core.Action-Copyright : (c) 2018-2020 Kowainik, 2021-2025 Co-Log+Copyright : (c) 2018-2020 Kowainik, 2021-2026 Co-Log SPDX-License-Identifier : MPL-2.0 Maintainer : Co-Log <xrom.xkov@gmail.com> Stability : Stable
src/Colog/Core/Class.hs view
@@ -4,7 +4,7 @@ {- | Module : Colog.Core.Class-Copyright : (c) 2018-2020 Kowainik, 2021-2025 Co-Log+Copyright : (c) 2018-2020 Kowainik, 2021-2026 Co-Log SPDX-License-Identifier : MPL-2.0 Maintainer : Co-Log <xrom.xkov@gmail.com> Stability : Stable
src/Colog/Core/IO.hs view
@@ -2,7 +2,7 @@ {- | Module : Colog.Core.IO-Copyright : (c) 2018-2020 Kowainik, 2021-2025 Co-Log+Copyright : (c) 2018-2020 Kowainik, 2021-2026 Co-Log SPDX-License-Identifier : MPL-2.0 Maintainer : Co-Log <xrom.xkov@gmail.com> Stability : Stable
src/Colog/Core/Severity.hs view
@@ -2,7 +2,7 @@ {- | Module : Colog.Core.Severity-Copyright : (c) 2018-2020 Kowainik, 2021-2025 Co-Log+Copyright : (c) 2018-2020 Kowainik, 2021-2026 Co-Log SPDX-License-Identifier : MPL-2.0 Maintainer : Co-Log <xrom.xkov@gmail.com> Stability : Stable