module Labels:sig
..end
Operations on Set
with labels.
This module overrides a number of functions of Set
by
functions in which some arguments require labels. These labels are
there to improve readability and safety and to let you change the
order of arguments to functions. In every case, the behavior of the
function is identical to that of the corresponding function of Set
.
val iter : f:(BatSet.S.elt -> unit) -> BatSet.S.t -> unit
val fold : f:(BatSet.S.elt -> 'a -> 'a) -> BatSet.S.t -> init:'a -> 'a
val for_all : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> bool
val exists : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> bool
val map : f:(BatSet.S.elt -> BatSet.S.elt) -> BatSet.S.t -> BatSet.S.t
val filter : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t
val filter_map : f:(BatSet.S.elt -> BatSet.S.elt option) -> BatSet.S.t -> BatSet.S.t
val partition : f:(BatSet.S.elt -> bool) -> BatSet.S.t -> BatSet.S.t * BatSet.S.t