Data.Set.Lens

Documentation

setmapped :: (Ord i, Ord j) => Setter (Set i) (Set j) i j

This Setter can be used to change the type of a Set by mapping the elements to new values.

Sadly, you can't create a valid Traversal for a Set, but you can manipulate it by reading using folded and reindexing it via setmapped.

>>> over setmapped (+1) (fromList [1,2,3,4])
fromList [2,3,4,5]

setOf :: Getting (Set a) s t a b -> s -> Set a

Construct a set from a Getter, Fold, Traversal, Lens or Iso.

>>> setOf (folded._2) [("hello",1),("world",2),("!!!",3)]
fromList [1,2,3]

 setOf ::          Getter s a           -> s -> Set a
 setOf :: Ord a => Fold s a             -> s -> Set a
 setOf ::          Simple Iso s a       -> s -> Set a
 setOf ::          Simple Lens s a      -> s -> Set a
 setOf :: Ord a => Simple Traversal s a -> s -> Set a