quickcheck-groups 0.0.1.6 → 0.0.1.7

raw patch · 4 files changed

+19/−3 lines, 4 filesdep ~QuickCheckPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: QuickCheck

API changes (from Hackage documentation)

Files

CHANGELOG.md +4/−0
quickcheck-groups.cabal +2/−2
src/internal/Internal/Semigroup/Tuple.hs +1/−0
src/public/Test/QuickCheck/Classes/Group.hs +12/−1

CHANGELOG.md view

@@ -1,3 +1,7 @@+# 0.0.1.7++- Bumped upper version bounds of dependencies.+ # 0.0.1.6  - Added support for GHC `9.14`.

quickcheck-groups.cabal view

@@ -1,6 +1,6 @@ cabal-version:  3.0 name:           quickcheck-groups-version:        0.0.1.6+version:        0.0.1.7 bug-reports:    https://github.com/jonathanknowles/quickcheck-groups/issues license:        Apache-2.0 license-file:   LICENSE@@ -29,7 +29,7 @@ common dependency-pretty-show     build-depends:pretty-show                   >= 1.10       && < 1.11 common dependency-QuickCheck-    build-depends:QuickCheck                    >= 2.14.2     && < 2.19+    build-depends:QuickCheck                    >= 2.14.2     && < 2.20 common dependency-quickcheck-classes     build-depends:quickcheck-classes            >= 0.6.5.0    && < 0.7 common dependency-semigroupoids

src/internal/Internal/Semigroup/Tuple.hs view

@@ -60,6 +60,7 @@ instance Show VariableSum where     show (VariableSum vs) = F1.intercalate1 " <> " $ show <$> vs +a, b, c, d :: VariableSum a = VariableSum (A :| []) b = VariableSum (B :| []) c = VariableSum (C :| [])

src/public/Test/QuickCheck/Classes/Group.hs view

@@ -23,7 +23,7 @@ import Data.Function     ( (&) ) import Data.Group-    ( Abelian, Group (..) )+    ( Abelian, Group (invert, (~~)) ) import Data.Proxy     ( Proxy (..) ) import Internal@@ -38,6 +38,8 @@ import Test.QuickCheck.Classes     ( Laws (..) ) +import qualified Data.Group as Group+ -------------------------------------------------------------------------------- -- Group --------------------------------------------------------------------------------@@ -348,3 +350,12 @@     & cover         "(a /= b) && (a <> b /= a) && (b <> a /= b)"         ((a /= b) && (a <> b /= a) && (b <> a /= b))++--------------------------------------------------------------------------------+-- Internal+--------------------------------------------------------------------------------++-- | Specialised version of `pow` to avoid type defaulting.+--+pow :: Group m => m -> Int -> m+pow = Group.pow