Data.Functor.Selection

Selection

data Selection f b a

type Selection' f a

modifySelection

Selecting/Deselecting

newSelection

forgetSelection

select

include

exclude

selectAll

deselectAll

invertSelection

mapSelected

mapUnselected

getSelected

getUnselected

unify

trans

Comonad Combinators

selectWithContext