packages feed

tagged-transformer 0.8 → 0.8.1

raw patch · 6 files changed

+180/−9 lines, 6 filesnew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- 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
- Data.Functor.Trans.Tagged: untagT :: TaggedT s m b -> m b
+ Data.Functor.Trans.Tagged: [untagT] :: TaggedT s m b -> m b
+ Data.Functor.Trans.Tagged: instance forall k (f :: * -> *) (s :: k). Data.Distributive.Distributive f => Data.Distributive.Distributive (Data.Functor.Trans.Tagged.TaggedT s f)
+ Data.Functor.Trans.Tagged: instance forall k (f :: * -> *) (s :: k). Data.Foldable.Foldable f => Data.Foldable.Foldable (Data.Functor.Trans.Tagged.TaggedT s f)
+ Data.Functor.Trans.Tagged: instance forall k (f :: * -> *) (s :: k). Data.Functor.Extend.Extend f => Data.Functor.Extend.Extend (Data.Functor.Trans.Tagged.TaggedT s f)
+ Data.Functor.Trans.Tagged: instance forall k (f :: * -> *) (s :: k). Data.Traversable.Traversable f => Data.Traversable.Traversable (Data.Functor.Trans.Tagged.TaggedT s f)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Control.Monad.Catch.MonadMask m => Control.Monad.Catch.MonadMask (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Control.Monad.Cont.Class.MonadCont m => Control.Monad.Cont.Class.MonadCont (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Control.Monad.Fix.MonadFix m => Control.Monad.Fix.MonadFix (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Data.Functor.Alt.Alt m => Data.Functor.Alt.Alt (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Data.Functor.Bind.Class.Apply m => Data.Functor.Bind.Class.Apply (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Data.Functor.Bind.Class.Bind m => Data.Functor.Bind.Class.Bind (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Data.Functor.Contravariant.Contravariant m => Data.Functor.Contravariant.Contravariant (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). Data.Functor.Plus.Plus m => Data.Functor.Plus.Plus (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). GHC.Base.Alternative m => GHC.Base.Alternative (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). GHC.Base.Applicative m => GHC.Base.Applicative (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). GHC.Base.Functor m => GHC.Base.Functor (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). GHC.Base.Monad m => GHC.Base.Monad (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (m :: * -> *) (s :: k). GHC.Base.MonadPlus m => GHC.Base.MonadPlus (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k (s :: k). Control.Comonad.Hoist.Class.ComonadHoist (Data.Functor.Trans.Tagged.TaggedT s)
+ Data.Functor.Trans.Tagged: instance forall k (s :: k). Control.Comonad.Trans.Class.ComonadTrans (Data.Functor.Trans.Tagged.TaggedT s)
+ Data.Functor.Trans.Tagged: instance forall k (s :: k). Control.Monad.Trans.Class.MonadTrans (Data.Functor.Trans.Tagged.TaggedT s)
+ Data.Functor.Trans.Tagged: instance forall k (w :: * -> *) (s :: k). Control.Comonad.Comonad w => Control.Comonad.Comonad (Data.Functor.Trans.Tagged.TaggedT s w)
+ Data.Functor.Trans.Tagged: instance forall k r (m :: * -> *) (s :: k). Control.Monad.Reader.Class.MonadReader r m => Control.Monad.Reader.Class.MonadReader r (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k t (m :: * -> *) (s :: k). Control.Monad.State.Class.MonadState t m => Control.Monad.State.Class.MonadState t (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k w (m :: * -> *) (s :: k). Control.Monad.Writer.Class.MonadWriter w m => Control.Monad.Writer.Class.MonadWriter w (Data.Functor.Trans.Tagged.TaggedT s m)
+ Data.Functor.Trans.Tagged: instance forall k1 (s :: k1) k2 (m :: k2 -> *) (b :: k2). GHC.Classes.Eq (m b) => GHC.Classes.Eq (Data.Functor.Trans.Tagged.TaggedT s m b)
+ Data.Functor.Trans.Tagged: instance forall k1 (s :: k1) k2 (m :: k2 -> *) (b :: k2). GHC.Classes.Ord (m b) => GHC.Classes.Ord (Data.Functor.Trans.Tagged.TaggedT s m b)
+ Data.Functor.Trans.Tagged: instance forall k1 (s :: k1) k2 (m :: k2 -> *) (b :: k2). GHC.Read.Read (m b) => GHC.Read.Read (Data.Functor.Trans.Tagged.TaggedT s m b)
+ Data.Functor.Trans.Tagged: instance forall k1 (s :: k1) k2 (m :: k2 -> *) (b :: k2). GHC.Show.Show (m b) => GHC.Show.Show (Data.Functor.Trans.Tagged.TaggedT s m b)
- Data.Functor.Trans.Tagged: reflected :: (Applicative m, Reifies s a) => TaggedT s m a
+ Data.Functor.Trans.Tagged: reflected :: forall s m a. (Applicative m, Reifies s a) => TaggedT s m a
- Data.Functor.Trans.Tagged: reflectedM :: (Monad m, Reifies s a) => TaggedT s m a
+ Data.Functor.Trans.Tagged: reflectedM :: forall s m a. (Monad m, Reifies s a) => TaggedT s m a

Files

.gitignore view
@@ -1,4 +1,5 @@ dist+dist-newstyle docs wiki TAGS@@ -11,6 +12,22 @@ *.hi *~ *#+.stack-work/+cabal-dev+*.chi+*.chs.h+*.dyn_o+*.dyn_hi+.hpc+.hsenv .cabal-sandbox/ cabal.config cabal.sandbox.config+*.prof+*.aux+*.hp+*.eventlog+cabal.project.local+cabal.project.local~+.HTF/+.ghc.environment.*
.travis.yml view
@@ -1,7 +1,15 @@-language: haskell-ghc:-  - 7.8-  - 7.6+# This Travis job script has been generated by a script via+#+#   runghc make_travis_yml_2.hs '-o' '.travis.yml' '--irc-channel=irc.freenode.org#haskell-lens' '--no-no-tests-no-bench' '--no-installed' 'cabal.project'+#+# For more information, see https://github.com/hvr/multi-ghc-travis+#+language: c+sudo: false++git:+  submodules: false  # whether to recursively clone submodules+ notifications:   irc:     channels:@@ -9,3 +17,129 @@     skip_join: true     template:       - "\x0313tagged-transformer\x03/\x0306%{branch}\x03 \x0314%{commit}\x03 %{build_url} %{message}"++cache:+  directories:+    - $HOME/.cabal/packages+    - $HOME/.cabal/store++before_cache:+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/build-reports.log+  # remove files that are regenerated by 'cabal update'+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/00-index.*+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/*.json+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.cache+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar+  - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar.idx++  - rm -rfv $HOME/.cabal/packages/head.hackage++matrix:+  include:+    - compiler: "ghc-7.0.4"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-7.0.4], sources: [hvr-ghc]}}+    - compiler: "ghc-7.2.2"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-7.2.2], sources: [hvr-ghc]}}+    - compiler: "ghc-7.4.2"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-7.4.2], sources: [hvr-ghc]}}+    - compiler: "ghc-7.6.3"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-7.6.3], sources: [hvr-ghc]}}+    - compiler: "ghc-7.8.4"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-7.8.4], sources: [hvr-ghc]}}+    - compiler: "ghc-7.10.3"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-7.10.3], sources: [hvr-ghc]}}+    - compiler: "ghc-8.0.2"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-8.0.2], sources: [hvr-ghc]}}+    - compiler: "ghc-8.2.2"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.0,ghc-8.2.2], sources: [hvr-ghc]}}+    - compiler: "ghc-8.4.2"+    # env: TEST=--disable-tests BENCH=--disable-benchmarks+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.2,ghc-8.4.2], sources: [hvr-ghc]}}+    - compiler: "ghc-head"+      env: GHCHEAD=true+      addons: {apt: {packages: [ghc-ppa-tools,cabal-install-head,ghc-head], sources: [hvr-ghc]}}++  allow_failures:+    - compiler: "ghc-7.0.4"+    - compiler: "ghc-7.2.2"+    - compiler: "ghc-head"++before_install:+  - HC=${CC}+  - HCPKG=${HC/ghc/ghc-pkg}+  - unset CC+  - ROOTDIR=$(pwd)+  - mkdir -p $HOME/.local/bin+  - "PATH=/opt/ghc/bin:/opt/ghc-ppa-tools/bin:$HOME/local/bin:$PATH"+  - HCNUMVER=$(( $(${HC} --numeric-version|sed -E 's/([0-9]+)\.([0-9]+)\.([0-9]+).*/\1 * 10000 + \2 * 100 + \3/') ))+  - echo $HCNUMVER++install:+  - cabal --version+  - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"+  - BENCH=${BENCH---enable-benchmarks}+  - TEST=${TEST---enable-tests}+  - HADDOCK=${HADDOCK-true}+  - INSTALLED=${INSTALLED-true}+  - GHCHEAD=${GHCHEAD-false}+  - travis_retry cabal update -v+  - "sed -i.bak 's/^jobs:/-- jobs:/' ${HOME}/.cabal/config"+  - rm -fv cabal.project cabal.project.local+  # Overlay Hackage Package Index for GHC HEAD: https://github.com/hvr/head.hackage+  - |+    if $GHCHEAD; then+      sed -i.bak 's/-- allow-newer:.*/allow-newer: *:base, *:template-haskell, *:ghc, *:Cabal/' ${HOME}/.cabal/config++      echo 'repository head.hackage'                                                        >> ${HOME}/.cabal/config+      echo '   url: http://head.hackage.haskell.org/'                                       >> ${HOME}/.cabal/config+      echo '   secure: True'                                                                >> ${HOME}/.cabal/config+      echo '   root-keys: 07c59cb65787dedfaef5bd5f987ceb5f7e5ebf88b904bbd4c5cbdeb2ff71b740' >> ${HOME}/.cabal/config+      echo '              2e8555dde16ebd8df076f1a8ef13b8f14c66bad8eafefd7d9e37d0ed711821fb' >> ${HOME}/.cabal/config+      echo '              8f79fd2389ab2967354407ec852cbe73f2e8635793ac446d09461ffb99527f6e' >> ${HOME}/.cabal/config+      echo '   key-threshold: 3'                                                            >> ${HOME}/.cabal.config++      cabal new-update head.hackage -v+    fi+  - grep -Ev -- '^\s*--' ${HOME}/.cabal/config | grep -Ev '^\s*$'+  - "printf 'packages: \".\"\\n' > cabal.project"+  - cat cabal.project+  - if [ -f "./configure.ac" ]; then+      (cd "." && autoreconf -i);+    fi+  - rm -f cabal.project.freeze+  - cabal new-build -w ${HC} ${TEST} ${BENCH} --project-file="cabal.project" --dep -j2 all+  - rm -rf .ghc.environment.* "."/dist+  - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)++# Here starts the actual work to be performed for the package under test;+# any command which exits with a non-zero exit code causes the build to fail.+script:+  # test that source-distributions can be generated+  - (cd "." && cabal sdist)+  - mv "."/dist/tagged-transformer-*.tar.gz ${DISTDIR}/+  - cd ${DISTDIR} || false+  - find . -maxdepth 1 -name '*.tar.gz' -exec tar -xvf '{}' \;+  - "printf 'packages: tagged-transformer-*/*.cabal\\n' > cabal.project"+  - cat cabal.project+++  # build & run tests, build benchmarks+  - cabal new-build -w ${HC} ${TEST} ${BENCH} all++  # cabal check+  - (cd tagged-transformer-* && cabal check)++  # haddock+  - rm -rf ./dist-newstyle+  - if $HADDOCK; then cabal new-haddock -w ${HC} ${TEST} ${BENCH} all; else echo "Skipping haddock generation";fi++# REGENDATA ["-o",".travis.yml","--irc-channel=irc.freenode.org#haskell-lens","--no-no-tests-no-bench","--no-installed","cabal.project"]+# EOF
CHANGELOG.markdown view
@@ -1,3 +1,7 @@+0.8.1 [2018.04.24]+------------------+* Support `exceptions-0.10.0`.+ 0.8 --- * `reflection` 2 support
README.markdown view
@@ -1,6 +1,6 @@ tagged-transformer ================== -[![Build Status](https://secure.travis-ci.org/ekmett/tagged-transformer.png)](http://travis-ci.org/ekmett/tagged-transformer)+[![Hackage](https://img.shields.io/hackage/v/tagged-transformer.svg)](https://hackage.haskell.org/package/tagged-transformer) [![Build Status](https://secure.travis-ci.org/ekmett/tagged-transformer.png?branch=master)](http://travis-ci.org/ekmett/tagged-transformer)  Monad transformer carrying an extra [phantom type](http://www.haskell.org/haskellwiki/Phantom_type) tag. 
src/Data/Functor/Trans/Tagged.hs view
@@ -324,6 +324,13 @@   uninterruptibleMask a = TagT $ uninterruptibleMask $ \u -> untagT (a $ q u)     where q u = TagT . u . untagT   {-# INLINE uninterruptibleMask#-}+#if MIN_VERSION_exceptions(0,10,0)+  generalBracket acquire release use = TagT $+    generalBracket+      (untagT acquire)+      (\resource exitCase -> untagT (release resource exitCase))+      (\resource -> untagT (use resource))+#endif  -- | Easier to type alias for 'TagT' tagT :: m b -> TaggedT s m b
tagged-transformer.cabal view
@@ -1,12 +1,12 @@ name:           tagged-transformer-version:        0.8+version:        0.8.1 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett maintainer:     Edward A. Kmett <ekmett@gmail.com> stability:      experimental category:       Data, Phantom Types-synopsis:       Provides newtype wrappers for phantom types to avoid unsafely passing dummy arguments+synopsis:       Monad transformer carrying an extra phantom type tag homepage:       http://github.com/ekmett/tagged-transformer copyright:      2011-2013 Edward A. Kmett description:    Provides newtype wrappers for phantom types to avoid unsafely passing dummy arguments@@ -19,6 +19,15 @@   .gitignore   CHANGELOG.markdown   README.markdown+tested-with:   GHC == 7.0.4+             , GHC == 7.2.2+             , GHC == 7.4.2+             , GHC == 7.6.3+             , GHC == 7.8.4+             , GHC == 7.10.3+             , GHC == 8.0.2+             , GHC == 8.2.2+             , GHC == 8.4.2  source-repository head   type: git@@ -27,13 +36,13 @@ library   build-depends:     base                      >= 4        && < 5,-    comonad                   >= 4        && < 5,+    comonad                   >= 4        && < 6,     contravariant             >= 0.3      && < 2,     distributive              >= 0.3      && < 1,     exceptions                >= 0.6      && < 1,     mtl                       >= 2.0.1    && < 2.3,     reflection                >= 1.1.6    && < 3,-    semigroupoids             >= 4        && < 5,+    semigroupoids             >= 4        && < 6,     tagged                    >= 0.4.4    && < 1    exposed-modules: