explainable-predicates 0.1.2.3 → 0.1.2.4

raw patch · 3 files changed

+12/−5 lines, 3 filesdep ~basedep ~template-haskellPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, template-haskell

API changes (from Hackage documentation)

Files

• CHANGELOG.md +7/−1
• explainable-predicates.cabal +4/−4
• src/Test/Predicates.hs +1/−0

@@ -1,8 +1,14 @@ # Revision history for explainable-predicates +## 0.1.2.4 -- 2023-11-28++* Version bounds now allow GHC 9.6 and 9.8+* Fix TypeOperators warning in Test.Predicates+ ## 0.1.2.3 -- 2021-09-18 -* Version bounds now allow GHC 9.4 +* Version bounds now allow GHC 9.4+ ## 0.1.2.2 -- 2021-12-20  * Better error messages for HUnit integration.

@@ -1,6 +1,6 @@ cabal-version:      2.4 name:               explainable-predicates-version:            0.1.2.3+version:            0.1.2.4 synopsis:           Predicates that can explain themselves. description:        Explainable predicates are essentially functions from types                     to 'Bool' which can additionally describe themselves and@@ -20,7 +20,7 @@  extra-source-files: CHANGELOG.md, README.md -tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.3 || == 9.4.2+tested-with:        GHC == 8.6.5 || == 8.8.4 || == 8.10.7 || == 9.0.2 || == 9.2.8 || == 9.4.5 || == 9.6.2 || == 9.8.1  source-repository head     type:     git@@ -56,9 +56,9 @@                          Test.Predicates.Internal.FlowMatcher     other-modules:       Test.Predicates.Internal.Util     build-depends:       array >= 0.5.2 && < 0.6,-                         base >=4.12.0 && < 4.18,+                         base >=4.12.0 && < 4.20,                          syb >= 0.7.2 && < 0.8,-                         template-haskell >= 2.13.0 && < 2.20,+                         template-haskell >= 2.13.0 && < 2.22,     hs-source-dirs:      src     default-language:    Haskell2010     ghc-options:         -Wall -Wcompat -Wincomplete-uni-patterns

@@ -10,6 +10,7 @@ {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-}  -- | Explainable 'Predicate's are essentially functions from types to `Bool` -- which can additionally describe themselves and explain why an argument does