universe-instances-extended 1.1.1 → 1.1.2
raw patch · 3 files changed
+53/−26 lines, 3 filesdep −semigroupsdep ~adjunctionsdep ~basedep ~comonadPVP ok
version bump matches the API change (PVP)
Dependencies removed: semigroups
Dependency ranges changed: adjunctions, base, comonad, contravariant, universe-base
API changes (from Hackage documentation)
Files
- changelog +2/−0
- src/Data/Universe/Instances/Extended.hs +8/−0
- universe-instances-extended.cabal +43/−26
+ changelog view
@@ -0,0 +1,2 @@+1.1.2+* Mark modules as explicit Safe or Trustworthy
src/Data/Universe/Instances/Extended.hs view
@@ -2,6 +2,12 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE UndecidableInstances #-}+-- Data.Coerce is Unsafe+#if __GLASGOW_HASKELL__ >=704 && !MIN_VERSION_base(4,7,0)+{-# LANGUAGE Safe #-}+#elif __GLASGOW_HASKELL__ >=702+{-# LANGUAGE Trustworthy #-}+#endif module Data.Universe.Instances.Extended ( -- | Instances for 'Universe' and 'Finite' for function-like functors and the empty type. Universe(..), Finite(..)@@ -25,6 +31,8 @@ -- $setup -- -- >>> import Data.Int (Int8)+-- >>> import Data.Functor.Contravariant (Predicate (..))+-- >>> import Data.Universe.Helpers (retag, Tagged, Natural) -- -- -- Show (a -> b) instance (in universe-reverse-instances, but cannot depend on it here). -- >>> instance (Finite a, Show a, Show b) => Show (a -> b) where showsPrec n f = showsPrec n [(a, f a) | a <- universeF]
universe-instances-extended.cabal view
@@ -1,6 +1,6 @@-name: universe-instances-extended-version: 1.1.1-synopsis: Universe instances for types from selected extra packages+name: universe-instances-extended+version: 1.1.2+synopsis: Universe instances for types from selected extra packages description: A class for finite and recursively enumerable types and some helper functions for enumerating them defined in @universe-base@ package:@@ -10,17 +10,28 @@ class Universe a => Finite a where universeF :: [a]; universeF = universe @ -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 ==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+ 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.4+ || ==8.10.3 source-repository head type: git@@ -29,26 +40,32 @@ source-repository this type: git location: https://github.com/dmwit/universe- tag: instances-extended-1.1+ tag: universe-1.2.1 library default-language: Haskell2010 hs-source-dirs: src exposed-modules: Data.Universe.Instances.Extended build-depends:- adjunctions >=4.3 && <4.5- , comonad >=4.2 && <5.1+ base >=4.3 && <4.15 , containers- , universe-base >=1.1 && <1.1.2+ , universe-base >=1.1.2 && <1.1.3 - if impl(ghc >=8.6.1)- build-depends: base >=4.12 && <4.14+ if impl(ghc >=7.4)+ -- adjunctions-4.4 and comonad-5.0.8 have explicit annotations+ build-depends:+ adjunctions >=4.4 && <4.5+ , comonad >=5.0.8 && <5.1 - if impl(ghc <8.0.1)- build-depends: base >=4.3 && <4.14- , contravariant- , semigroups+ else+ build-depends:+ adjunctions >=4.3 && <4.4+ , comonad >=4.2 && <5.1 - if impl(ghc >=8.0.1)- build-depends: base >=4.9 && <4.14- , contravariant+ if !impl(ghc >=8.6)+ build-depends: contravariant >=1.5.3 && <1.6++ 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