Control.Lens.Extra

Extra utility functions for working with lenses.

Documentation

module Control.Lens

Folds

is :: Getting Any s a -> s -> Bool

The counter-part to isn't, but more general as it takes a Getting instead.

is = has

isn't :: Getting All s a -> s -> Bool

A re-write of isn't to be more general by taking a Getting instead.

isn't = hasn't

hasuse :: MonadState s m => Getting Any s a -> m Bool

Check to see if this Fold or Traversal matches 1 or more entries in the current state.

hasuse = gets . has

hasn'tuse :: MonadState s m => Getting All s a -> m Bool

Check to see if this Fold or Traversal has no matches in the current state.

hasn'tuse = gets . hasn't

Traversals

filteredBy :: Eq b => Lens' a b -> b -> Traversal' a a

A companion to filtered that, rather than using a predicate, filters on the given lens for matches.