Control.Lens.Readers

Versions of the lens operators for MonadStates instead of MonadState.

Documentation

module Control.Monad.Readers

asks :: MonadReaders r m => (r -> a) -> m a

views :: MonadReaders s m => LensLike' (Const r) s a -> (a -> r) -> m r

iview :: MonadReaders s m => IndexedGetting i (i, a) s a -> m (i, a)

iviews :: MonadReaders s m => IndexedGetting i r s a -> (i -> a -> r) -> m r

review :: MonadReaders b m => AReview t b -> m t

view :: MonadReaders r m => Getting a r a -> m a

reviews :: MonadReaders b m => AReview t b -> (t -> r) -> m r

preview :: MonadReaders s m => Getting (First a) s a -> m (Maybe a)

ipreview :: MonadReaders s m => IndexedGetting i (First (i, a)) s a -> m (Maybe (i, a))

previews :: MonadReaders s m => Getting (First r) s a -> (a -> r) -> m (Maybe r)