constraints-extras 0.4.0.1 → 0.4.0.2
raw patch · 2 files changed
+15/−4 lines, 2 filesdep ~aesondep ~basedep ~template-haskellnew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: aeson, base, template-haskell
API changes (from Hackage documentation)
- Data.Constraint.Extras: instance forall k (c :: k -> GHC.Types.Constraint) (f :: k -> *) (g :: k -> *). (Data.Constraint.Extras.Has c f, Data.Constraint.Extras.Has c g) => Data.Constraint.Extras.Has c (f GHC.Generics.:+: g)
+ Data.Constraint.Extras: instance forall k (c :: k -> GHC.Types.Constraint) (f :: k -> *) (g :: k -> *). (Data.Constraint.Extras.Has c f, Data.Constraint.Extras.Has c g) => Data.Constraint.Extras.Has c (f GHC.Internal.Generics.:+: g)
- Data.Constraint.Compose: class p (f a) => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1)
+ Data.Constraint.Compose: class p f a => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1)
- Data.Constraint.Extras: argDict :: forall a. Has c f => f a -> Dict (c a)
+ Data.Constraint.Extras: argDict :: forall (a :: k). Has c f => f a -> Dict (c a)
- Data.Constraint.Extras: argDict' :: forall c g f a. Has' c f g => f a -> Dict (c (g a))
+ Data.Constraint.Extras: argDict' :: forall {k} {k'} c (g :: k' -> k) f (a :: k'). Has' c f g => f a -> Dict (c (g a))
- Data.Constraint.Extras: argDictV :: forall f c g v. HasV c f g => f v -> Dict (c (v g))
+ Data.Constraint.Extras: argDictV :: forall {k'} {k2} f c (g :: k') (v :: k' -> k2). HasV c f g => f v -> Dict (c (v g))
- Data.Constraint.Extras: class Has c f
+ Data.Constraint.Extras: class Has (c :: k -> Constraint) (f :: k -> Type)
- Data.Constraint.Extras: class Implies1 c d
+ Data.Constraint.Extras: class Implies1 (c :: k -> Constraint) (d :: k -> Constraint)
- Data.Constraint.Extras: has :: forall a r. Has c f => f a -> (c a => r) -> r
+ Data.Constraint.Extras: has :: forall (a :: k) r. Has c f => f a -> (c a => r) -> r
- Data.Constraint.Extras: has' :: forall c g f a r. Has' c f g => f a -> (c (g a) => r) -> r
+ Data.Constraint.Extras: has' :: forall {k} {k'} c (g :: k' -> k) f (a :: k') r. Has' c f g => f a -> (c (g a) => r) -> r
- Data.Constraint.Extras: hasV :: forall c g f v r. HasV c f g => f v -> (c (v g) => r) -> r
+ Data.Constraint.Extras: hasV :: forall {k2} {k'} c (g :: k') f (v :: k' -> k2) r. HasV c f g => f v -> (c (v g) => r) -> r
- Data.Constraint.Extras: implies1 :: Implies1 c d => c a :- d a
+ Data.Constraint.Extras: implies1 :: forall (a :: k). Implies1 c d => c a :- d a
- Data.Constraint.Extras: type Has' (c :: k -> Constraint) f (g :: k' -> k) = Has (ComposeC c g) f
+ Data.Constraint.Extras: type Has' (c :: k -> Constraint) (f :: k' -> Type) (g :: k' -> k) = Has ComposeC c g f
- Data.Constraint.Extras: type HasV c f g = Has (FlipC (ComposeC c) g) f
+ Data.Constraint.Extras: type HasV (c :: k2 -> Constraint) (f :: k' -> k2 -> Type) (g :: k') = Has FlipC ComposeC c :: k' -> k2 -> k' -> Constraint g f
- Data.Constraint.Extras: whichever :: forall c t a r. ForallF c t => (c (t a) => r) -> r
+ Data.Constraint.Extras: whichever :: forall {k2} {k1} c (t :: k1 -> k2) (a :: k1) r. ForallF c t => (c (t a) => r) -> r
Files
- ChangeLog.md +4/−0
- constraints-extras.cabal +11/−4
ChangeLog.md view
@@ -1,5 +1,9 @@ # Revision history for constraints-extras +## 0.4.0.2++* Support GHC 9.12+ ## 0.4.0.1 * Support GHC 9.10
constraints-extras.cabal view
@@ -1,5 +1,5 @@ name: constraints-extras-version: 0.4.0.1+version: 0.4.0.2 synopsis: Utility package for constraints description: Convenience functions and TH for working with constraints. See <https://github.com/obsidiansystems/constraints-extras/blob/develop/README.md README.md> for example usage. category: Constraints@@ -14,7 +14,7 @@ cabal-version: 2.0 tested-with: GHC ==8.6.5 || ==8.8.4 || ==8.10.7- || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1+ || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.6 || ==9.8.4 || ==9.10.1 || ==9.12.1 extra-doc-files: ChangeLog.md extra-source-files: README.md @@ -33,11 +33,18 @@ , TypeOperators , ConstraintKinds , TemplateHaskell- build-depends: base >=4.9 && <4.21+ build-depends: base >=4.9 && <4.23 , constraints >= 0.9 && < 0.15- , template-haskell >=2.11 && <2.23+ , template-haskell >=2.11 && <2.24+ hs-source-dirs: src default-language: Haskell2010++ -- This is needed to get around a bug/misfeature in the cabal solver which is choosing an+ -- old version of aeson (0.9.*) for some reason.+ if impl (ghc >= 9.12)+ build-depends: aeson >= 2+ executable readme if !flag(build-readme)