universe-base 1.1.2 → 1.1.3
raw patch · 3 files changed
+33/−3 lines, 3 filesdep +OneTupledep ~basedep ~semigroupsdep ~transformersPVP ok
version bump matches the API change (PVP)
Dependencies added: OneTuple
Dependency ranges changed: base, semigroups, transformers, transformers-compat
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.Universe a => Data.Universe.Class.Universe (Data.Tuple.Solo.Solo a)
Files
- changelog +4/−0
- src/Data/Universe/Class.hs +18/−0
- universe-base.cabal +11/−3
changelog view
@@ -1,3 +1,7 @@+1.1.3++* Add Solo instances+ 1.1.2 * Explicitly mark modules as Safe or Trustworthy
src/Data/Universe/Class.hs view
@@ -43,6 +43,14 @@ import qualified Data.Set as Set import qualified Data.Map as Map +#if MIN_VERSION_base(4,16,0)+import Data.Tuple (Solo (..))+#elif MIN_VERSION_base(4,15,0)+import GHC.Tuple (Solo (..))+#else+import Data.Tuple.Solo (Solo (..))+#endif+ -- $setup -- >>> import Data.List -- >>> import Data.Universe.Helpers@@ -438,3 +446,13 @@ cardinality = liftM2 (+) (retag (cardinality :: Tagged (f a) Natural)) (retag (cardinality :: Tagged (g a) Natural))++-------------------------------------------------------------------------------+-- OneTuple+-------------------------------------------------------------------------------++-- @since 1.1.3+instance Universe a => Universe (Solo a) where universe = map Solo universe++-- @since 1.1.3+instance Finite a => Finite (Solo a) where universeF = map Solo universeF; cardinality = retagWith Solo cardinality
universe-base.cabal view
@@ -1,5 +1,5 @@ name: universe-base-version: 1.1.2+version: 1.1.3 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,7 +34,9 @@ || ==8.4.4 || ==8.6.5 || ==8.8.4- || ==8.10.3+ || ==8.10.4+ || ==9.0.1+ || ==9.2.1 source-repository head type: git@@ -66,7 +68,7 @@ TypeFamilies build-depends:- base >=4.3 && <4.16+ base >=4.3 && <4.17 , containers >=0.4.0.0 && <0.7 , tagged >=0.8.6.1 && <0.9 , transformers >=0.3.0.0 && <0.6@@ -88,6 +90,12 @@ if impl(ghc >=7.4) cpp-options: -DDEFAULT_SIGNATURES other-extensions: DefaultSignatures++ if !impl(ghc >= 9.2)+ if impl(ghc >= 9.0)+ build-depends: ghc-prim+ else+ build-depends: OneTuple >=0.3 && <0.4 if impl(ghc >= 9.0) -- these flags may abort compilation with GHC-8.10