writer-cps-mtl 0.1.0.2 → 0.1.1.0
raw patch · 3 files changed
+37/−16 lines, 3 filesdep ~writer-cps-transformersPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: writer-cps-transformers
API changes (from Hackage documentation)
+ Control.Monad.RWS.CPS: instance Control.Monad.Cont.Class.MonadCont m => Control.Monad.Cont.Class.MonadCont (Control.Monad.Trans.RWS.CPS.RWST r w s m)
+ Control.Monad.RWS.CPS: instance Control.Monad.Error.Class.MonadError e m => Control.Monad.Error.Class.MonadError e (Control.Monad.Trans.RWS.CPS.RWST r w s m)
+ Control.Monad.Writer.CPS: instance Control.Monad.Cont.Class.MonadCont m => Control.Monad.Cont.Class.MonadCont (Control.Monad.Trans.Writer.CPS.WriterT w m)
+ Control.Monad.Writer.CPS: instance Control.Monad.Error.Class.MonadError e m => Control.Monad.Error.Class.MonadError e (Control.Monad.Trans.Writer.CPS.WriterT w m)
Files
- Control/Monad/RWS/CPS.hs +16/−8
- Control/Monad/Writer/CPS.hs +17/−3
- writer-cps-mtl.cabal +4/−5
Control/Monad/RWS/CPS.hs view
@@ -1,4 +1,7 @@ {-# OPTIONS_GHC -fno-warn-orphans #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- | -- Module : Control.Monad.RWS.CPS@@ -36,7 +39,6 @@ execRWST, mapRWST, withRWST,- -- * Strict Reader-writer-state monads module X ) where @@ -46,26 +48,32 @@ import Control.Monad.Trans as X import Data.Monoid as X -import Control.Monad.Trans.RWS.CPS hiding (censor, tell, writer, listen, pass, ask,- local, reader, get, put, state, listens,- asks, modify, gets)+import Control.Monad.Cont.Class+import Control.Monad.Error.Class+import Control.Monad.Trans.RWS.CPS import qualified Control.Monad.Trans.RWS.CPS as CPS --- Orphan instance+-- Orphan instances+ instance (Monoid w, Monad m) => MonadWriter w (RWST r w s m) where- tell = CPS.tell writer = CPS.writer+ tell = CPS.tell listen = CPS.listen pass = CPS.pass --- Orphan instance instance Monad m => MonadReader r (RWST r w s m) where ask = CPS.ask local = CPS.local reader = CPS.reader --- Orphan instance instance Monad m => MonadState s (RWST r w s m) where get = CPS.get put = CPS.put state = CPS.state++instance MonadError e m => MonadError e (RWST r w s m) where+ throwError = lift . throwError+ catchError = CPS.liftCatch catchError++instance MonadCont m => MonadCont (RWST r w s m) where+ callCC = CPS.liftCallCC callCC
Control/Monad/Writer/CPS.hs view
@@ -1,4 +1,7 @@ {-# OPTIONS_GHC -fno-warn-orphans #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- | -- Module : Control.Monad.Writer.CPS@@ -40,11 +43,22 @@ import Control.Monad.Writer.Class as X import Data.Monoid as X -import Control.Monad.Trans.Writer.CPS hiding (writer, listen, pass)+import Control.Monad.Cont.Class+import Control.Monad.Error.Class+import Control.Monad.Trans.Writer.CPS import qualified Control.Monad.Trans.Writer.CPS as CPS --- Orphan instance-instance (Monoid w, Monad m) => MonadWriter w (CPS.WriterT w m) where+-- Orphan instances++instance (Monoid w, Monad m) => MonadWriter w (WriterT w m) where writer = CPS.writer+ tell = CPS.tell listen = CPS.listen pass = CPS.pass++instance MonadError e m => MonadError e (WriterT w m) where+ throwError = lift . throwError+ catchError = CPS.liftCatch catchError++instance MonadCont m => MonadCont (WriterT w m) where+ callCC = CPS.liftCallCC callCC
writer-cps-mtl.cabal view
@@ -1,9 +1,9 @@--- This file has been generated from package.yaml by hpack version 0.14.1.+-- This file has been generated from package.yaml by hpack version 0.15.0. -- -- see: https://github.com/sol/hpack name: writer-cps-mtl-version: 0.1.0.2+version: 0.1.1.0 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -15,7 +15,7 @@ synopsis: MonadWriter orphan instances for writer-cps-transformers homepage: https://github.com/minad/writer-cps-mtl#readme bug-reports: https://github.com/minad/writer-cps-mtl/issues-description: The WriterT and RWST monad transformers provided by writer-cps-transformers are written in continuation passing style and avoid the space-leak problem of the traditional Control.Monad.Trans.Writer.Strict/Lazy. See also (<https://hackage.haskell.org/package/writer-cps-transformers>).+description: The WriterT and RWST monad transformers provided by writer-cps-transformers are written in continuation passing style and avoid the space-leak problem of the traditional Control.Monad.Trans.Writer.Strict and Control.Monad.Trans.Writer.Lazy. See also (<http://hackage.haskell.org/package/writer-cps-transformers>). build-type: Simple source-repository head@@ -25,13 +25,12 @@ library hs-source-dirs: .- default-extensions: MultiParamTypeClasses FunctionalDependencies FlexibleInstances ghc-options: -Wall build-depends: base < 6 , transformers >= 0.4 && < 0.6 , mtl >= 2.2 && < 2.4- , writer-cps-transformers >= 0.1 && < 0.3+ , writer-cps-transformers >= 0.1.1 && < 0.3 exposed-modules: Control.Monad.RWS.CPS Control.Monad.Writer.CPS