invariant 0.6.4 → 0.6.5
raw patch · 2 files changed
+11/−9 lines, 2 filesdep −ghc-primdep −transformers-compatdep ~template-haskellPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: ghc-prim, transformers-compat
Dependency ranges changed: template-haskell
API changes (from Hackage documentation)
+ Data.Functor.Invariant: ($dminvmap) :: (Invariant f, Generic1 f, Invariant (Rep1 f)) => (a -> b) -> (b -> a) -> f a -> f b
- Data.Functor.Invariant: InvariantArrow :: c a a -> InvariantArrow c a
+ Data.Functor.Invariant: InvariantArrow :: c a a -> InvariantArrow (c :: k -> k -> Type) (a :: k)
- Data.Functor.Invariant: InvariantProfunctor :: p a a -> InvariantProfunctor p a
+ Data.Functor.Invariant: InvariantProfunctor :: p a a -> InvariantProfunctor (p :: k -> k -> Type) (a :: k)
- Data.Functor.Invariant: WrapContravariant :: f a -> WrappedContravariant f a
+ Data.Functor.Invariant: WrapContravariant :: f a -> WrappedContravariant (f :: k -> Type) (a :: k)
- Data.Functor.Invariant: WrapFunctor :: f a -> WrappedFunctor f a
+ Data.Functor.Invariant: WrapFunctor :: f a -> WrappedFunctor (f :: k -> Type) (a :: k)
- Data.Functor.Invariant: WrapProfunctor :: p a b -> WrappedProfunctor p a b
+ Data.Functor.Invariant: WrapProfunctor :: p a b -> WrappedProfunctor (p :: k -> k1 -> Type) (a :: k) (b :: k1)
- Data.Functor.Invariant: [unwrapContravariant] :: WrappedContravariant f a -> f a
+ Data.Functor.Invariant: [unwrapContravariant] :: WrappedContravariant (f :: k -> Type) (a :: k) -> f a
- Data.Functor.Invariant: [unwrapFunctor] :: WrappedFunctor f a -> f a
+ Data.Functor.Invariant: [unwrapFunctor] :: WrappedFunctor (f :: k -> Type) (a :: k) -> f a
- Data.Functor.Invariant: [unwrapProfunctor] :: WrappedProfunctor p a b -> p a b
+ Data.Functor.Invariant: [unwrapProfunctor] :: WrappedProfunctor (p :: k -> k1 -> Type) (a :: k) (b :: k1) -> p a b
- Data.Functor.Invariant: class Invariant f
+ Data.Functor.Invariant: class Invariant (f :: Type -> Type)
- Data.Functor.Invariant: class Invariant2 f
+ Data.Functor.Invariant: class Invariant2 (f :: Type -> Type -> Type)
- Data.Functor.Invariant: invmap :: (Invariant f, Generic1 f, Invariant (Rep1 f)) => (a -> b) -> (b -> a) -> f a -> f b
+ Data.Functor.Invariant: invmap :: Invariant f => (a -> b) -> (b -> a) -> f a -> f b
- Data.Functor.Invariant: newtype InvariantArrow c a
+ Data.Functor.Invariant: newtype InvariantArrow (c :: k -> k -> Type) (a :: k)
- Data.Functor.Invariant: newtype InvariantProfunctor p a
+ Data.Functor.Invariant: newtype InvariantProfunctor (p :: k -> k -> Type) (a :: k)
- Data.Functor.Invariant: newtype () => WrappedBifunctor (p :: k -> k1 -> Type) (a :: k) (b :: k1)
+ Data.Functor.Invariant: newtype WrappedBifunctor (p :: k -> k1 -> Type) (a :: k) (b :: k1)
- Data.Functor.Invariant: newtype WrappedContravariant f a
+ Data.Functor.Invariant: newtype WrappedContravariant (f :: k -> Type) (a :: k)
- Data.Functor.Invariant: newtype WrappedFunctor f a
+ Data.Functor.Invariant: newtype WrappedFunctor (f :: k -> Type) (a :: k)
- Data.Functor.Invariant: newtype WrappedProfunctor p a b
+ Data.Functor.Invariant: newtype WrappedProfunctor (p :: k -> k1 -> Type) (a :: k) (b :: k1)
Files
- CHANGELOG.md +4/−0
- invariant.cabal +7/−9
CHANGELOG.md view
@@ -1,3 +1,7 @@+# 0.6.5 [2026.01.10]+* Remove unused `ghc-prim` and `transformers-compat` dependencies.+* Allow building with `template-haskell-2.24.*` (GHC 9.14).+ # 0.6.4 [2024.12.05] * Drop support for pre-8.0 versions of GHC.
invariant.cabal view
@@ -1,5 +1,5 @@ name: invariant-version: 0.6.4+version: 0.6.5 synopsis: Haskell98 invariant functors description: Haskell98 invariant functors (also known as exponential functors). .@@ -25,10 +25,11 @@ , 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 extra-source-files: CHANGELOG.md, README.md source-repository head@@ -46,17 +47,15 @@ , base >= 4.9 && < 5 , bifunctors >= 5.2 && < 6 , comonad >= 5 && < 6- , containers >= 0.1 && < 0.8+ , containers >= 0.1 && < 0.9 , contravariant >= 0.5 && < 2- , ghc-prim , profunctors >= 5.2.1 && < 6 , StateVar >= 1.1 && < 2 , stm >= 2.2 && < 3 , tagged >= 0.7.3 && < 1- , template-haskell >= 2.11 && < 2.24+ , template-haskell >= 2.11 && < 2.25 , th-abstraction >= 0.5 && < 0.8 , transformers >= 0.2 && < 0.7- , transformers-compat >= 0.3 && < 1 , unordered-containers >= 0.2.4 && < 0.3 ghc-options: -Wall @@ -74,7 +73,6 @@ , hspec >= 1.8 , invariant , QuickCheck >= 2.11 && < 3- , template-haskell build-tool-depends: hspec-discover:hspec-discover ghc-options: -Wall if impl(ghc >= 8.6)