Control.Imperative.Zoom

Documentation

zoomR :: Monad m => Traversal' s a -> Ref m s -> Ref m a

Zoom in on stored value in the Ref.

type Traversal' s a = Applicative f => (a -> f a) -> s -> f s

See http://hackage.haskell.org/package/lens/docs/Control-Lens-Traversal.html.