Control.Lens.Extra

Extra utility functions for working with lenses.

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

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.