finitary 2.1.2.0 → 2.1.3.0

raw patch · 3 files changed

+13/−4 lines, 3 filesdep ~finite-typelitsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: finite-typelits

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• finitary.cabal +2/−2
• src/Data/Finitary.hs +7/−2

@@ -1,5 +1,9 @@ # Revision history for finitary
 
+## 2.1.3.0 -- 2024-05-09
+
+* Add support for `finite-typelits >= 2.0.0`.
+
 ## 2.1.2.0 -- 2024-05-06
 
 * Allow `typelits-witnesses-0.4.0.1`, and bump upper bounds of

@@ -1,6 +1,6 @@ cabal-version:      2.2
 name:               finitary
-version:            2.1.2.0
+version:            2.1.3.0
 synopsis:           A better, more type-safe Enum.
 description:
   Provides a type class witnessing that a type has
@@ -45,7 +45,7 @@     , base
         >= 4.12     && < 5
     , finite-typelits
-       ^>= 0.1.4.2
+        >= 0.1.4.2 && < 0.3
     , ghc-typelits-knownnat
        ^>= 0.7.2
     , ghc-typelits-natnormalise

@@ -14,6 +14,7 @@ {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE NoStarIsType #-}
+{-# LANGUAGE PatternSynonyms #-}
 {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
 {-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-}
 
@@ -131,8 +132,12 @@   , shiftN
   , weakenN
   )
-import Data.Finite.Internal
-  ( Finite(..) )
+#if MIN_VERSION_finite_typelits(0,2,0)
+import Data.Finite.Internal ( type Finite )
+import Data.Finite.Internal.Integral ( pattern Finite )
+#else
+import Data.Finite.Internal ( Finite(..) )
+#endif
 
 #ifdef BITVEC
 -- bitvec