mtl 2.0.0.0 → 2.0.1.0
raw patch · 16 files changed
+35/−39 lines, 16 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Control.Monad.Cont: cont :: ((a -> r) -> r) -> Cont r a
+ Control.Monad.RWS.Lazy: rws :: (r -> s -> (a, s, w)) -> RWS r w s a
+ Control.Monad.RWS.Strict: rws :: (r -> s -> (a, s, w)) -> RWS r w s a
+ Control.Monad.Reader: reader :: (r -> a) -> Reader r a
+ Control.Monad.State.Lazy: state :: (s -> (a, s)) -> State s a
+ Control.Monad.State.Strict: state :: (s -> (a, s)) -> State s a
+ Control.Monad.Writer.Lazy: writer :: (a, w) -> Writer w a
+ Control.Monad.Writer.Strict: writer :: (a, w) -> Writer w a
- Control.Monad.Cont: newtype ContT r m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Cont: newtype ContT r (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Error: newtype ErrorT e m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Error: newtype ErrorT e (m :: * -> *) a :: * -> (* -> *) -> * -> *
- 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: newtype ReaderT r m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Reader: newtype ReaderT r (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.State.Lazy: newtype StateT s m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.State.Lazy: newtype StateT s (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.State.Strict: newtype StateT s m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.State.Strict: newtype StateT s (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Writer.Lazy: newtype WriterT w m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Writer.Lazy: newtype WriterT w (m :: * -> *) a :: * -> (* -> *) -> * -> *
- Control.Monad.Writer.Strict: newtype WriterT w m :: (* -> *) a :: * -> (* -> *) -> * -> *
+ Control.Monad.Writer.Strict: newtype WriterT w (m :: * -> *) a :: * -> (* -> *) -> * -> *
Files
- Control/Monad/Cont.hs +1/−0
- Control/Monad/RWS.hs +1/−2
- Control/Monad/RWS/Class.hs +1/−2
- Control/Monad/RWS/Lazy.hs +3/−3
- Control/Monad/RWS/Strict.hs +3/−3
- Control/Monad/Reader.hs +3/−3
- Control/Monad/Reader/Class.hs +1/−2
- Control/Monad/State.hs +1/−2
- Control/Monad/State/Class.hs +1/−2
- Control/Monad/State/Lazy.hs +3/−3
- Control/Monad/State/Strict.hs +3/−3
- Control/Monad/Writer.hs +1/−2
- Control/Monad/Writer/Class.hs +1/−2
- Control/Monad/Writer/Lazy.hs +3/−3
- Control/Monad/Writer/Strict.hs +3/−3
- mtl.cabal +6/−4
Control/Monad/Cont.hs view
@@ -53,6 +53,7 @@ MonadCont(..), -- * The Cont monad Cont,+ cont, runCont, mapCont, withCont,
Control/Monad/RWS.hs view
@@ -12,8 +12,7 @@ -- Declaration of the MonadRWS class. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------
Control/Monad/RWS/Class.hs view
@@ -15,8 +15,7 @@ -- Declaration of the MonadRWS class. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------
Control/Monad/RWS/Lazy.hs view
@@ -12,8 +12,7 @@ -- Lazy RWS monad. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------@@ -21,6 +20,7 @@ module Control.Monad.RWS.Lazy ( -- * The RWS monad RWS,+ rws, runRWS, evalRWS, execRWS,@@ -44,7 +44,7 @@ import Control.Monad.Trans import Control.Monad.Trans.RWS.Lazy (- RWS, runRWS, evalRWS, execRWS, mapRWS, withRWS,+ RWS, rws, runRWS, evalRWS, execRWS, mapRWS, withRWS, RWST(..), evalRWST, execRWST, mapRWST, withRWST) import Control.Monad
Control/Monad/RWS/Strict.hs view
@@ -12,8 +12,7 @@ -- Strict RWS monad. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------@@ -21,6 +20,7 @@ module Control.Monad.RWS.Strict ( -- * The RWS monad RWS,+ rws, runRWS, evalRWS, execRWS,@@ -44,7 +44,7 @@ import Control.Monad.Trans import Control.Monad.Trans.RWS.Strict (- RWS, runRWS, evalRWS, execRWS, mapRWS, withRWS,+ RWS, rws, runRWS, evalRWS, execRWS, mapRWS, withRWS, RWST(..), evalRWST, execRWST, mapRWST, withRWST) import Control.Monad
Control/Monad/Reader.hs view
@@ -30,8 +30,7 @@ than using the 'Control.Monad.State.State' monad. Inspired by the paper- /Functional Programming with Overloading and- Higher-Order Polymorphism/, + /Functional Programming with Overloading and Higher-Order Polymorphism/, Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) Advanced School of Functional Programming, 1995. -}@@ -42,6 +41,7 @@ asks, -- * The Reader monad Reader,+ reader, runReader, mapReader, withReader,@@ -65,7 +65,7 @@ import Control.Monad.Reader.Class import Control.Monad.Trans.Reader (- Reader, runReader, mapReader, withReader,+ Reader, reader, runReader, mapReader, withReader, ReaderT(..), mapReaderT, withReaderT) import Control.Monad.Trans
Control/Monad/Reader/Class.hs view
@@ -32,8 +32,7 @@ than using the 'Control.Monad.State.State' monad. Inspired by the paper- /Functional Programming with Overloading and- Higher-Order Polymorphism/, + /Functional Programming with Overloading and Higher-Order Polymorphism/, Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) Advanced School of Functional Programming, 1995. -}
Control/Monad/State.hs view
@@ -12,8 +12,7 @@ -- State monads. -- -- This module is inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995.
Control/Monad/State/Class.hs view
@@ -15,8 +15,7 @@ -- MonadState class. -- -- This module is inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995.
Control/Monad/State/Lazy.hs view
@@ -12,8 +12,7 @@ -- Lazy state monads. -- -- This module is inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995. @@ -26,6 +25,7 @@ gets, -- * The State monad State,+ state, runState, evalState, execState,@@ -48,7 +48,7 @@ import Control.Monad.Trans import Control.Monad.Trans.State.Lazy- (State, runState, evalState, execState, mapState, withState,+ (State, state, runState, evalState, execState, mapState, withState, StateT(..), evalStateT, execStateT, mapStateT, withStateT) import Control.Monad
Control/Monad/State/Strict.hs view
@@ -12,8 +12,7 @@ -- Strict state monads. -- -- This module is inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/>) -- Advanced School of Functional Programming, 1995. @@ -26,6 +25,7 @@ gets, -- * The State monad State,+ state, runState, evalState, execState,@@ -48,7 +48,7 @@ import Control.Monad.Trans import Control.Monad.Trans.State.Strict- (State, runState, evalState, execState, mapState, withState,+ (State, state, runState, evalState, execState, mapState, withState, StateT(..), evalStateT, execStateT, mapStateT, withStateT) import Control.Monad
Control/Monad/Writer.hs view
@@ -12,8 +12,7 @@ -- The MonadWriter class. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/pubs/springschool.html>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------
Control/Monad/Writer/Class.hs view
@@ -15,8 +15,7 @@ -- The MonadWriter class. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/pubs/springschool.html>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------
Control/Monad/Writer/Lazy.hs view
@@ -12,8 +12,7 @@ -- Lazy writer monads. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/pubs/springschool.html>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------@@ -25,6 +24,7 @@ censor, -- * The Writer monad Writer,+ writer, runWriter, execWriter, mapWriter,@@ -42,7 +42,7 @@ import Control.Monad.Trans import Control.Monad.Trans.Writer.Lazy (- Writer, runWriter, execWriter, mapWriter,+ Writer, writer, runWriter, execWriter, mapWriter, WriterT(..), execWriterT, mapWriterT) import Control.Monad
Control/Monad/Writer/Strict.hs view
@@ -12,8 +12,7 @@ -- Strict writer monads. -- -- Inspired by the paper--- /Functional Programming with Overloading and--- Higher-Order Polymorphism/,+-- /Functional Programming with Overloading and Higher-Order Polymorphism/, -- Mark P Jones (<http://web.cecs.pdx.edu/~mpj/pubs/springschool.html>) -- Advanced School of Functional Programming, 1995. -----------------------------------------------------------------------------@@ -25,6 +24,7 @@ censor, -- * The Writer monad Writer,+ writer, runWriter, execWriter, mapWriter,@@ -42,7 +42,7 @@ import Control.Monad.Trans import Control.Monad.Trans.Writer.Strict (- Writer, runWriter, execWriter, mapWriter,+ Writer, writer, runWriter, execWriter, mapWriter, WriterT(..), execWriterT, mapWriterT) import Control.Monad
mtl.cabal view
@@ -1,5 +1,5 @@ name: mtl-version: 2.0.0.0+version: 2.0.1.0 cabal-version: >= 1.6 license: BSD3 license-file: LICENSE@@ -14,7 +14,9 @@ by Mark P Jones, in /Advanced School of Functional Programming/, 1995 (<http://web.cecs.pdx.edu/~mpj/pubs/springschool.html>). build-type: Simple-exposed-modules:++Library+ exposed-modules: Control.Monad.Cont Control.Monad.Cont.Class Control.Monad.Error@@ -36,8 +38,8 @@ 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.*+ extensions: MultiParamTypeClasses FunctionalDependencies FlexibleInstances