universe-dependent-sum 1.2.0.1 → 1.3

raw patch · 3 files changed

+27/−64 lines, 3 filesdep −dependent-sumdep −somedep −universe-basedep ~basedep ~universe-somePVP ok

version bump matches the API change (PVP)

Dependencies removed: dependent-sum, some, universe-base

Dependency ranges changed: base, universe-some

API changes (from Hackage documentation)

Files

• changelog +5/−0
• src/Data/Universe/DependentSum.hs +4/−44
• universe-dependent-sum.cabal +18/−20

@@ -0,0 +1,5 @@+1.3+* DEPRECATED, use universe-some+* Data.Universe.DependentSum re-exports Data.Universe.Some+* Don't depend on dependent-sum, you should use dependent-sum >=0.7, which uses+some package

@@ -1,45 +1,5 @@-{-# LANGUAGE CPP #-}-{-# LANGUAGE PackageImports #-}-{-# LANGUAGE RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables #-}-module Data.Universe.DependentSum () where--#if MIN_VERSION_dependent_sum(0,7,0)+-- | This module re-exports "Data.Universe.Some" from @universe-some@ package.+module Data.Universe.DependentSum+{-# DEPRECATED "Use universe-some package directly" #-}+() where import Data.Universe.Some ()-#else---import Data.Universe.Class (Universe (..), Finite (..))-import Data.Universe.Some (UniverseSome (..), FiniteSome (..))-import Data.Universe.Helpers (Tagged (..), Natural, (+++))--import           "some"          Data.Some (Some (..), foldSome)-import qualified "dependent-sum" Data.Some as DS------------------------------------------------------------------------------------ Helpers----------------------------------------------------------------------------------#if MIN_VERSION_dependent_sum(0,5,0)-mkSome :: f a -> DS.Some f-mkSome = DS.Some-#else-mkSome :: f a -> DS.Some f-mkSome = DS.This-#endif------------------------------------------------------------------------------------ Instances for Some----------------------------------------------------------------------------------instance UniverseSome f => Universe (DS.Some f) where-  universe = map (foldSome mkSome) universeSome--instance FiniteSome f => Finite (DS.Some f) where-  universeF   = map (foldSome mkSome) universeFSome-  cardinality = retagSome cardinalitySome--retagSome :: Tagged (Some f) Natural -> Tagged (some f) Natural-retagSome (Tagged n) = Tagged n--#endif

@@ -1,6 +1,6 @@-name:          universe-dependent-sum-version:       1.2.0.1-synopsis:      Universe instances for types from dependent-sum+name:               universe-dependent-sum+version:            1.3+synopsis:           Universe instances for types from dependent-sum description:   A class for finite and recursively enumerable types and some helper functions for enumerating them   defined in @universe-base@ package:@@ -19,15 +19,16 @@   .   classes. -homepage:      https://github.com/dmwit/universe-license:       BSD3-license-file:  LICENSE-author:        Daniel Wagner-maintainer:    me@dmwit.com-copyright:     Daniel Wagner 2014-category:      Data-build-type:    Simple-cabal-version: >=1.10+homepage:           https://github.com/dmwit/universe+license:            BSD3+license-file:       LICENSE+author:             Daniel Wagner+maintainer:         me@dmwit.com+copyright:          Daniel Wagner 2014+category:           Data+build-type:         Simple+cabal-version:      >=1.10+extra-source-files: changelog tested-with:   GHC ==7.0.4    || ==7.4.2@@ -38,8 +39,8 @@    || ==8.2.2    || ==8.4.4    || ==8.6.5-   || ==8.8.3-   || ==8.10.1+   || ==8.8.4+   || ==8.10.3  source-repository head   type:     git@@ -48,15 +49,12 @@ source-repository this   type:     git   location: https://github.com/dmwit/universe-  tag:      instances-dependent-sum-1.1+  tag:      universe-1.2.1  library   default-language: Haskell2010   hs-source-dirs:   src   exposed-modules:  Data.Universe.DependentSum   build-depends:-      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+      base           >=4.3   && <4.16+    , universe-some  >=1.2.1 && <1.3