Portability  Rank2Types 

Stability  provisional 
Maintainer  Edward Kmett <ekmett@gmail.com> 
Safe Haskell  SafeInfered 
 class (MonadReader b m, MonadReader a n) => Magnify m n k b a  m > b, n > a, m a > n, n b > m where
 magnify :: ((b > k c b) > a > k c a) > m c > n c
 class (MonadState s m, MonadState t n) => Zoom m n k s t  m > s k, n > t k, m t > n, n s > m where
 zoom :: Monad m => SimpleLensLike (k c) t s > m c > n c
Documentation
class (MonadReader b m, MonadReader a n) => Magnify m n k b a  m > b, n > a, m a > n, n b > m whereSource
This class allows us to use magnify
part of the environment, changing the environment supplied by
many different monad transformers. Unlike focus
this can change the environment of a deeply nested monad transformer.
Also, unlike focus
, this can be used with any valid Getter
, but cannot be used with a Traversal
or Fold
.
magnify :: ((b > k c b) > a > k c a) > m c > n cSource
Run a monadic action in a larger environment than it was defined in, using a Getter
.
This acts like local
, but can in many cases change the type of the environment as well.
This is commonly used to lift actions in a simpler Reader monad into a monad with a larger environment type.
This can be used to edit pretty much any monad transformer stack with an environment in it:
magnify
::Getter
a b > (b > c) > a > cmagnify
::Monoid
c =>Fold
a b > (b > c) > a > cmagnify
::Monoid
wGetter
a b >RWST
a w s c >RWST
b w s cmagnify
:: (Monoid
w,Monoid
c) =>Fold
a b >RWST
a w s c >RWST
b w s c ...
Magnify ((>) b) ((>) a) Accessor b a 

Magnify m n k b a => Magnify (IdentityT m) (IdentityT n) k b a  
Monad m => Magnify (ReaderT b m) (ReaderT a m) (Effect m) b a  
(Monad m, Monoid w) => Magnify (RWST b w s m) (RWST a w s m) (EffectRWS w s m) b a  
(Monad m, Monoid w) => Magnify (RWST b w s m) (RWST a w s m) (EffectRWS w s m) b a 
class (MonadState s m, MonadState t n) => Zoom m n k s t  m > s k, n > t k, m t > n, n s > m whereSource
This class allows us to use zoom
in, changing the State supplied by
many different monad transformers, potentially quite deep in a monad transformer stack.
zoom :: Monad m => SimpleLensLike (k c) t s > m c > n cSource
Run a monadic action in a larger state than it was defined in,
using a Simple
Lens
or Simple
Traversal
.
This is commonly used to lift actions in a simpler state monad into a state monad with a larger state type.
When applied to a 'Simple Traversal
over
multiple values, the actions for each target are executed sequentially
and the results are aggregated.
This can be used to edit pretty much any monad transformer stack with a state in it!
zoom
::Monad
m =>Simple
Lens
a b >StateT
b m c >StateT
a m czoom
:: (Monad
m,Monoid
c) =>Simple
Traversal
a b >StateT
b m c >StateT
a m czoom
::Monad
m =>Simple
Lens
a b >RWST
r w b m c >RWST
r w a m czoom
:: (Monad
m,Monoid
c) =>Simple
Traversal
a b >RWST
r w b m c >RWST
r w a m czoom
::Monad
m =>Simple
Lens
a b >ErrorT
e (RWST
r w b m c) >ErrorT
e (RWST
r w a m c)zoom
:: (Monad
m,Monoid
c) =>Simple
Traversal
a b >ErrorT
e (RWST
r w b m c) >ErrorT
e (RWST
r w a m c) ...
Zoom m n k s t => Zoom (IdentityT m) (IdentityT n) k s t  
Zoom m n k s t => Zoom (MaybeT m) (MaybeT n) (FocusingMay k) s t  
Zoom m n k s t => Zoom (ListT m) (ListT n) (FocusingOn [] k) s t  
Zoom m n k s t => Zoom (ReaderT e m) (ReaderT e n) k s t  
Monad z => Zoom (StateT s z) (StateT t z) (Focusing z) s t  
Monad z => Zoom (StateT s z) (StateT t z) (Focusing z) s t  
(Error e, Zoom m n k s t) => Zoom (ErrorT e m) (ErrorT e n) (FocusingErr e k) s t  
(Monoid w, Zoom m n k s t) => Zoom (WriterT w m) (WriterT w n) (FocusingPlus w k) s t  
(Monoid w, Zoom m n k s t) => Zoom (WriterT w m) (WriterT w n) (FocusingPlus w k) s t  
(Monoid w, Monad z) => Zoom (RWST r w s z) (RWST r w t z) (FocusingWith w z) s t  
(Monoid w, Monad z) => Zoom (RWST r w s z) (RWST r w t z) (FocusingWith w z) s t 