Up

Module Multi_map

Signature

type ('k, 'v) t
include Core.Std.Sexpable.S2 with type ('a, 'b) t := ('a, 'b) t
type ('a, 'b) t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> ('b -> Sexplib.Sexp.t) -> ('a, 'b) t -> Sexplib.Sexp.t
val empty : ('k, 'v) t
val singleton : 'k -> 'v -> ('k, 'v) t
val is_empty : ('k, 'v) t -> bool
val add : key:'k -> data:'v -> ('k, 'v) t -> ('k, 'v) t
val find : ('k, 'v) t -> 'k -> 'v list

find m key returns all the elements that where added to key in m in the reverse order in which they where added. If no element where added an empty list is returned.

val remove : ('k, 'v) t -> 'k -> ('k, 'v) t

remove m key Remove all the values associated the key key in m

val set : key:'k -> data:'v list -> ('k, 'v) t -> ('k, 'v) t
val mem : ('k, 'v) t -> 'k -> bool

mem m key returns true if key has at last one value associated to it in m

val keys : ('k, 'v) t -> 'k list

Returns all the non-empty keys in m.

val iter : f:(key:'k -> data:'v -> unit) -> ('k, 'v) t -> unit
val iteri : f:(key:'k -> data:'v -> unit) -> ('k, 'v) t -> unit
val map : f:('a -> 'b) -> ('k, 'a) t -> ('k, 'b) t
val mapi : f:(key:'k -> data:'a -> 'b) -> ('k, 'a) t -> ('k, 'b) t
val fold : f:(key:'k -> data:'v -> 'a -> 'a) -> ('k, 'v) t -> init:'a -> 'a
val filter : f:(key:'k -> data:'v -> bool) -> ('k, 'v) t -> ('k, 'v) t
val filteri : f:(key:'k -> data:'v -> bool) -> ('k, 'v) t -> ('k, 'v) t
val reduce : f:('v list -> 'r) -> ('k, 'v) t -> ('k, 'r) Core.Std.Map.Poly.t