group-theory 0.2.1.0 → 0.2.2

raw patch · 4 files changed

+18/−6 lines, 4 filesdep ~groupsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: groups

API changes (from Hackage documentation)

Files

• CHANGELOG.md +11/−0
• group-theory.cabal +2/−2
• src/Data/Group/Cyclic.hs +3/−2
• src/Data/Group/Finite.hs +2/−2

@@ -1,5 +1,16 @@ # Revision history for group-theory +## 0.2.2++* Bump `groups` bound to `0.5.3` for `generated'` bugfix.+* Update documentation and doctests++## 0.2.1.0++* Support for GHC 9.0+* Fixed mempty instance for `Abelianizer`+* Fix warning for redundant semigroup import+ ## 0.2.0.0  * Depend on the `groups` package ([#19](https://github.com/emilypi/group-theory/pull/19) - thanks to @taneb for providing the package!)

@@ -1,6 +1,6 @@ cabal-version:      2.0 name:               group-theory-version:            0.2.1.0+version:            0.2.2 synopsis:           The theory of groups description:   This package includes definitions for Groups (Monoids with invertibility), including order calculations@@ -58,7 +58,7 @@   build-depends:       base        >=4.11  && <5     , containers  >=0.5   && <0.7-    , groups      ^>=0.5.2+    , groups      ^>=0.5.3    hs-source-dirs:   src   default-language: Haskell2010

@@ -21,6 +21,7 @@   -- ** Combinators , classify , G.generated+, G.generated' ) where  import "groups" Data.Group as G@@ -55,8 +56,8 @@ -- -- === __Examples__: ----- >>> take 3 $ classify (< (3 :: Sum Word8))--- [Sum {getSum = 1},Sum {getSum = 2}]+-- >>> classify @(Sum Word8) (< 3)+-- [Sum {getSum = 1},Sum {getSum = 2},Sum {getSum = 0}] -- classify :: (Eq a, G.Cyclic a) => (a -> Bool) -> [a] classify p = filter p G.generated'

@@ -93,8 +93,8 @@ -- -- === __Examples__: ----- >>> take 3 $ safeClassify (< (3 :: Sum Word8))--- [Sum {getSum = 1},Sum {getSum = 2}]+-- >>> safeClassify @(Sum Word8) (< 3)+-- [Sum {getSum = 1},Sum {getSum = 2},Sum {getSum = 0}] -- safeClassify :: (Eq a, Cyclic a, FiniteGroup a) => (a -> Bool) -> [a] safeClassify = classify