packages feed

comonad-transformers 1.8.0.3 → 2.0.0

raw patch · 4 files changed

+4/−29 lines, 4 filesdep ~comonaddep ~semigroupoidsdep ~semigroupsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: comonad, semigroupoids, semigroups

API changes (from Hackage documentation)

- Control.Comonad.Trans.Discont.Lazy: callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b
- Control.Comonad.Trans.Discont.Lazy: label :: Comonad w => DiscontT s w a -> s
- Control.Comonad.Trans.Discont.Memo: callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b
- Control.Comonad.Trans.Discont.Memo: label :: Comonad w => DiscontT s w a -> s
- Control.Comonad.Trans.Discont.Strict: callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b
- Control.Comonad.Trans.Discont.Strict: label :: Comonad w => DiscontT s w a -> s

Files

Control/Comonad/Trans/Discont/Lazy.hs view
@@ -26,9 +26,6 @@   , runDiscont   , DiscontT(..)   , runDiscontT-  -- * Combinators-  , callCV-  , label   ) where  import Data.Functor.Identity@@ -79,8 +76,3 @@  -- instance Apply w => Apply (DiscontT s w) where -label :: Comonad w => DiscontT s w a -> s -label (DiscontT _ ws) = extract ws--callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b-callCV ~(DiscontT k s) = k s (DiscontT (\s' ~(DiscontT k' _) -> k' s') s)
Control/Comonad/Trans/Discont/Memo.hs view
@@ -31,9 +31,6 @@   , DiscontT   , discontT    , runDiscontT-  -- * Combinators-  , callCV-  , label   ) where  import Data.Functor.Identity@@ -86,9 +83,3 @@   lower (DiscontT f s _) = extend f s  -- instance Apply w => Apply (DiscontT s w) where--label :: Comonad w => DiscontT s w a -> s -label (DiscontT _ ws _) = extract ws--callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b-callCV (DiscontT k s _) = k s (discontT (\s' (DiscontT k' _ _) -> k' s') s)
Control/Comonad/Trans/Discont/Strict.hs view
@@ -25,9 +25,6 @@   , runDiscont   , DiscontT(..)   , runDiscontT-  -- * Combinators-  , callCV-  , label   ) where  import Data.Functor.Identity@@ -76,8 +73,3 @@ instance ComonadTrans (DiscontT s) where   lower (DiscontT f s) = extend f s -callCV :: DiscontT s w (DiscontT s w (DiscontT s w a -> a) -> b) -> b-callCV (DiscontT k s) = k s (DiscontT (\s' (DiscontT k' _) -> k' s') s)--label :: Comonad w => DiscontT s w a -> s-label (DiscontT _ ws) = extract ws
comonad-transformers.cabal view
@@ -1,6 +1,6 @@ name:          comonad-transformers category:      Control, Comonads-version:       1.8.0.3+version:       2.0.0 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -25,12 +25,12 @@ library   build-depends:      base >= 4 && < 5,-    comonad >= 1.1 && < 1.2,+    comonad >= 1.1.1 && < 1.2,     containers >= 0.3 && < 0.5,     contravariant >= 0.1.2 && < 0.2,     distributive >= 0.2 && < 0.3,-    semigroupoids >= 1.2.2.3 && < 1.3,-    semigroups >= 0.6 && < 0.7,+    semigroupoids >= 1.2.4 && < 1.3,+    semigroups >= 0.7.1 && < 0.8,     transformers >= 0.2.0 && <= 0.3    if flag(DeriveDataTypeable)