tagged-transformer 0.4.1 → 0.5

raw patch · 4 files changed

+16/−8 lines, 4 filesdep −comonad-transformersdep ~comonaddep ~exceptionsdep ~semigroupoids

Dependencies removed: comonad-transformers

Dependency ranges changed: comonad, exceptions, semigroupoids

Files

• CHANGELOG.markdown +5/−0
• README.markdown +2/−0
• src/Data/Functor/Trans/Tagged.hs +5/−3
• tagged-transformer.cabal +4/−5

@@ -1,3 +1,8 @@+0.5+---+* Updated dependencies+* Added `uninterruptiblMask` to the `MonadCatch` instance.+ 0.4.1 --- * Build fixes for GHC < 7.6

@@ -1,4 +1,6 @@ tagged-transformer ================== +[![Build Status](https://secure.travis-ci.org/ekmett/tagged-transformer.png)](http://travis-ci.org/ekmett/tagged-transformer)+ Monad transformer carrying an extra [phantom type](http://www.haskell.org/haskellwiki/Phantom_type) tag. 

@@ -53,7 +53,6 @@ import Data.Functor.Bind (Apply(..), Bind(..)) import Data.Functor.Extend (Extend(..)) import Data.Functor.Plus (Alt(..), Plus(..))-import Data.Functor.Identity (Identity(..)) import Data.Functor.Contravariant (Contravariant(..)) import Data.Proxy (Proxy(..)) import Data.Reflection (Reifies(..))@@ -64,7 +63,7 @@ -- a @'Tagged' s b@ can't try to use the argument @s@ as a real value. -- -- Moreover, you don't have to rely on the compiler to inline away the extra--- argument, because the newtype is "free"+-- argument, because the newtype is \"free\"  newtype TaggedT s m b = TagT { untagT :: m b }   deriving ( Eq, Ord, Read, Show )@@ -226,7 +225,7 @@   instance ComonadHoist (TaggedT s) where-  cohoist = TagT . Identity . extract . untagT+  cohoist f = TagT . f . untagT   {-# INLINE cohoist #-}  @@ -238,6 +237,9 @@   mask a = tag $ mask $ \u -> untag (a $ q u)     where q u = tag . u . untag   {-# INLINE mask #-}+  uninterruptibleMask a = tag $ uninterruptibleMask $ \u -> untag (a $ q u)+    where q u = tag . u . untag+  {-# INLINE uninterruptibleMask#-}   -- | Easier to type alias for 'TagT'

@@ -1,5 +1,5 @@ name:           tagged-transformer-version:        0.4.1+version:        0.5 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett@@ -28,14 +28,13 @@   build-depends:     array                     >= 0.3.0.2  && < 0.5,     base                      >= 4        && < 5,-    comonad                   >= 3        && < 4,-    comonad-transformers      >= 3        && < 4,+    comonad                   >= 4        && < 5,     contravariant             >= 0.3      && < 1,     distributive              >= 0.3      && < 1,-    exceptions                >= 0.1.1    && < 0.2,+    exceptions                >= 0.1.1    && < 1,     mtl                       >= 2.0.1    && < 2.2,     reflection                >= 1.1.6    && < 2,-    semigroupoids             >= 3.0.2    && < 4,+    semigroupoids             >= 4        && < 5,     tagged                    >= 0.4.4    && < 1,     transformers              >= 0.2      && < 0.4