Safe Haskell	None
Language	Haskell2010

Control.Monad.Trans.RWS.CPS.Lens

Contents

Synopsis

Documentation

Orphan instances

Monad z => Zoom (RWST r w s z) (RWST r w t z) s t #
Methods zoom :: LensLike' (Zoomed (RWST r w s z) c) t s -> RWST r w s z c -> RWST r w t z c #
Monad m => Magnify (RWST b w s m) (RWST a w s m) b a #
Methods magnify :: LensLike' (Magnified (RWST b w s m) c) a b -> RWST b w s m c -> RWST a w s m c #
(Monoid w, Functor m) => Wrapped (RWST r w s m a) #
Associated Types type Unwrapped (RWST r w s m a) :: * # Methods _Wrapped' :: Iso' (RWST r w s m a) (Unwrapped (RWST r w s m a)) #
(Monoid w, Functor m, (~) * t (RWST r' w' s' m' a')) => Rewrapped (RWST r w s m a) t #	Unlike normal Wrapped instances, this doesn't simply peel off the newtype wrapper, as that will expose the hidden CPS w state. Based on code from Control.Lens.Wrapped