universe 1.0 → 1.1
raw patch · 8 files changed
+88/−62 lines, 8 filesdep +universe-basedep +universe-dependent-sumdep −universe-instances-basedep −universe-instances-transdep ~universe-instances-extendeddep ~universe-reverse-instancessetup-changednew-uploader
Dependencies added: universe-base, universe-dependent-sum
Dependencies removed: universe-instances-base, universe-instances-trans
Dependency ranges changed: universe-instances-extended, universe-reverse-instances
Files
- Data/Universe.hs +0/−11
- Data/Universe/Instances.hs +0/−8
- Data/Universe/Instances/Reverse.hs +0/−13
- Setup.hs +0/−2
- changelog +8/−1
- src/Data/Universe.hs +20/−0
- src/Data/Universe/Instances/Reverse.hs +17/−0
- universe.cabal +43/−27
− Data/Universe.hs
@@ -1,11 +0,0 @@-{-# LANGUAGE NoImplicitPrelude #-}-module Data.Universe (- -- | A convenience module that imports the submodules @Instances.Base@,- -- @Instances.Extended@, and @Instances.Trans@ to provide instances of- -- 'Universe' and 'Finite' for a wide variety of types.- Universe(..), Finite(..)- ) where--import Data.Universe.Instances.Base-import Data.Universe.Instances.Extended-import Data.Universe.Instances.Trans
− Data/Universe/Instances.hs
@@ -1,8 +0,0 @@-{-# LANGUAGE NoImplicitPrelude #-}- -- the extra space is to make the error line up in a pretty way-module Data.Universe.Instances {-# DEPRECATED " Use `Data.Universe.Instances.Reverse' instead." #-} (- -- | A deprecated convenience module. New applications should import- -- "Data.Universe.Instances.Reverse" instead.- ) where--import Data.Universe.Instances.Reverse ()
− Data/Universe/Instances/Reverse.hs
@@ -1,13 +0,0 @@-{-# LANGUAGE NoImplicitPrelude #-}-module Data.Universe.Instances.Reverse (- -- | A convenience module that imports the sibling modules @Eq@, @Ord@,- -- @Show@, @Read@, and @Traversable@ to provide instances of these classes- -- for functions over finite inputs.- Eq(..), Ord(..), Show(..), Read(..), Foldable(..), Traversable(..)- ) where--import Data.Universe.Instances.Eq-import Data.Universe.Instances.Ord-import Data.Universe.Instances.Show-import Data.Universe.Instances.Read-import Data.Universe.Instances.Traversable
− Setup.hs
@@ -1,2 +0,0 @@-import Distribution.Simple-main = defaultMain
changelog view
@@ -1,4 +1,11 @@-0.6:+1.1+* Add `cardinality :: Tagged a Natural` to Finite+* Re-arrange packages, ghc boot instances are in `universe-base`+* Rearranged the elements in `universe :: [Rational]` to reduce allocation and increase speed.+* Add `Data.Universe.Generic`+* New package `universe-dependent-sum`++1.0: * split package into small pieces: * six packages, all dependencies of a top-level "universe" package * a base installation requires many fewer dependencies
+ src/Data/Universe.hs view
@@ -0,0 +1,20 @@+{-# LANGUAGE CPP #-}+{-# LANGUAGE NoImplicitPrelude #-}+-- | A convenience module that imports the submodules @Instances.Base@, @Instances.Containers@,+-- @Instances.Extended@, and @Instances.Trans@ to provide instances of+-- 'Universe' and 'Finite' for a wide variety of types.+module Data.Universe (+ Universe(..), Finite(..),+#if __GLASGOW_HASKELL__ >= 702+ universeGeneric,+#endif+ module Data.Universe.Instances.Extended,+ ) where++import Data.Universe.Class+import Data.Universe.Instances.Extended+import Data.Universe.Some ()++#if __GLASGOW_HASKELL__ >= 702+import Data.Universe.Generic (universeGeneric)+#endif
+ src/Data/Universe/Instances/Reverse.hs view
@@ -0,0 +1,17 @@+{-# LANGUAGE NoImplicitPrelude #-}+-- | A convenience module that imports the sibling modules @Eq@, @Ord@,+-- @Show@, @Read@, and @Traversable@ to provide instances of these classes+-- for functions over finite inputs.+module Data.Universe.Instances.Reverse (+ module Data.Universe.Instances.Eq,+ module Data.Universe.Instances.Ord,+ module Data.Universe.Instances.Show,+ module Data.Universe.Instances.Read,+ module Data.Universe.Instances.Traversable,+ ) where++import Data.Universe.Instances.Eq+import Data.Universe.Instances.Ord+import Data.Universe.Instances.Show+import Data.Universe.Instances.Read+import Data.Universe.Instances.Traversable
universe.cabal view
@@ -1,31 +1,47 @@-name: universe-version: 1.0-synopsis: Classes for types where we know all the values-description: Munge finite and recursively enumerable types-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+name: universe+version: 1.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+ .+ @+ class Universe a where universe :: [a]+ class Universe a => Finite a where universeF :: [a]; universeF = universe+ @+ .+ This also provides instances from @universe-instances-*" packages.++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 ==8.8.1 || ==8.6.4 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.0.4+ source-repository head- type: git- location: https://github.com/dmwit/universe+ type: git+ location: https://github.com/dmwit/universe+ source-repository this- type: git- location: https://github.com/dmwit/universe- tag: 1.0+ type: git+ location: https://github.com/dmwit/universe+ tag: 1.1 library- exposed-modules: Data.Universe,- Data.Universe.Instances,- Data.Universe.Instances.Reverse- build-depends: universe-instances-base >=1.0 && <1.1,- universe-instances-extended >=1.0 && <1.1,- universe-reverse-instances >=1.0 && <1.1,- universe-instances-trans >=1.0 && <1.1- default-language: Haskell2010+ default-language: Haskell2010+ hs-source-dirs: src+ exposed-modules:+ Data.Universe+ Data.Universe.Instances.Reverse++ build-depends:+ universe-base >=1.1 && <1.1.1+ , universe-instances-extended >=1.1 && <1.1.1+ , universe-reverse-instances >=1.1 && <1.1.1+ , universe-dependent-sum >=1.1 && <1.1.1