natural 0.3.0.6 → 0.3.0.7

raw patch · 4 files changed

+32/−27 lines, 4 filesdep ~basedep ~lensdep ~semigroupoidsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, lens, semigroupoids, semigroups

API changes (from Hackage documentation)

Files

• LICENCE +1/−1
• changelog.md +4/−0
• natural.cabal +19/−19
• src/Natural.hs +8/−7

@@ -1,4 +1,4 @@-Copyright (c) 2020, System F+Copyright (c) 2020-2025, System F  All rights reserved. 

@@ -1,3 +1,7 @@+0.3.0.7++* Update version bounds+ 0.3.0.6  * Support `lens` up to `5.1`

@@ -1,24 +1,24 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                natural-version:             0.3.0.6+version:             0.3.0.7 synopsis:            Natural number description:-  <<https://system-f.gitlab.io/logo/systemf-450x450.jpg>>-  .   Natural number+  .+  <<https://logo.systemf.com.au/systemf-450x450.png>> license:             BSD3 license-file:        LICENCE author:              Queensland Functional Programming Lab <oᴉ˙ldɟb@llǝʞsɐɥ> maintainer:          Queensland Functional Programming Lab <oᴉ˙ldɟb@llǝʞsɐɥ>-copyright:           Copyright (C) 2020 System F+copyright:           Copyright (C) 2020-2025 System F category:            Control build-type:          Simple extra-source-files:  changelog.md cabal-version:       >=1.10 homepage:            https://github.com/system-f/natural bug-reports:         https://github.com/system-f/natural/issues-tested-with:         GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1, GHC == 8.8.1, GHC == 8.6.5, GHC == 8.10.1+tested-with:         GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1, GHC == 8.8.1, GHC == 8.6.5, GHC == 8.10.1, GHC == 9.4.8  source-repository   head   type:             git@@ -26,27 +26,27 @@  library   exposed-modules:     Natural-  build-depends:       base >=4.8 && <5-                     , lens >=4.15 && <5.2-                     , semigroupoids >= 5 && <6+  build-depends:       base >= 4.8 && < 6+                     , lens >= 4.15 && < 6+                     , semigroupoids >= 5 && < 7   hs-source-dirs:      src   default-language:    Haskell2010   ghc-options:         -Wall   if impl(ghc<8.0.1)-    build-depends:     semigroups >= 0.9 && <6+    build-depends:     semigroups >= 0.9 && < 1  test-suite             tests-  build-depends:       QuickCheck >=2.9.2 && <2.15-                     , base >=4.8 && <5-                     , checkers >=0.4.6 && <0.6+  build-depends:       QuickCheck >= 2.9.2 && < 2.15+                     , base >= 4.8 && < 6+                     , checkers >= 0.4.6 && < 0.6+                     , hedgehog >= 0.5 && < 1.1+                     , lens >= 4.15 && < 6+                     , tasty >= 0.11 && < 1.3+                     , tasty-hunit >= 0.9 && < 0.11+                     , tasty-hedgehog >= 0.1 && < 1.1+                     , tasty-quickcheck >= 0.8.4 && < 0.11+                     , transformers >= 0.4.1 && < 0.6                      , natural-                     , hedgehog >=0.5 && <1.1-                     , lens >=4.15 && <5.2-                     , tasty >=0.11 && <1.3-                     , tasty-hunit >=0.9 && <0.11-                     , tasty-hedgehog >= 0.1 && <1.1-                     , tasty-quickcheck >=0.8.4 && <0.11-                     , transformers >=0.4.1 && <0.6   type:                exitcode-stdio-1.0   main-is:             Tests.hs   hs-source-dirs:      test

@@ -2,6 +2,7 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-}  module Natural (   Natural@@ -165,7 +166,7 @@  instance ProductNatural ~ a =>   Rewrapped ProductNatural a-  + instance Wrapped ProductNatural where   type Unwrapped ProductNatural = Natural   _Wrapped' =@@ -198,7 +199,7 @@  instance MaxNatural ~ a =>   Rewrapped MaxNatural a-  + instance Wrapped MaxNatural where   type Unwrapped MaxNatural = Natural   _Wrapped' =@@ -225,7 +226,7 @@  instance MinNatural ~ a =>   Rewrapped MinNatural a-  + instance Wrapped MinNatural where   type Unwrapped MinNatural = Natural   _Wrapped' =@@ -478,7 +479,7 @@  instance SumPositive ~ a =>   Rewrapped SumPositive a-  + instance Wrapped SumPositive where   type Unwrapped SumPositive = Positive   _Wrapped' =@@ -505,7 +506,7 @@  instance MaxPositive ~ a =>   Rewrapped MaxPositive a-  + instance Wrapped MaxPositive where   type Unwrapped MaxPositive = Positive   _Wrapped' =@@ -532,7 +533,7 @@  instance MinPositive ~ a =>   Rewrapped MinPositive a-  + instance Wrapped MinPositive where   type Unwrapped MinPositive = Positive   _Wrapped' =@@ -687,7 +688,7 @@   -> [Positive] findIndices1 p x =   map snd (NonEmpty.filter (p . fst) (NonEmpty.zip x (NonEmpty.iterate successor1' one')))-  + findIndex1 ::   (a -> Bool)   -> NonEmpty a