git.iko.soy/typeable/ether
on master help sign in
Add forgotten ReaderT instances
commit0075a7cf1338c7b3894d6fac6a5f397e8bbbe477 authorIndex Int <vlad.z.4096@gmail.com> dateSat 6 Jun 2015, 19:48 (11 years ago) parent2e73b26
2 files changed+9
compare with master
unifiedsplit
src/Control/Ether/Core.hs+4 src/Control/Monad/Ether/Reader.hs+5
src/Control/Ether/Core.hs+4
@@ -18,6 +18,7 @@ import qualified Control.Monad.Trans.Except as Trans
1818import qualified Control.Monad.Trans.Identity as Trans
1919import qualified Control.Monad.Trans.List as Trans
2020import qualified Control.Monad.Trans.Maybe as Trans
21+import qualified Control.Monad.Trans.Reader as Trans
2122import qualified Control.Monad.Trans.State.Lazy as Trans.Lazy
2223import qualified Control.Monad.Trans.State.Strict as Trans.Strict
2324import qualified Control.Monad.Trans.Writer.Lazy as Trans.Lazy
@@ -59,6 +60,9 @@ instance Monad m => MonadEther (Trans.ListT m) where
5960instance Monad m => MonadEther (Trans.MaybeT m) where
6061 type EtherTags (Trans.MaybeT m) = EtherTags m
6162
63+instance Monad m => MonadEther (Trans.ReaderT r m) where
64+ type EtherTags (Trans.ReaderT r m) = EtherTags m
65+
6266instance Monad m => MonadEther (Trans.Lazy.StateT s m) where
6367 type EtherTags (Trans.Lazy.StateT s m) = EtherTags m
6468
src/Control/Monad/Ether/Reader.hs+5
@@ -24,6 +24,7 @@ import qualified Control.Monad.Trans.Except as Trans (ExceptT , m
2424import qualified Control.Monad.Trans.Identity as Trans (IdentityT, mapIdentityT)
2525import qualified Control.Monad.Trans.List as Trans (ListT , mapListT)
2626import qualified Control.Monad.Trans.Maybe as Trans (MaybeT , mapMaybeT)
27+import qualified Control.Monad.Trans.Reader as Trans (ReaderT , mapReaderT)
2728import qualified Control.Monad.Trans.State.Lazy as Trans.Lazy (StateT , mapStateT)
2829import qualified Control.Monad.Trans.State.Strict as Trans.Strict (StateT , mapStateT)
2930import qualified Control.Monad.Trans.Writer.Lazy as Trans.Lazy (WriterT , mapWriterT)
@@ -70,6 +71,10 @@ instance MonadEtherReader tag r m => MonadEtherReader tag r (Trans.MaybeT m) whe
7071 etherAsk proxy = lift (etherAsk proxy)
7172 etherLocal proxy = Trans.mapMaybeT . etherLocal proxy
7273
74+instance MonadEtherReader tag r m => MonadEtherReader tag r (Trans.ReaderT r' m) where
75+ etherAsk proxy = lift (etherAsk proxy)
76+ etherLocal proxy = Trans.mapReaderT . etherLocal proxy
77+
7378instance MonadEtherReader tag r m => MonadEtherReader tag r (Trans.Lazy.StateT s m) where
7479 etherAsk proxy = lift (etherAsk proxy)
7580 etherLocal proxy = Trans.Lazy.mapStateT . etherLocal proxy