Portability | Rank2Types |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
- at :: Ord k => k -> SimpleLens (Map k v) (Maybe v)
- traverseMap :: IndexedTraversal k (Map k v) (Map k v') v v'
- traverseAt :: Ord k => k -> SimpleTraversal (Map k v) v
- traverseAtMin :: SimpleIndexedTraversal k (Map k v) v
- traverseAtMax :: SimpleIndexedTraversal k (Map k v) v
Documentation
traverseMap :: IndexedTraversal k (Map k v) (Map k v') v v'Source
Traversal of a Map
indexed by the key.
traverseAt :: Ord k => k -> SimpleTraversal (Map k v) vSource
Traverse the value at a given key in a Map
traverseAt :: (Applicative f, Ord k) => k -> (v -> f v) -> Map k v -> f (Map k v) traverseAt k = valueAt k . traverse
traverseAtMin :: SimpleIndexedTraversal k (Map k v) vSource
Traverse the value at the minimum key in a Map.
The key of the minimum element is available as the index of the traversal.
traverseAtMax :: SimpleIndexedTraversal k (Map k v) vSource
Traverse the value at the maximum key in a Map.
The key of the maximum element is available as the index of the traversal.