universe 1.0 → 1.2.3
raw patch · 8 files changed
Files
- Data/Universe.hs +0/−11
- Data/Universe/Instances.hs +0/−8
- Data/Universe/Instances/Reverse.hs +0/−13
- Setup.hs +0/−2
- changelog +25/−3
- src/Data/Universe.hs +15/−0
- src/Data/Universe/Instances/Reverse.hs +18/−0
- universe.cabal +55/−28
− 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,6 +1,28 @@-0.6:+1.2.3+* Support GHC-9.6.5..9.10.1++1.2.2+* Add Solo instances++1.2.1+* Explicitly mark modules as Safe or Trustworthy++1.2+* Use universe-some-1.2, which uses a Some-type from the some-package.++1.1.1+* Add `Predicate` and `Op` instances++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+* six packages, all dependencies of a top-level "universe" package+* a base installation requires many fewer dependencies * moved Data.Universe.Instances to D.U.I.Base for consistency * modules export the classes that they export instances of
+ src/Data/Universe.hs view
@@ -0,0 +1,15 @@+{-# LANGUAGE NoImplicitPrelude #-}+{-# LANGUAGE Safe #-}+-- | 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(..),+ universeGeneric,+ module Data.Universe.Instances.Extended,+ ) where++import Data.Universe.Class+import Data.Universe.Instances.Extended+import Data.Universe.Some ()+import Data.Universe.Generic (universeGeneric)
+ src/Data/Universe/Instances/Reverse.hs view
@@ -0,0 +1,18 @@+{-# LANGUAGE NoImplicitPrelude #-}+{-# LANGUAGE Safe #-}+-- | 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,58 @@-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+cabal-version: 2.2+name: universe+version: 1.2.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+ .+ @+ 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: BSD-3-Clause+license-file: LICENSE+author: Daniel Wagner+maintainer: me@dmwit.com+copyright: Daniel Wagner 2014+category: Data+build-type: Simple+extra-source-files: changelog+tested-with:+ GHC ==8.6.5+ || ==8.8.4+ || ==8.10.7+ || ==9.0.2+ || ==9.2.8+ || ==9.4.8+ || ==9.6.5+ || ==9.8.2+ || ==9.10.1+ source-repository head- 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+ subdir: universe 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.4 && <1.1.5+ , universe-instances-extended >=1.1.4 && <1.1.5+ , universe-reverse-instances >=1.1.2 && <1.1.3+ , universe-some >=1.2.2 && <1.2.3++ if impl(ghc >=9.0)+ -- these flags may abort compilation with GHC-8.10+ -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295+ ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode++ x-docspec-extra-packages: base