comonad-extras 4.0 → 4.0.1

raw patch · 4 files changed

+62/−9 lines, 4 filesdep ~basedep ~semigroupoids

Dependency ranges changed: base, semigroupoids

Files

• .travis.yml +42/−2
• comonad-extras.cabal +5/−5
• src/Control/Comonad/Store/Pointer.hs +13/−2
• src/Control/Comonad/Store/Zipper.hs +2/−0

@@ -1,8 +1,48 @@-language: haskell+env:+ - GHCVER=7.0.1 CABALVER=1.16+ - GHCVER=7.0.4 CABALVER=1.16+ - GHCVER=7.2.2 CABALVER=1.16+ - GHCVER=7.4.2 CABALVER=1.16+ - GHCVER=7.6.3 CABALVER=1.16+ - GHCVER=7.8.4 CABALVER=1.18+ - GHCVER=7.10.1 CABALVER=1.22+ - GHCVER=head CABALVER=1.22++matrix:+  allow_failures:+   - env: GHCVER=7.0.1 CABALVER=1.16+   - env: GHCVER=7.0.4 CABALVER=1.16+   - env: GHCVER=7.2.2 CABALVER=1.16+   - env: GHCVER=head CABALVER=1.22++before_install:+ - travis_retry sudo add-apt-repository -y ppa:hvr/ghc+ - travis_retry sudo apt-get update+ - travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER+ - export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH+ - cabal --version++install:+ - travis_retry cabal update+ - cabal install --enable-tests --only-dependencies++script:+ - cabal configure -v2 --enable-tests+ - cabal build+ - cabal sdist+ - export SRC_TGZ=$(cabal info . | awk '{print $2 ".tar.gz";exit}') ;+   cd dist/;+   if [ -f "$SRC_TGZ" ]; then+      cabal install "$SRC_TGZ";+   else+      echo "expected '$SRC_TGZ' not found";+      exit 1;+   fi+ notifications:   irc:     channels:       - "irc.freenode.org#haskell-lens"     skip_join: true     template:-      - "\x0313comonad-extras\x03/\x0306%{branch}\x03 \x0314%{commit}\x03 %{build_url} %{message}"+      - "\x0313comonad-extras\x0f/\x0306%{branch}\x0f \x0314%{commit}\x0f %{message} \x0302\x1f%{build_url}\x0f"

@@ -1,6 +1,6 @@ name:          comonad-extras category:      Control, Comonads-version:       4.0+version:       4.0.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -34,11 +34,11 @@   build-depends:     array                >= 0.3   && < 0.6,     base                 >= 4     && < 5,-    containers           >= 0.4   && < 0.6,-    comonad              >= 4     && < 5,+    containers           >= 0.4   && < 0.7,+    comonad              >= 4     && < 6,     distributive         >= 0.3.2 && < 1,-    semigroupoids        >= 4     && < 5,-    transformers         >= 0.2   && < 0.4+    semigroupoids        >= 4     && < 6,+    transformers         >= 0.2   && < 0.6    exposed-modules:     Control.Comonad.Store.Zipper

@@ -3,10 +3,13 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE UndecidableInstances #-}+#if __GLASGOW_HASKELL__ >= 708+{-# LANGUAGE DeriveDataTypeable #-}+#endif ----------------------------------------------------------------------------- -- | -- Module      :  Control.Comonad.Store.Pointer--- Copyright   :  (C) 2008-2012 Edward Kmett+-- Copyright   :  (C) 2008-2015 Edward Kmett -- License     :  BSD-style (see the file LICENSE) -- -- Maintainer  :  Edward Kmett <ekmett@gmail.com>@@ -41,7 +44,9 @@   , module Control.Comonad.Store.Class   ) where +#if !defined(__GLASGOW_HASKELL__) || __GLASGOW_HASKELL__ < 710 import Control.Applicative+#endif import Control.Comonad import Control.Comonad.Hoist.Class import Control.Comonad.Trans.Class@@ -52,8 +57,11 @@ import Data.Functor.Extend import Data.Array -#ifdef __GLASGOW_HASKELL__+#if __GLASGOW_HASKELL__ import Data.Typeable+#endif++#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ < 708 instance (Typeable i, Typeable1 w) => Typeable1 (PointerT i w) where   typeOf1 diwa = mkTyConApp storeTTyCon [typeOf (i diwa), typeOf1 (w diwa)]     where@@ -83,6 +91,9 @@ runPointer (PointerT (Identity f) i) = (f, i)  data PointerT i w a = PointerT (w (Array i a)) i+#if __GLASGOW_HASKELL__ >= 708+  deriving Typeable+#endif  runPointerT :: PointerT i w a -> (w (Array i a), i) runPointerT (PointerT g i) = (g, i)

@@ -15,7 +15,9 @@ module Control.Comonad.Store.Zipper   ( Zipper, zipper, zipper1, unzipper, size) where +#if !defined(__GLASGOW_HASKELL__) || __GLASGOW_HASKELL__ < 710 import Control.Applicative+#endif import Control.Comonad (Comonad(..)) import Data.Functor.Extend import Data.Foldable