Control.Lens.Selection

Documentation

selected :: Traversable f => Traversal (Selection f b a) (Selection f b a') a a'

Traversal over selected elements

selected = traverse

unselected :: Traversable f => Traversal (Selection f b a) (Selection f b' a) b b'

Traversal over unselected elements

unselected = inverting . selected

inverted :: Functor f => Traversal (Selection f b a) (Selection f b' a') (Selection f a b) (Selection f a' b')

Traversal which inverts the current selection

This is provided as a Traversal to avoid adding a profunctors dependency. You can write the corresponding iso if you wish:

inverting = iso invertSelection invertSelection

unwrapped :: Traversal (Selection f b a) (Selection f b' a') (f (Either b a)) (f (Either b' a'))

Traversal which exposes the underlying functor representation

This is provided as a Traversal to avoid adding a profunctors dependency. You can write the corresponding iso if you wish:

unwrapping = iso unwrapSelection wrapSelection