monads-tf 0.1.0.0 → 0.1.0.1
raw patch · 22 files changed
+50/−47 lines, 22 filesdep ~basedep ~transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, transformers
API changes (from Hackage documentation)
- Control.Monad.Cont: newtype ContT r m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Cont: newtype ContT r (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Error: class Monad m => MonadError m where { type family ErrorType m; }
+ Control.Monad.Error: class Monad m => MonadError m where type family ErrorType m
- Control.Monad.Error: newtype ErrorT e m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Error: newtype ErrorT e (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Error.Class: class Monad m => MonadError m where { type family ErrorType m; }
+ Control.Monad.Error.Class: class Monad m => MonadError m where type family ErrorType m
- Control.Monad.List: newtype ListT m :: (* -> *) a :: (* -> *) -> * -> *
+ Control.Monad.List: newtype ListT (m :: * -> *) a :: (* -> *) -> * -> *
- Control.Monad.RWS.Lazy: newtype RWST r w s m :: (* -> *) a :: * -> * -> * -> (* -> *) -> * -> *
+ Control.Monad.RWS.Lazy: newtype RWST r w s (m :: * -> *) a :: * -> * -> * -> (* -> *) -> * -> *
- Control.Monad.RWS.Strict: newtype RWST r w s m :: (* -> *) a :: * -> * -> * -> (* -> *) -> * -> *
+ Control.Monad.RWS.Strict: newtype RWST r w s (m :: * -> *) a :: * -> * -> * -> (* -> *) -> * -> *
- Control.Monad.Reader: class Monad m => MonadReader m where { type family EnvType m; }
+ Control.Monad.Reader: class Monad m => MonadReader m where type family EnvType m
- Control.Monad.Reader: newtype ReaderT r m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Reader: newtype ReaderT r (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Reader.Class: class Monad m => MonadReader m where { type family EnvType m; }
+ Control.Monad.Reader.Class: class Monad m => MonadReader m where type family EnvType m
- Control.Monad.State.Class: class Monad m => MonadState m where { type family StateType m; }
+ Control.Monad.State.Class: class Monad m => MonadState m where type family StateType m
- Control.Monad.State.Lazy: class Monad m => MonadState m where { type family StateType m; }
+ Control.Monad.State.Lazy: class Monad m => MonadState m where type family StateType m
- Control.Monad.State.Lazy: newtype StateT s m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.State.Lazy: newtype StateT s (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.State.Strict: class Monad m => MonadState m where { type family StateType m; }
+ Control.Monad.State.Strict: class Monad m => MonadState m where type family StateType m
- Control.Monad.State.Strict: newtype StateT s m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.State.Strict: newtype StateT s (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Writer.Class: class (Monoid (WriterType m), Monad m) => MonadWriter m where { type family WriterType m; }
+ Control.Monad.Writer.Class: class (Monoid (WriterType m), Monad m) => MonadWriter m where type family WriterType m
- Control.Monad.Writer.Lazy: class (Monoid (WriterType m), Monad m) => MonadWriter m where { type family WriterType m; }
+ Control.Monad.Writer.Lazy: class (Monoid (WriterType m), Monad m) => MonadWriter m where type family WriterType m
- Control.Monad.Writer.Lazy: newtype WriterT w m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Writer.Lazy: newtype WriterT w (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Writer.Strict: class (Monoid (WriterType m), Monad m) => MonadWriter m where { type family WriterType m; }
+ Control.Monad.Writer.Strict: class (Monoid (WriterType m), Monad m) => MonadWriter m where type family WriterType m
- Control.Monad.Writer.Strict: newtype WriterT w m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Writer.Strict: newtype WriterT w (m :: * -> *) a :: * -> (* -> *) -> * -> *
Files
- Control/Monad/Cont.hs +2/−2
- Control/Monad/Cont/Class.hs +2/−2
- Control/Monad/Error.hs +2/−2
- Control/Monad/Error/Class.hs +4/−3
- Control/Monad/Identity.hs +2/−2
- Control/Monad/List.hs +2/−2
- Control/Monad/RWS.hs +2/−2
- Control/Monad/RWS/Class.hs +2/−2
- Control/Monad/RWS/Lazy.hs +2/−2
- Control/Monad/RWS/Strict.hs +2/−2
- Control/Monad/Reader.hs +2/−2
- Control/Monad/Reader/Class.hs +2/−2
- Control/Monad/State.hs +2/−2
- Control/Monad/State/Class.hs +2/−2
- Control/Monad/State/Lazy.hs +2/−2
- Control/Monad/State/Strict.hs +2/−2
- Control/Monad/Trans.hs +2/−2
- Control/Monad/Writer.hs +2/−2
- Control/Monad/Writer/Class.hs +2/−2
- Control/Monad/Writer/Lazy.hs +2/−2
- Control/Monad/Writer/Strict.hs +2/−2
- monads-tf.cabal +6/−4
Control/Monad/Cont.hs view
@@ -3,9 +3,9 @@ Copyright : (c) The University of Glasgow 2001, (c) Jeff Newbern 2003-2007, (c) Andriy Palamarchuk 2007-License : BSD-style (see the file libraries/base/LICENSE)+License : BSD-style (see the file LICENSE) -Maintainer : libraries@haskell.org+Maintainer : ross@soi.city.ac.uk Stability : experimental Portability : non-portable (type families)
Control/Monad/Cont/Class.hs view
@@ -3,9 +3,9 @@ Copyright : (c) The University of Glasgow 2001, (c) Jeff Newbern 2003-2007, (c) Andriy Palamarchuk 2007-License : BSD-style (see the file libraries/base/LICENSE)+License : BSD-style (see the file LICENSE) -Maintainer : libraries@haskell.org+Maintainer : ross@soi.city.ac.uk Stability : experimental Portability : non-portable (type families)
Control/Monad/Error.hs view
@@ -3,9 +3,9 @@ Copyright : (c) Michael Weber <michael.weber@post.rwth-aachen.de> 2001, (c) Jeff Newbern 2003-2006, (c) Andriy Palamarchuk 2006-License : BSD-style (see the file libraries/base/LICENSE)+License : BSD-style (see the file LICENSE) -Maintainer : libraries@haskell.org+Maintainer : ross@soi.city.ac.uk Stability : experimental Portability : non-portable (type families)
Control/Monad/Error/Class.hs view
@@ -3,9 +3,9 @@ Copyright : (c) Michael Weber <michael.weber@post.rwth-aachen.de> 2001, (c) Jeff Newbern 2003-2006, (c) Andriy Palamarchuk 2006-License : BSD-style (see the file libraries/base/LICENSE)+License : BSD-style (see the file LICENSE) -Maintainer : libraries@haskell.org+Maintainer : ross@soi.city.ac.uk Stability : experimental Portability : non-portable (type families) @@ -50,6 +50,7 @@ import Control.Monad.Trans.Writer.Strict as StrictWriter import Control.Monad.Trans +import qualified Control.Exception import Control.Monad import Control.Monad.Instances () import Data.Monoid@@ -91,7 +92,7 @@ instance MonadError IO where type ErrorType IO = IOError throwError = ioError- catchError = catch+ catchError = Control.Exception.catch -- --------------------------------------------------------------------------- -- Our parameterizable error monad
Control/Monad/Identity.hs view
@@ -4,9 +4,9 @@ (c) Oregon Graduate Institute of Science and Technology 2001, (c) Jeff Newbern 2003-2006, (c) Andriy Palamarchuk 2006-License : BSD-style (see the file libraries/base/LICENSE)+License : BSD-style (see the file LICENSE) -Maintainer : libraries@haskell.org+Maintainer : ross@soi.city.ac.uk Stability : experimental Portability : portable
Control/Monad/List.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.List -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : portable --
Control/Monad/RWS.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.RWS -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/RWS/Class.hs view
@@ -4,9 +4,9 @@ -- Module : Control.Monad.RWS.Class -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/RWS/Lazy.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.RWS.Lazy -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/RWS/Strict.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.RWS.Strict -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/Reader.hs view
@@ -4,9 +4,9 @@ (c) Oregon Graduate Institute of Science and Technology 2001, (c) Jeff Newbern 2003-2007, (c) Andriy Palamarchuk 2007-License : BSD-style (see the file libraries/base/LICENSE)+License : BSD-style (see the file LICENSE) -Maintainer : libraries@haskell.org+Maintainer : ross@soi.city.ac.uk Stability : experimental Portability : non-portable (type families)
Control/Monad/Reader/Class.hs view
@@ -4,9 +4,9 @@ (c) Oregon Graduate Institute of Science and Technology 2001, (c) Jeff Newbern 2003-2007, (c) Andriy Palamarchuk 2007-License : BSD-style (see the file libraries/base/LICENSE)+License : BSD-style (see the file LICENSE) -Maintainer : libraries@haskell.org+Maintainer : ross@soi.city.ac.uk Stability : experimental Portability : non-portable (type families)
Control/Monad/State.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.State -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/State/Class.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.State.Class -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/State/Lazy.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.State.Lazy -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/State/Strict.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.State.Strict -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/Trans.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.Trans -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : portable --
Control/Monad/Writer.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.Writer -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/Writer/Class.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.Writer.Class -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/Writer/Lazy.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.Writer.Lazy -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
Control/Monad/Writer/Strict.hs view
@@ -3,9 +3,9 @@ -- Module : Control.Monad.Writer.Strict -- Copyright : (c) Andy Gill 2001, -- (c) Oregon Graduate Institute of Science and Technology, 2001--- License : BSD-style (see the file libraries/base/LICENSE)+-- License : BSD-style (see the file LICENSE) ----- Maintainer : libraries@haskell.org+-- Maintainer : ross@soi.city.ac.uk -- Stability : experimental -- Portability : non-portable (type families) --
monads-tf.cabal view
@@ -1,5 +1,5 @@ name: monads-tf-version: 0.1.0.0+version: 0.1.0.1 license: BSD3 license-file: LICENSE author: Andy Gill@@ -16,7 +16,9 @@ This package is almost a compatible replacement for the @mtl-tf@ package. build-type: Simple cabal-version: >= 1.2.3-exposed-modules:++library+ exposed-modules: Control.Monad.Cont Control.Monad.Cont.Class Control.Monad.Error@@ -38,7 +40,7 @@ Control.Monad.Writer.Class Control.Monad.Writer.Lazy Control.Monad.Writer.Strict-build-depends: base < 6, transformers >= 0.2-extensions:+ build-depends: base < 6, transformers >= 0.2.0.0 && < 0.4+ extensions: FlexibleContexts TypeFamilies