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 +0/−24
- src/Data/Universe/Instances/Trans.hs +5/−0
- universe-instances-trans.cabal +34/−25
− 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