packages feed

writer-cps-transformers 0.1.1.2 → 0.1.1.3

raw patch · 4 files changed

+3/−13 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.Trans.Writer.CPS: liftCallCC' :: CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b
- Control.Monad.Trans.Writer.CPS.Internal: liftCallCC' :: CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b

Files

src/Control/Monad/Trans/RWS/CPS/Internal.hs view
@@ -385,14 +385,14 @@ -- continuation. liftCallCC :: CallCC m (a,s,w) (b,s,w) -> CallCC (RWST r w s m) a b liftCallCC callCC f = RWST $ \r s w ->-  callCC $ \c -> unRWST (f (\a -> RWST $ \_ _ w' -> c (a, s, w'))) r s w+  callCC $ \c -> unRWST (f (\a -> RWST $ \_ _ _ -> c (a, s, w))) r s w {-# INLINE liftCallCC #-}  -- | In-situ lifting of a @callCC@ operation to the new monad. -- This version uses the current state on entering the continuation. liftCallCC' :: CallCC m (a,s,w) (b,s,w) -> CallCC (RWST r w s m) a b liftCallCC' callCC f = RWST $ \r s w ->-  callCC $ \c -> unRWST (f (\a -> RWST $ \_ s' w' -> c (a, s', w'))) r s w+  callCC $ \c -> unRWST (f (\a -> RWST $ \_ s' _ -> c (a, s', w))) r s w {-# INLINE liftCallCC' #-}  -- | Lift a @catchE@ operation to the new monad.
src/Control/Monad/Trans/Writer/CPS.hs view
@@ -50,7 +50,6 @@   censor,   -- * Lifting other operations   liftCallCC,-  liftCallCC',   liftCatch, ) where
src/Control/Monad/Trans/Writer/CPS/Internal.hs view
@@ -50,7 +50,6 @@   censor,   -- * Lifting other operations   liftCallCC,-  liftCallCC',   liftCatch, ) where @@ -270,14 +269,6 @@ liftCallCC callCC f = WriterT $ \w ->   callCC $ \c -> unWriterT (f (\a -> WriterT $ \_ -> c (a, w))) w {-# INLINE liftCallCC #-}---- | In-situ lifting of a @callCC@ operation to the new monad.--- This version uses the current state on entering the continuation.--- It does not satisfy the uniformity property (see "Control.Monad.Signatures").-liftCallCC' :: CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b-liftCallCC' callCC f = WriterT $ \w ->-  callCC $ \c -> unWriterT (f (\a -> WriterT $ \w' -> c (a, w'))) w-{-# INLINE liftCallCC' #-}  -- | Lift a @catchE@ operation to the new monad. liftCatch :: Catch e m (a, w) -> Catch e (WriterT w m) a
writer-cps-transformers.cabal view
@@ -3,7 +3,7 @@ -- see: https://github.com/sol/hpack  name:           writer-cps-transformers-version:        0.1.1.2+version:        0.1.1.3 license:        BSD3 license-file:   LICENSE 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.1