Module Map.Make

Parameters

module M : Stdlib.Map.S

Signature

val at : M.key -> ('a M.t, 'a, 'a, 'a M.t) optic

A traversal focusing on removable value of given key in a map.

# L.view (StringMap.at "foo") a_string_map
- : int = 101

# StringMap.equal ( = )
    (L.review StringMap.as_assoc [ ("bar", 42) ])
    (L.remove (StringMap.at "foo") a_string_map)
- : bool = true
val as_assoc : ('a M.t, (M.key * 'a) list, (M.key * 'b) list, 'b M.t) optic

Isomorphism between maps and association lists.

val elems : ('a M.t, 'a, 'a, 'a M.t) optic

Traversal over the removable elements of a map.