packages feed

tagged-transformer 0.7.1 → 0.8

raw patch · 3 files changed

+16/−4 lines, 3 filesdep ~comonaddep ~reflectiondep ~semigroupoidsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: comonad, reflection, semigroupoids

API changes (from Hackage documentation)

- Data.Functor.Trans.Tagged: instance Alt m => Alt (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Alternative m => Alternative (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Applicative m => Applicative (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Apply m => Apply (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Bind m => Bind (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Comonad w => Comonad (TaggedT k * s w)
- Data.Functor.Trans.Tagged: instance ComonadHoist (TaggedT k * s)
- Data.Functor.Trans.Tagged: instance ComonadTrans (TaggedT k * s)
- Data.Functor.Trans.Tagged: instance Contravariant m => Contravariant (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Distributive f => Distributive (TaggedT k * s f)
- Data.Functor.Trans.Tagged: instance Eq (m b) => Eq (TaggedT k k1 s m b)
- Data.Functor.Trans.Tagged: instance Extend f => Extend (TaggedT k * s f)
- Data.Functor.Trans.Tagged: instance Foldable f => Foldable (TaggedT k * s f)
- Data.Functor.Trans.Tagged: instance Functor m => Functor (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Monad m => Monad (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadCatch m => MonadCatch (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadCont m => MonadCont (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadFix m => MonadFix (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadIO m => MonadIO (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadMask m => MonadMask (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadPlus m => MonadPlus (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadReader r m => MonadReader r (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadState t m => MonadState t (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadThrow m => MonadThrow (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance MonadTrans (TaggedT k * s)
- Data.Functor.Trans.Tagged: instance MonadWriter w m => MonadWriter w (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Ord (m b) => Ord (TaggedT k k1 s m b)
- Data.Functor.Trans.Tagged: instance Plus m => Plus (TaggedT k * s m)
- Data.Functor.Trans.Tagged: instance Read (m b) => Read (TaggedT k k1 s m b)
- Data.Functor.Trans.Tagged: instance Show (m b) => Show (TaggedT k k1 s m b)
- Data.Functor.Trans.Tagged: instance Traversable f => Traversable (TaggedT k * s f)
+ Data.Functor.Trans.Tagged: instance Alt m => Alt (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Alternative m => Alternative (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Applicative m => Applicative (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Apply m => Apply (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Bind m => Bind (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Comonad w => Comonad (TaggedT s w)
+ Data.Functor.Trans.Tagged: instance ComonadHoist (TaggedT s)
+ Data.Functor.Trans.Tagged: instance ComonadTrans (TaggedT s)
+ Data.Functor.Trans.Tagged: instance Contravariant m => Contravariant (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Distributive f => Distributive (TaggedT s f)
+ Data.Functor.Trans.Tagged: instance Eq (m b) => Eq (TaggedT s m b)
+ Data.Functor.Trans.Tagged: instance Extend f => Extend (TaggedT s f)
+ Data.Functor.Trans.Tagged: instance Foldable f => Foldable (TaggedT s f)
+ Data.Functor.Trans.Tagged: instance Functor m => Functor (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Monad m => Monad (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadCatch m => MonadCatch (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadCont m => MonadCont (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadFix m => MonadFix (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadIO m => MonadIO (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadMask m => MonadMask (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadPlus m => MonadPlus (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadReader r m => MonadReader r (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadState t m => MonadState t (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadThrow m => MonadThrow (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance MonadTrans (TaggedT s)
+ Data.Functor.Trans.Tagged: instance MonadWriter w m => MonadWriter w (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Ord (m b) => Ord (TaggedT s m b)
+ Data.Functor.Trans.Tagged: instance Plus m => Plus (TaggedT s m)
+ Data.Functor.Trans.Tagged: instance Read (m b) => Read (TaggedT s m b)
+ Data.Functor.Trans.Tagged: instance Show (m b) => Show (TaggedT s m b)
+ Data.Functor.Trans.Tagged: instance Traversable f => Traversable (TaggedT s f)
+ Data.Functor.Trans.Tagged: instance Typeable TaggedT

Files

CHANGELOG.markdown view
@@ -1,3 +1,9 @@+0.8+---+* `reflection` 2 support+* Fixed missing `duplicate` implementation in the `Comonad` instance.+* Compile warning-free on GHC 7.10+ 0.7.1 ----- * Support for `contravariant` 1.0
src/Data/Functor/Trans/Tagged.hs view
@@ -8,10 +8,10 @@ #ifdef LANGUAGE_DeriveDataTypeable {-# LANGUAGE DeriveDataTypeable #-} #endif-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706+#if __GLASGOW_HASKELL__ >= 706 {-# LANGUAGE PolyKinds #-} #endif-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+#if __GLASGOW_HASKELL__ >= 702 && __GLASGOW_HASKELL__ < 710 {-# LANGUAGE Trustworthy #-} #endif ----------------------------------------------------------------------------@@ -49,7 +49,11 @@ #else import Prelude hiding (catch, foldr, foldl, mapM, sequence, foldr1, foldl1) #endif+#if __GLASGOW_HASKELL__ < 710 import Control.Applicative (Alternative(..), Applicative(..), (<$), (<$>))+#else+import Control.Applicative (Alternative(..))+#endif import Control.Monad (liftM, MonadPlus(..)) import Control.Monad.Catch (MonadCatch(..), MonadThrow(..), MonadMask(..)) import Control.Monad.Fix (MonadFix(..))@@ -294,6 +298,8 @@ instance Comonad w => Comonad (TaggedT s w) where   extract (TagT w) = extract w   {-# INLINE extract #-}+  duplicate (TagT w) = TagT (extend TagT w)+  {-# INLINE duplicate #-}  instance ComonadTrans (TaggedT s) where   lower (TagT w) = w
tagged-transformer.cabal view
@@ -1,5 +1,5 @@ name:           tagged-transformer-version:        0.7.1+version:        0.8 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett@@ -32,7 +32,7 @@     distributive              >= 0.3      && < 1,     exceptions                >= 0.6      && < 1,     mtl                       >= 2.0.1    && < 2.3,-    reflection                >= 1.1.6    && < 2,+    reflection                >= 1.1.6    && < 3,     semigroupoids             >= 4        && < 5,     tagged                    >= 0.4.4    && < 1