universe-dependent-sum 1.2 → 1.2.0.1
raw patch · 2 files changed
+25/−10 lines, 2 filesdep ~basedep ~dependent-sumPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, dependent-sum
API changes (from Hackage documentation)
Files
src/Data/Universe/DependentSum.hs view
@@ -4,6 +4,11 @@ {-# LANGUAGE ScopedTypeVariables #-} module Data.Universe.DependentSum () where +#if MIN_VERSION_dependent_sum(0,7,0)+import Data.Universe.Some ()+#else++ import Data.Universe.Class (Universe (..), Finite (..)) import Data.Universe.Some (UniverseSome (..), FiniteSome (..)) import Data.Universe.Helpers (Tagged (..), Natural, (+++))@@ -36,3 +41,5 @@ retagSome :: Tagged (Some f) Natural -> Tagged (some f) Natural retagSome (Tagged n) = Tagged n++#endif
universe-dependent-sum.cabal view
@@ -1,5 +1,5 @@ name: universe-dependent-sum-version: 1.2+version: 1.2.0.1 synopsis: Universe instances for types from dependent-sum description: A class for finite and recursively enumerable types and some helper functions for enumerating them@@ -29,7 +29,17 @@ build-type: Simple cabal-version: >=1.10 tested-with:- GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.0.4+ GHC ==7.0.4+ || ==7.4.2+ || ==7.6.3+ || ==7.8.4+ || ==7.10.3+ || ==8.0.2+ || ==8.2.2+ || ==8.4.4+ || ==8.6.5+ || ==8.8.3+ || ==8.10.1 source-repository head type: git@@ -43,12 +53,10 @@ library default-language: Haskell2010 hs-source-dirs: src- exposed-modules:- Data.Universe.DependentSum-+ exposed-modules: Data.Universe.DependentSum build-depends:- base >=4.3 && <4.14- , dependent-sum >=0.3.2.2 && <0.7- , some >=1 && <1.1- , universe-base >=1.1 && <1.1.2- , universe-some >=1.2 && <1.3+ base >=4.3 && <4.15+ , dependent-sum >=0.3.2.2 && <0.8+ , some >=1 && <1.1+ , universe-base >=1.1 && <1.1.2+ , universe-some >=1.2 && <1.3