Module MapExtra.Map

Maps whoses images are maps of elements

Parameters

module M : Stdlib.Map.S

Signature

val add : key -> M.key -> 'a -> 'a M.t t -> 'a M.t t
val mem : key -> M.key -> 'a M.t t -> bool
val find : key -> M.key -> 'a M.t t -> 'a
  • raises [Not_found]

    if not present

val find_opt : key -> M.key -> 'a M.t t -> 'a option
val fold : (key -> M.key -> 'a -> 'b -> 'b) -> 'a M.t t -> 'b -> 'b
val iter : (key -> M.key -> 'a -> unit) -> 'a M.t t -> unit
val mapi : (key -> M.key -> 'a -> 'b) -> 'a M.t t -> 'b M.t t
val map : ('a -> 'b) -> 'a M.t t -> 'b M.t t
val filter : (key -> M.key -> 'a -> bool) -> 'a M.t t -> 'a M.t t
val mapi_filter : (key -> M.key -> 'a -> 'b option) -> 'a M.t t -> 'b M.t t
val map_filter : ('a -> 'b option) -> 'a M.t t -> 'b M.t t