comonads-fd 2.0.1 → 2.0.2
raw patch · 4 files changed
+7/−10 lines, 4 filesdep ~comonaddep ~semigroupsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: comonad, semigroups
API changes (from Hackage documentation)
- Control.Comonad.Env.Lazy: data EnvT e w :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Comonad.Env.Lazy: data EnvT e (w :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Env.Strict: data EnvT e w :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Comonad.Env.Strict: data EnvT e (w :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Store.Class: class Comonad w => ComonadStore s w | w -> s
+ Control.Comonad.Store.Class: class Comonad w => ComonadStore s w | w -> s where peeks f w = peek (f (pos w)) w seek s = peek s . duplicate seeks f = peeks f . duplicate
- Control.Comonad.Store.Lazy: class Comonad w => ComonadStore s w | w -> s
+ Control.Comonad.Store.Lazy: class Comonad w => ComonadStore s w | w -> s where peeks f w = peek (f (pos w)) w seek s = peek s . duplicate seeks f = peeks f . duplicate
- Control.Comonad.Store.Lazy: data StoreT s w :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Comonad.Store.Lazy: data StoreT s (w :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Store.Memo: class Comonad w => ComonadStore s w | w -> s
+ Control.Comonad.Store.Memo: class Comonad w => ComonadStore s w | w -> s where peeks f w = peek (f (pos w)) w seek s = peek s . duplicate seeks f = peeks f . duplicate
- Control.Comonad.Store.Memo: data StoreT s w :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Comonad.Store.Memo: data StoreT s (w :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Store.Strict: class Comonad w => ComonadStore s w | w -> s
+ Control.Comonad.Store.Strict: class Comonad w => ComonadStore s w | w -> s where peeks f w = peek (f (pos w)) w seek s = peek s . duplicate seeks f = peeks f . duplicate
- Control.Comonad.Store.Strict: data StoreT s w :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Comonad.Store.Strict: data StoreT s (w :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Traced: newtype TracedT m w :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Comonad.Traced: newtype TracedT m (w :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Comonad.Traced.Memo: data TracedT m w :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Comonad.Traced.Memo: data TracedT m (w :: * -> *) a :: * -> (* -> *) -> * -> *
Files
- Control/Comonad/Env/Class.hs +0/−1
- Control/Comonad/Store/Class.hs +0/−1
- Control/Comonad/Traced/Class.hs +0/−1
- comonads-fd.cabal +7/−7
Control/Comonad/Env/Class.hs view
@@ -27,7 +27,6 @@ import qualified Control.Comonad.Trans.Store.Memo as Memo import qualified Control.Comonad.Trans.Discont.Memo as Memo import Control.Comonad.Trans.Identity -import Data.Monoid import Data.Semigroup -- import Data.Ix
Control/Comonad/Store/Class.hs view
@@ -31,7 +31,6 @@ import qualified Control.Comonad.Trans.Store.Memo as Memo import qualified Control.Comonad.Trans.Discont.Memo as Memo import Control.Comonad.Trans.Identity -import Data.Monoid import Data.Semigroup class Comonad w => ComonadStore s w | w -> s where
Control/Comonad/Traced/Class.hs view
@@ -27,7 +27,6 @@ import qualified Control.Comonad.Trans.Store.Memo as Memo import qualified Control.Comonad.Trans.Discont.Memo as Memo import Control.Comonad.Trans.Identity -import Data.Monoid import Data.Semigroup class Comonad w => ComonadTraced m w | w -> m where
comonads-fd.cabal view
@@ -1,6 +1,6 @@ name: comonads-fd category: Control, Comonads-version: 2.0.1+version: 2.0.2 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -24,12 +24,12 @@ FlexibleInstances UndecidableInstances build-depends: - base >= 4 && < 5,- transformers >= 0.2 && < 0.3,- mtl >= 2.0.1.0 && <= 2.1,- semigroups >= 0.7.1 && < 0.8,- comonad >= 1.1.1 && < 1.2,- comonad-transformers >= 2.0 && < 2.1+ base >= 4 && < 5,+ transformers >= 0.2 && < 0.3,+ mtl >= 2.0.1.0 && <= 2.1,+ semigroups >= 0.8 && < 0.9,+ comonad >= 1.1.1.1 && < 1.2,+ comonad-transformers >= 2.0 && < 2.1 exposed-modules: Control.Comonad.Env