patch 0.0.8.1 → 0.0.8.2
raw patch · 2 files changed
+14/−7 lines, 2 filesdep ~basedep ~semialigndep ~semigroupoidsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, semialign, semigroupoids, these
API changes (from Hackage documentation)
- Data.Monoid.DecidablyEmpty: instance GHC.Base.Semigroup a => Data.Monoid.DecidablyEmpty.DecidablyEmpty (Data.Semigroup.Option a)
- Data.Monoid.DecidablyEmpty: instance forall k1 k2 (f :: k2 -> *) (g :: k1 -> k2) (p :: k1). Data.Monoid.DecidablyEmpty.DecidablyEmpty (f (g p)) => Data.Monoid.DecidablyEmpty.DecidablyEmpty ((GHC.Generics.:.:) f g p)
- Data.Patch: instance forall k1 k2 (f :: k2 -> *) (g :: k1 -> k2) (a :: k1). Data.Patch.Group (f (g a)) => Data.Patch.Group ((GHC.Generics.:.:) f g a)
- Data.Patch: type family PatchTarget p :: Type;
- Data.Patch.Class: type family PatchTarget p :: Type;
- Data.Patch.IntMap: instance (Data.Patch.IntMap.PatchIntMap a1 Data.Type.Equality.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.IntMap.PatchIntMap a2) t
- Data.Patch.IntMap: instance Control.Lens.Indexed.FoldableWithIndex GHC.Types.Int Data.Patch.IntMap.PatchIntMap
- Data.Patch.IntMap: instance Control.Lens.Indexed.FunctorWithIndex GHC.Types.Int Data.Patch.IntMap.PatchIntMap
- Data.Patch.IntMap: instance Control.Lens.Indexed.TraversableWithIndex GHC.Types.Int Data.Patch.IntMap.PatchIntMap
- Data.Patch.Map: instance (Data.Patch.Map.PatchMap k1 v1 Data.Type.Equality.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.Map.PatchMap k2 v2) t
- Data.Patch.Map: instance Control.Lens.Indexed.FoldableWithIndex k (Data.Patch.Map.PatchMap k)
- Data.Patch.Map: instance Control.Lens.Indexed.FunctorWithIndex k (Data.Patch.Map.PatchMap k)
- Data.Patch.Map: instance Control.Lens.Indexed.TraversableWithIndex k (Data.Patch.Map.PatchMap k)
- Data.Patch.MapWithMove: instance (Data.Patch.MapWithMove.From k1 v1 Data.Type.Equality.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithMove.From k2 v2) t
- Data.Patch.MapWithMove: instance (Data.Patch.MapWithMove.NodeInfo k1 v1 Data.Type.Equality.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithMove.NodeInfo k2 v2) t
- Data.Patch.MapWithMove: instance (Data.Patch.MapWithMove.PatchMapWithMove k1 v1 Data.Type.Equality.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithMove.PatchMapWithMove k2 v2) t
- Data.Patch.MapWithMove: instance Control.Lens.Indexed.FoldableWithIndex k (Data.Patch.MapWithMove.PatchMapWithMove k)
- Data.Patch.MapWithMove: instance Control.Lens.Indexed.FunctorWithIndex k (Data.Patch.MapWithMove.PatchMapWithMove k)
- Data.Patch.MapWithMove: instance Control.Lens.Indexed.TraversableWithIndex k (Data.Patch.MapWithMove.PatchMapWithMove k)
- Data.Patch.MapWithPatchingMove: instance (Data.Patch.MapWithPatchingMove.PatchMapWithPatchingMove k1 p1 Data.Type.Equality.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithPatchingMove.PatchMapWithPatchingMove k2 p2) t
+ Data.Monoid.DecidablyEmpty: instance forall k2 k1 (f :: k2 -> *) (g :: k1 -> k2) (p :: k1). Data.Monoid.DecidablyEmpty.DecidablyEmpty (f (g p)) => Data.Monoid.DecidablyEmpty.DecidablyEmpty ((GHC.Generics.:.:) f g p)
+ Data.Patch: instance forall k2 k1 (f :: k2 -> *) (g :: k1 -> k2) (a :: k1). Data.Patch.Group (f (g a)) => Data.Patch.Group ((GHC.Generics.:.:) f g a)
+ Data.Patch: type PatchTarget p :: Type;
+ Data.Patch.Class: type PatchTarget p :: Type;
+ Data.Patch.IntMap: instance (Data.Patch.IntMap.PatchIntMap a1 GHC.Types.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.IntMap.PatchIntMap a2) t
+ Data.Patch.Map: instance (Data.Patch.Map.PatchMap k1 v1 GHC.Types.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.Map.PatchMap k2 v2) t
+ Data.Patch.MapWithMove: instance (Data.Patch.MapWithMove.From k1 v1 GHC.Types.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithMove.From k2 v2) t
+ Data.Patch.MapWithMove: instance (Data.Patch.MapWithMove.NodeInfo k1 v1 GHC.Types.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithMove.NodeInfo k2 v2) t
+ Data.Patch.MapWithMove: instance (Data.Patch.MapWithMove.PatchMapWithMove k1 v1 GHC.Types.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithMove.PatchMapWithMove k2 v2) t
+ Data.Patch.MapWithPatchingMove: instance (Data.Patch.MapWithPatchingMove.PatchMapWithPatchingMove k1 p1 GHC.Types.~ t) => Control.Lens.Wrapped.Rewrapped (Data.Patch.MapWithPatchingMove.PatchMapWithPatchingMove k2 p2) t
- Data.Patch.MapWithMove: From' :: From k (Proxy v) -> From k
+ Data.Patch.MapWithMove: From' :: From k (Proxy v) -> From k (v :: Type)
- Data.Patch.MapWithMove: NodeInfo' :: NodeInfo k (Proxy v) -> NodeInfo k
+ Data.Patch.MapWithMove: NodeInfo' :: NodeInfo k (Proxy v) -> NodeInfo k (v :: Type)
- Data.Patch.MapWithMove: PatchMapWithMove' :: PatchMapWithPatchingMove k (Proxy v) -> PatchMapWithMove k
+ Data.Patch.MapWithMove: PatchMapWithMove' :: PatchMapWithPatchingMove k (Proxy v) -> PatchMapWithMove k (v :: Type)
- Data.Patch.MapWithMove: [unFrom'] :: From k -> From k (Proxy v)
+ Data.Patch.MapWithMove: [unFrom'] :: From k (v :: Type) -> From k (Proxy v)
- Data.Patch.MapWithMove: [unNodeInfo'] :: NodeInfo k -> NodeInfo k (Proxy v)
+ Data.Patch.MapWithMove: [unNodeInfo'] :: NodeInfo k (v :: Type) -> NodeInfo k (Proxy v)
- Data.Patch.MapWithMove: [unPatchMapWithMove'] :: PatchMapWithMove k -> PatchMapWithPatchingMove k (Proxy v)
+ Data.Patch.MapWithMove: [unPatchMapWithMove'] :: PatchMapWithMove k (v :: Type) -> PatchMapWithPatchingMove k (Proxy v)
- Data.Patch.PatchOrReplacement: _PatchOrReplacement_Patch :: forall p_a10w4. Prism' (PatchOrReplacement p_a10w4) p_a10w4
+ Data.Patch.PatchOrReplacement: _PatchOrReplacement_Patch :: forall p_aKCZ. Prism' (PatchOrReplacement p_aKCZ) p_aKCZ
- Data.Patch.PatchOrReplacement: _PatchOrReplacement_Replacement :: forall p_a10w4. Prism' (PatchOrReplacement p_a10w4) (PatchTarget p_a10w4)
+ Data.Patch.PatchOrReplacement: _PatchOrReplacement_Replacement :: forall p_aKCZ. Prism' (PatchOrReplacement p_aKCZ) (PatchTarget p_aKCZ)
Files
- ChangeLog.md +4/−0
- patch.cabal +10/−7
ChangeLog.md view
@@ -1,5 +1,9 @@ # Revision history for patch +## 0.0.8.2++* Add support for GHC 9.6+ ## 0.0.8.1 * Add support for GHC 9.2 and 9.4
patch.cabal view
@@ -1,5 +1,5 @@ Name: patch-Version: 0.0.8.1+Version: 0.0.8.2 Synopsis: Data structures for describing changes to other data structures. Description: Data structures for describing changes to other data structures.@@ -22,7 +22,7 @@ ChangeLog.md tested-with:- GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.1 || ==9.2.5 || ==9.4.3+ GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.1 || ==9.2.5 || ==9.4.5 || ==9.6.1 GHCJS ==8.6 || ==8.10 flag split-these@@ -37,7 +37,7 @@ library hs-source-dirs: src default-language: Haskell2010- build-depends: base >= 4.9 && < 4.18+ build-depends: base >= 4.9 && < 4.19 , constraints-extras >= 0.3 && < 0.5 , commutative-semigroups >= 0.0 && < 0.2 , containers >= 0.6 && < 0.7@@ -45,11 +45,11 @@ , dependent-sum >= 0.6 && < 0.8 , lens >= 4.7 && < 5.3 , indexed-traversable >= 0.1 && < 0.2- , semigroupoids >= 4.0 && < 6+ , semigroupoids >= 4.0 && < 7 , transformers >= 0.5.6.0 && < 0.7 , witherable >= 0.3 && < 0.5 - if impl(ghc < 8.6) -- really, if base < 8.12+ if impl(ghc < 8.6) build-depends: base-orphans >= 0.8 && < 0.9 exposed-modules: Data.Functor.Misc@@ -69,8 +69,8 @@ default-extensions: PolyKinds if flag(split-these)- build-depends: these >= 1 && <1.2- , semialign >=1 && <1.3+ build-depends: these >= 1 && <1.3+ , semialign >=1 && <1.4 , monoidal-containers >= 0.6 && < 0.7 else build-depends: these >= 0.4 && <0.9@@ -90,6 +90,9 @@ buildable: False test-suite hlint+ -- hlint doesn't support ghc-9.6 yet (as of version 3.5)+ if impl(ghc >= 9.6)+ buildable: False default-language: Haskell2010 type: exitcode-stdio-1.0 main-is: hlint.hs