universe-base 1.1.3 → 1.1.3.1
raw patch · 2 files changed
+26/−15 lines, 2 filesdep ~OneTupledep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: OneTuple, base
API changes (from Hackage documentation)
- Data.Universe.Class: instance Data.Universe.Class.Finite a => Data.Universe.Class.Finite (Data.Tuple.Solo.Solo a)
- Data.Universe.Class: instance Data.Universe.Class.RationalUniverse GHC.Integer.Type.Integer
- Data.Universe.Class: instance Data.Universe.Class.RationalUniverse GHC.Natural.Natural
- Data.Universe.Class: instance Data.Universe.Class.Universe GHC.Integer.Type.Integer
- Data.Universe.Class: instance Data.Universe.Class.Universe GHC.Natural.Natural
- Data.Universe.Class: instance Data.Universe.Class.Universe a => Data.Universe.Class.Universe (Data.Tuple.Solo.Solo a)
+ Data.Universe.Class: instance Data.Universe.Class.Finite a => Data.Universe.Class.Finite (Solo a)
+ Data.Universe.Class: instance Data.Universe.Class.RationalUniverse GHC.Num.Integer.Integer
+ Data.Universe.Class: instance Data.Universe.Class.RationalUniverse GHC.Num.Natural.Natural
+ Data.Universe.Class: instance Data.Universe.Class.Universe GHC.Num.Integer.Integer
+ Data.Universe.Class: instance Data.Universe.Class.Universe GHC.Num.Natural.Natural
+ Data.Universe.Class: instance Data.Universe.Class.Universe a => Data.Universe.Class.Universe (Solo a)
- Data.Universe.Helpers: retag :: forall k1 k2 (s :: k1) b (t :: k2). Tagged s b -> Tagged t b
+ Data.Universe.Helpers: retag :: forall {k1} {k2} (s :: k1) b (t :: k2). Tagged s b -> Tagged t b
Files
- src/Data/Universe/Class.hs +15/−6
- universe-base.cabal +11/−9
src/Data/Universe/Class.hs view
@@ -43,13 +43,22 @@ import qualified Data.Set as Set import qualified Data.Map as Map -#if MIN_VERSION_base(4,16,0)-import Data.Tuple (Solo (..))+#if MIN_VERSION_base(4,18,0)+import Data.Tuple (Solo (MkSolo))+#elif MIN_VERSION_base(4,16,0)+import Data.Tuple (Solo (Solo))+#define MkSolo Solo #elif MIN_VERSION_base(4,15,0)-import GHC.Tuple (Solo (..))+import GHC.Tuple (Solo (Solo))+#define MkSolo Solo #else-import Data.Tuple.Solo (Solo (..))+#if MIN_VERSION_OneTuple(0,4,0)+import Data.Tuple.Solo (Solo (MkSolo))+#else+import Data.Tuple.Solo (Solo (Solo))+#define MkSolo Solo #endif+#endif -- $setup -- >>> import Data.List@@ -452,7 +461,7 @@ ------------------------------------------------------------------------------- -- @since 1.1.3-instance Universe a => Universe (Solo a) where universe = map Solo universe+instance Universe a => Universe (Solo a) where universe = map MkSolo universe -- @since 1.1.3-instance Finite a => Finite (Solo a) where universeF = map Solo universeF; cardinality = retagWith Solo cardinality+instance Finite a => Finite (Solo a) where universeF = map MkSolo universeF; cardinality = retagWith MkSolo cardinality
universe-base.cabal view
@@ -1,5 +1,5 @@ name: universe-base-version: 1.1.3+version: 1.1.3.1 synopsis: A class for finite and recursively enumerable types. description: A class for finite and recursively enumerable types and some helper functions for enumerating them.@@ -34,9 +34,11 @@ || ==8.4.4 || ==8.6.5 || ==8.8.4- || ==8.10.4- || ==9.0.1- || ==9.2.1+ || ==8.10.7+ || ==9.0.2+ || ==9.2.7+ || ==9.4.4+ || ==9.6.1 source-repository head type: git@@ -68,16 +70,16 @@ TypeFamilies build-depends:- base >=4.3 && <4.17+ base >=4.3 && <4.19 , containers >=0.4.0.0 && <0.7 , tagged >=0.8.6.1 && <0.9- , transformers >=0.3.0.0 && <0.6+ , transformers >=0.3.0.0 && <0.7 if impl(ghc >=7.10.3) build-depends: transformers >=0.4.2.0 if !impl(ghc >=7.10.3)- build-depends: transformers-compat >=0.6.1 && <0.7+ build-depends: transformers-compat >=0.6.1 && <0.8 if !impl(ghc >=7.10) build-depends:@@ -85,7 +87,7 @@ , void >=0.7.3 && <0.8 if !impl(ghc >=8.0)- build-depends: semigroups >=0.18.5 && <0.20+ build-depends: semigroups >=0.18.5 && <0.21 if impl(ghc >=7.4) cpp-options: -DDEFAULT_SIGNATURES@@ -95,7 +97,7 @@ if impl(ghc >= 9.0) build-depends: ghc-prim else- build-depends: OneTuple >=0.3 && <0.4+ build-depends: OneTuple >=0.3 && <0.5 if impl(ghc >= 9.0) -- these flags may abort compilation with GHC-8.10