packages feed

universe-instances-trans 1.0.0.1 → 1.1

raw patch · 3 files changed

+39/−49 lines, 3 filesdep −mtldep −transformersdep −universe-instances-basedep ~universe-basenew-uploaderPVP ok

version bump matches the API change (PVP)

Dependencies removed: mtl, transformers, universe-instances-base

Dependency ranges changed: universe-base

API changes (from Hackage documentation)

- Data.Universe.Instances.Trans: instance (Finite (f a), Finite (g a)) => Finite (Product f g a)
- Data.Universe.Instances.Trans: instance (Finite e, Ord e, Finite (m a)) => Finite (ReaderT e m a)
- Data.Universe.Instances.Trans: instance (Finite e, Ord e, Universe (m a)) => Universe (ReaderT e m a)
- Data.Universe.Instances.Trans: instance (Universe (f a), Universe (g a)) => Universe (Product f g a)
- Data.Universe.Instances.Trans: instance Finite (f (g a)) => Finite (Compose f g a)
- Data.Universe.Instances.Trans: instance Finite (f a) => Finite (IdentityT f a)
- Data.Universe.Instances.Trans: instance Finite a => Finite (Identity a)
- Data.Universe.Instances.Trans: instance Universe (f (g a)) => Universe (Compose f g a)
- Data.Universe.Instances.Trans: instance Universe (f a) => Universe (IdentityT f a)
- Data.Universe.Instances.Trans: instance Universe a => Universe (Identity a)
+ Data.Universe.Instances.Trans: cardinality :: Finite a => Tagged a Natural

Files

− Data/Universe/Instances/Trans.hs
@@ -1,24 +0,0 @@-{-# LANGUAGE FlexibleContexts #-}-module Data.Universe.Instances.Trans (-	-- | Instances of 'Universe' and 'Finite' for the standard monad and functor transformers.-	Universe(..), Finite(..)-	) where--import Control.Monad.Identity-import Control.Monad.Reader-import Control.Monad.Trans.Identity-import Data.Functor.Compose-import Data.Functor.Product-import Data.Universe.Helpers-import Data.Universe.Instances.Base--instance  Universe    a                    => Universe (Identity    a) where universe  = map Identity  universe-instance  Universe (f a)                   => Universe (IdentityT f a) where universe  = map IdentityT universe-instance (Finite e, Ord e, Universe (m a)) => Universe (ReaderT e m a) where universe  = map ReaderT   universe-instance  Universe (f (g a))               => Universe (Compose f g a) where universe  = map Compose   universe-instance (Universe (f a), Universe (g a))  => Universe (Product f g a) where universe  = [Pair f g | (f, g) <- universe +*+ universe]-instance  Finite       a                   => Finite   (Identity    a) where universeF = map Identity  universeF-instance  Finite    (f a)                  => Finite   (IdentityT f a) where universeF = map IdentityT universeF-instance (Finite e, Ord e, Finite   (m a)) => Finite   (ReaderT e m a) where universeF = map ReaderT   universeF-instance  Finite (f (g a))                 => Finite   (Compose f g a) where universeF = map Compose   universeF-instance (Finite (f a), Finite (g a))      => Finite   (Product f g a) where universeF = liftM2 Pair universeF universeF
+ src/Data/Universe/Instances/Trans.hs view
@@ -0,0 +1,5 @@+module Data.Universe.Instances.Trans+    {-# DEPRECATED "Use Data.Universe.Class from universe-base package" #-}+    (Universe(..), Finite(..)) where++import Data.Universe.Class (Universe (..), Finite (..))
universe-instances-trans.cabal view
@@ -1,29 +1,38 @@-name:                universe-instances-trans-version:             1.0.0.1-synopsis:            Universe instances for types from the transformers and mtl 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+name:          universe-instances-trans+version:       1.1+synopsis:+  Universe instances for types from the transformers and mtl packages++description:+  __DEPRECATED:__ instances are moved to @universe-base@ package+  .+  @universe-base@ package provides instances for types from GHC-boot libraries.++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+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.0.1+  type:     git+  location: https://github.com/dmwit/universe+  tag:      1.1  library-  exposed-modules:     Data.Universe.Instances.Trans-  build-depends:       base                    >=4   && <5  ,-                       mtl                     >=1.0 && <2.3,-                       transformers            >=0.2 && <0.5,-                       universe-base           >=1.0 && <1.1,-                       universe-instances-base >=1.0 && <1.1-  default-language:    Haskell2010-  other-extensions:    FlexibleContexts+  default-language: Haskell2010+  hs-source-dirs:   src+  exposed-modules:  Data.Universe.Instances.Trans+  build-depends:+      base           >=4   && <5+    , universe-base  >=1.1 && <1.1.1