comonads-fd 2.1.2 → 3.0

raw patch · 5 files changed

+24/−15 lines, 5 filesdep ~comonaddep ~comonad-transformersPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: comonad, comonad-transformers

API changes (from Hackage documentation)

Files

• Control/Comonad/Env/Class.hs +6/−3
• Control/Comonad/Identity.hs +2/−2
• Control/Comonad/Store/Class.hs +6/−3
• Control/Comonad/Traced/Class.hs +6/−3
• comonads-fd.cabal +4/−4

@@ -1,8 +1,11 @@-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE FunctionalDependencies #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- | -- Module      :  Control.Comonad.Env.Class--- Copyright   :  (C) 2008-2011 Edward Kmett+-- Copyright   :  (C) 2008-2012 Edward Kmett -- License     :  BSD-style (see the file LICENSE) -- -- Maintainer  :  Edward Kmett <ekmett@gmail.com>@@ -45,5 +48,5 @@ instance ComonadEnv e w => ComonadEnv e (IdentityT w) where   ask = lowerAsk -instance (ComonadEnv e w, Semigroup m, Monoid m) => ComonadEnv e (TracedT m w) where+instance (ComonadEnv e w, Monoid m) => ComonadEnv e (TracedT m w) where   ask = lowerAsk

@@ -1,14 +1,14 @@ ----------------------------------------------------------------------------- -- | -- Module      :  Control.Comonad.Identity--- Copyright   :  (C) 2008-2011 Edward Kmett+-- Copyright   :  (C) 2008-2012 Edward Kmett -- License     :  BSD-style (see the file LICENSE) -- -- Maintainer  :  Edward Kmett <ekmett@gmail.com> -- Stability   :  experimental -- Portability :  non-portable (fundeps, MPTCs) -----------------------------------------------------------------------------module Control.Comonad.Identity ( +module Control.Comonad.Identity (     module Control.Comonad   , module Data.Functor.Identity   , module Control.Comonad.Trans.Identity

@@ -1,8 +1,11 @@-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE FunctionalDependencies #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- | -- Module      :  Control.Comonad.Store.Class--- Copyright   :  (C) 2008-2011 Edward Kmett+-- Copyright   :  (C) 2008-2012 Edward Kmett -- License     :  BSD-style (see the file LICENSE) -- -- Maintainer  :  Edward Kmett <ekmett@gmail.com>@@ -69,7 +72,7 @@   peek = lowerPeek   experiment = lowerExperiment -instance (ComonadStore s w, Semigroup m, Monoid m) => ComonadStore s (TracedT m w) where+instance (ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w) where   pos = lowerPos   peek = lowerPeek   experiment = lowerExperiment

@@ -1,8 +1,11 @@-{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE FunctionalDependencies #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- | -- Module      :  Control.Comonad.Traced.Class--- Copyright   :  (C) 2008-2011 Edward Kmett+-- Copyright   :  (C) 2008-2012 Edward Kmett -- License     :  BSD-style (see the file LICENSE) -- -- Maintainer  :  Edward Kmett <ekmett@gmail.com>@@ -29,7 +32,7 @@ traces f wa = trace (f (extract wa)) wa {-# INLINE traces #-} -instance (Comonad w, Semigroup m, Monoid m) => ComonadTraced m (Traced.TracedT m w) where+instance (Comonad w, Monoid m) => ComonadTraced m (Traced.TracedT m w) where   trace = Traced.trace  lowerTrace :: (ComonadTrans t, ComonadTraced m w) => m -> t w a -> a

@@ -1,6 +1,6 @@ name:          comonads-fd category:      Control, Comonads-version:       2.1.2+version:       3.0 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -9,7 +9,7 @@ stability:     experimental homepage:      http://github.com/ekmett/comonads-fd/ bug-reports:   http://github.com/ekmett/comonads-fd/issues-copyright:     Copyright (C) 2008-2011 Edward A. Kmett+copyright:     Copyright (C) 2008-2012 Edward A. Kmett synopsis:      Comonad transformers using functional dependencies description:   Comonad transformers using functional dependencies build-type:    Simple@@ -30,8 +30,8 @@     transformers         >= 0.2     && < 0.4,     mtl                  >= 2.0     && < 2.2,     semigroups           >= 0.8.3.1 && < 0.9,-    comonad              >= 1.1.1.5 && < 1.2,-    comonad-transformers >= 2.1.2   && < 2.2+    comonad              >= 3.0     && < 3.1,+    comonad-transformers >= 3.0     && < 3.1    exposed-modules:     Control.Comonad.Env