hreader 0.1.0 → 0.2.0
raw patch · 3 files changed
+35/−3 lines, 3 filesdep ~basedep ~hsetPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, hset
API changes (from Hackage documentation)
- Control.Monad.HReader: instance (Monad m, Applicative m) => MonadHReader (HReaderT els m)
- Control.Monad.HReader: instance Applicative m => Applicative (HReaderT els m)
- Control.Monad.HReader: instance Constructor C1_0HReaderT
- Control.Monad.HReader: instance Datatype D1HReaderT
- Control.Monad.HReader: instance Functor m => Functor (HReaderT els m)
- Control.Monad.HReader: instance Generic (HReaderT els m a)
- Control.Monad.HReader: instance MFunctor (HReaderT els)
- Control.Monad.HReader: instance MMonad (HReaderT els)
- Control.Monad.HReader: instance Monad m => Monad (HReaderT els m)
- Control.Monad.HReader: instance MonadBase b m => MonadBase b (HReaderT els m)
- Control.Monad.HReader: instance MonadBaseControl b m => MonadBaseControl b (HReaderT els m)
- Control.Monad.HReader: instance MonadCatch m => MonadCatch (HReaderT els m)
- Control.Monad.HReader: instance MonadCont m => MonadCont (HReaderT els m)
- Control.Monad.HReader: instance MonadError e m => MonadError e (HReaderT els m)
- Control.Monad.HReader: instance MonadIO m => MonadIO (HReaderT els m)
- Control.Monad.HReader: instance MonadReader r m => MonadReader r (HReaderT els m)
- Control.Monad.HReader: instance MonadState s m => MonadState s (HReaderT els m)
- Control.Monad.HReader: instance MonadThrow m => MonadThrow (HReaderT els m)
- Control.Monad.HReader: instance MonadTrans (HReaderT els)
- Control.Monad.HReader: instance MonadTransControl (HReaderT els)
- Control.Monad.HReader: instance MonadWriter w m => MonadWriter w (HReaderT els m)
- Control.Monad.HReader: instance Selector S1_0_0HReaderT
- Control.Monad.HReader: instance Typeable HReaderT
- Control.Monad.HReader: unHReaderT :: HReaderT els m a -> ReaderT (HSet els) m a
- Control.Monad.HReader.Class: instance (MonadHReader m, Monoid w) => MonadHReader (RWST r w s m)
- Control.Monad.HReader.Class: instance (MonadHReader m, Monoid w) => MonadHReader (WriterT w m)
- Control.Monad.HReader.Class: instance MonadHReader m => MonadHReader (ContT r m)
- Control.Monad.HReader.Class: instance MonadHReader m => MonadHReader (ExceptT e m)
- Control.Monad.HReader.Class: instance MonadHReader m => MonadHReader (ListT m)
- Control.Monad.HReader.Class: instance MonadHReader m => MonadHReader (ReaderT r m)
- Control.Monad.HReader.Class: instance MonadHReader m => MonadHReader (StateT s m)
+ Control.Monad.HReader: [unHReaderT] :: HReaderT els m a -> ReaderT (HSet els) m a
+ Control.Monad.HReader: instance (GHC.Base.Monad m, GHC.Base.Applicative m) => Control.Monad.HReader.Class.MonadHReader (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Base.MonadBase b m => Control.Monad.Base.MonadBase b (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Cont.Class.MonadCont m => Control.Monad.Cont.Class.MonadCont (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Error.Class.MonadError e m => Control.Monad.Error.Class.MonadError e (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Morph.MFunctor (Control.Monad.HReader.HReaderT els)
+ Control.Monad.HReader: instance Control.Monad.Morph.MMonad (Control.Monad.HReader.HReaderT els)
+ Control.Monad.HReader: instance Control.Monad.Reader.Class.MonadReader r m => Control.Monad.Reader.Class.MonadReader r (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.State.Class.MonadState s m => Control.Monad.State.Class.MonadState s (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Trans.Class.MonadTrans (Control.Monad.HReader.HReaderT els)
+ Control.Monad.HReader: instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance Control.Monad.Trans.Control.MonadTransControl (Control.Monad.HReader.HReaderT els)
+ Control.Monad.HReader: instance Control.Monad.Writer.Class.MonadWriter w m => Control.Monad.Writer.Class.MonadWriter w (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance GHC.Base.Applicative m => GHC.Base.Applicative (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance GHC.Base.Functor m => GHC.Base.Functor (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance GHC.Base.Monad m => GHC.Base.Monad (Control.Monad.HReader.HReaderT els m)
+ Control.Monad.HReader: instance GHC.Generics.Constructor Control.Monad.HReader.C1_0HReaderT
+ Control.Monad.HReader: instance GHC.Generics.Datatype Control.Monad.HReader.D1HReaderT
+ Control.Monad.HReader: instance GHC.Generics.Generic (Control.Monad.HReader.HReaderT els m a)
+ Control.Monad.HReader: instance GHC.Generics.Selector Control.Monad.HReader.S1_0_0HReaderT
+ Control.Monad.HReader: narrowHReaderT :: (Monad m, SubHSetable els subels eq) => proxy subels -> HReaderT subels m a -> HReaderT els m a
+ Control.Monad.HReader: subHSetHReaderT :: (Monad m, SubHSetable els subels eq) => HReaderT subels m a -> HReaderT els m a
+ Control.Monad.HReader.Class: instance (Control.Monad.HReader.Class.MonadHReader m, GHC.Base.Monoid w) => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.RWS.Lazy.RWST r w s m)
+ Control.Monad.HReader.Class: instance (Control.Monad.HReader.Class.MonadHReader m, GHC.Base.Monoid w) => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.RWS.Strict.RWST r w s m)
+ Control.Monad.HReader.Class: instance (Control.Monad.HReader.Class.MonadHReader m, GHC.Base.Monoid w) => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.Writer.Lazy.WriterT w m)
+ Control.Monad.HReader.Class: instance (Control.Monad.HReader.Class.MonadHReader m, GHC.Base.Monoid w) => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.Writer.Strict.WriterT w m)
+ Control.Monad.HReader.Class: instance Control.Monad.HReader.Class.MonadHReader m => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.Cont.ContT r m)
+ Control.Monad.HReader.Class: instance Control.Monad.HReader.Class.MonadHReader m => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.Except.ExceptT e m)
+ Control.Monad.HReader.Class: instance Control.Monad.HReader.Class.MonadHReader m => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.List.ListT m)
+ Control.Monad.HReader.Class: instance Control.Monad.HReader.Class.MonadHReader m => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.Reader.ReaderT r m)
+ Control.Monad.HReader.Class: instance Control.Monad.HReader.Class.MonadHReader m => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.State.Lazy.StateT s m)
+ Control.Monad.HReader.Class: instance Control.Monad.HReader.Class.MonadHReader m => Control.Monad.HReader.Class.MonadHReader (Control.Monad.Trans.State.Strict.StateT s m)
Files
- CHANGELOG.md +6/−0
- hreader.cabal +2/−2
- src/Control/Monad/HReader.hs +27/−1
CHANGELOG.md view
@@ -1,5 +1,11 @@ # CHANGELOG +## 0.2.0+### Added+* `subHSetHReaderT` run a local reader with a subset of HSet elements+### Changed+* minimum required `hset` version is `1.1.0`+ ## 0.1.0 ### Changed * Use `hset-1.0.0`
hreader.cabal view
@@ -1,5 +1,5 @@ name: hreader-version: 0.1.0+version: 0.2.0 synopsis: Generalization of MonadReader and ReaderT license: BSD3 license-file: LICENSE@@ -34,7 +34,7 @@ build-depends: base >= 4.7 && < 5 , exceptions- , hset >= 1.0.0 && < 2.0.0+ , hset >= 1.1.0 && < 2.0.0 , mmorph , monad-control , mtl
src/Control/Monad/HReader.hs view
@@ -1,6 +1,8 @@ module Control.Monad.HReader ( HReaderT(..) , runHReaderT+ , subHSetHReaderT+ , narrowHReaderT , module Control.Monad.HReader.Class ) where @@ -27,7 +29,7 @@ import Control.Applicative #endif -+-- | Monad transformer which is like 'ReaderT' but for `HSet` only newtype HReaderT els m a = HReaderT { unHReaderT :: ReaderT (HSet els) m a } deriving ( Functor, Applicative, Monad, MonadIO@@ -38,6 +40,30 @@ runHReaderT :: HSet els -> HReaderT els m a -> m a runHReaderT h (HReaderT r) = runReaderT r h++-- | Run a local reader with a subset of HSet elements.+subHSetHReaderT :: ( Monad m, SubHSetable els subels eq )+ => HReaderT subels m a -> HReaderT els m a+subHSetHReaderT hr = do+ hset <- askHSet+ lift $ runHReaderT (subHSet hset) hr++{- | Convenient variant of 'subHSetHReaderT' with proxy type to make it+posible to run nested HReaderT in place without complex type+declarations, e.g.++@+narrowHReaderT (Proxy :: Proxy '[String, Int]) $ do+ doThingsWithString+ doThingsWithInt+ doThingsWithOtherStuff -- < this will not compile+@++-}++narrowHReaderT :: ( Monad m, SubHSetable els subels eq )+ => proxy subels -> HReaderT subels m a -> HReaderT els m a+narrowHReaderT _ = subHSetHReaderT instance MonadTrans (HReaderT els) where lift = HReaderT . lift