Control.Lens.Selection

Documentation

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

Traversal over selected elements

selected = traverse

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

Traversal over unselected elements

unselected = inverting . selected

inverting :: Functor f => Iso' (Selection f b a) (Selection f a b)

Iso which inverts the current selection

inverting = iso invertSelection invertSelection

unwrapping :: Functor f => Iso' (Selection f b a) (f (Either b a))

Iso which exposes the underlying functor representation

unwrapping = iso unwrapSelection wrapSelection