mtl-unleashed 0.2 → 0.2.1

raw patch · 2 files changed

+6/−5 lines, 2 files

Files

• Control/Monad/Readers.hs +5/−4
• mtl-unleashed.cabal +1/−1

@@ -1,6 +1,7 @@ -- | MonadState without the function dependency @m -> s@. {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE ScopedTypeVariables #-} module Control.Monad.Readers     ( module Control.Monad.Reader     , MonadReaders(ask, local)@@ -9,8 +10,8 @@  import Control.Monad.Reader hiding (MonadReader(ask, local, reader), asks) import qualified Control.Monad.Reader as MTL (ask, local)-import Control.Monad.State (StateT, get, evalStateT)-import Control.Monad.Writer (runWriterT, WriterT)+import Control.Monad.State (StateT, mapStateT)+import Control.Monad.Writer (WriterT, mapWriterT)  -- | Version of MonadReader modified to remove the functional dependency. class Monad m => MonadReaders r m where@@ -30,11 +31,11 @@  instance (Monad m, MonadReaders r m) => MonadReaders r (StateT s m) where     ask = lift ask-    local f action = get >>= lift . local f . evalStateT action+    local = mapStateT . local  instance (Monad m, Monoid w, MonadReaders r m) => MonadReaders r (WriterT w m) where     ask = lift ask-    local f action = lift (local f (runWriterT action >>= return . fst))+    local = mapWriterT . local  {- -- Here is how you create a MonadReaders instance for a type that is

@@ -1,5 +1,5 @@ name:               mtl-unleashed-version:            0.2+version:            0.2.1 cabal-version:      >= 1.10 build-type:         Simple license:            BSD3