git.iko.soy/typeable/transformers-lift
on master help sign in
Remove liftPass/liftListen for RWST for now
commit8864a4ecd88b0fadc0eab8d0df89f49e35d9ccf2 authorIndex Int <vlad.z.4096@gmail.com> dateSat 20 Jun 2015, 00:43 (11 years ago) parent89e514b
2 files changed−16
compare with master
unifiedsplit
src/Control/Monad/Trans/Lift/Listen.hs−8 src/Control/Monad/Trans/Lift/Pass.hs−8
src/Control/Monad/Trans/Lift/Listen.hs−8
@@ -19,8 +19,6 @@ import qualified Control.Monad.Trans.Except as E
1919import qualified Control.Monad.Trans.Identity as I
2020import qualified Control.Monad.Trans.Maybe as M
2121import qualified Control.Monad.Trans.Reader as R
22−import qualified Control.Monad.Trans.RWS.Lazy as RWS.Lazy
23−import qualified Control.Monad.Trans.RWS.Strict as RWS.Strict
2422import qualified Control.Monad.Trans.State.Lazy as S.Lazy
2523import qualified Control.Monad.Trans.State.Strict as S.Strict
2624import qualified Control.Monad.Trans.Writer.Lazy as W.Lazy
@@ -50,12 +48,6 @@ instance LiftListen (S.Lazy.StateT s) where
5048instance LiftListen (S.Strict.StateT s) where
5149 liftListen = S.Strict.liftListen
5250
53−instance Monoid w' => LiftListen (RWS.Lazy.RWST r w' s) where
54− liftListen = error "TODO"
55−
56−instance Monoid w' => LiftListen (RWS.Strict.RWST r w' s) where
57− liftListen = error "TODO"
58−
5951instance Monoid w' => LiftListen (W.Lazy.WriterT w') where
6052 liftListen listen m = W.Lazy.WriterT $ do
6153 ~((a, w'), w) <- listen (W.Lazy.runWriterT m)
src/Control/Monad/Trans/Lift/Pass.hs−8
@@ -19,8 +19,6 @@ import qualified Control.Monad.Trans.Except as E
1919import qualified Control.Monad.Trans.Identity as I
2020import qualified Control.Monad.Trans.Maybe as M
2121import qualified Control.Monad.Trans.Reader as R
22−import qualified Control.Monad.Trans.RWS.Lazy as RWS.Lazy
23−import qualified Control.Monad.Trans.RWS.Strict as RWS.Strict
2422import qualified Control.Monad.Trans.State.Lazy as S.Lazy
2523import qualified Control.Monad.Trans.State.Strict as S.Strict
2624import qualified Control.Monad.Trans.Writer.Lazy as W.Lazy
@@ -50,12 +48,6 @@ instance LiftPass (S.Lazy.StateT s) where
5048instance LiftPass (S.Strict.StateT s) where
5149 liftPass = S.Strict.liftPass
5250
53−instance Monoid w' => LiftPass (RWS.Lazy.RWST r w' s) where
54− liftPass = error "TODO"
55−
56−instance Monoid w' => LiftPass (RWS.Strict.RWST r w' s) where
57− liftPass = error "TODO"
58−
5951instance Monoid w' => LiftPass (W.Lazy.WriterT w') where
6052 liftPass pass m = W.Lazy.WriterT $ pass $ do
6153 ~((a, f), w) <- W.Lazy.runWriterT m