include module type of sig ... end
module Continue_or_stop = Base__.Container_intf.Export.Continue_or_stop
Continue_or_stop.t
is used by the f
argument to fold_until
in order to
indicate whether folding should continue, or stop early.
module type S0 = Base__.Container_intf.S0
module type S0_phantom = Base__.Container_intf.S0_phantom
module type S1 = Base__.Container_intf.S1
module type S1_phantom = Base__.Container_intf.S1_phantom
module type Generic = Base__.Container_intf.Generic
module type Generic_phantom = Base__.Container_intf.Generic_phantom
Generic definitions of container operations in terms of fold
.
E.g.: iter ~fold t ~f = fold t ~init:() ~f:(fun () a -> f a)
.
val count : fold:('t, 'a, int) fold ‑> 't ‑> f:('a ‑> bool) ‑> int
val min_elt : fold:('t, 'a, 'a option) fold ‑> 't ‑> compare:('a ‑> 'a ‑> int) ‑> 'a option
val max_elt : fold:('t, 'a, 'a option) fold ‑> 't ‑> compare:('a ‑> 'a ‑> int) ‑> 'a option
val length : fold:('t, _, int) fold ‑> 't ‑> int
val to_list : fold:('t, 'a, 'a list) fold ‑> 't ‑> 'a list
val to_array : fold:('t, 'a, 'a list) fold ‑> 't ‑> 'a array
val sum : fold:('t, 'a, 'sum) fold ‑> (module Commutative_group.S with type t = 'sum) ‑> 't ‑> f:('a ‑> 'sum) ‑> 'sum
val fold_until : fold:('t, 'a, 'b) fold ‑> init:'b ‑> f:('b ‑> 'a ‑> ('b, 'final) Continue_or_stop.t) ‑> finish:('b ‑> 'final) ‑> 't ‑> 'final
val is_empty : iter:('t, 'a) iter ‑> 't ‑> bool
Generic definitions of container operations in terms of iter
.
val exists : iter:('t, 'a) iter ‑> 't ‑> f:('a ‑> bool) ‑> bool
val for_all : iter:('t, 'a) iter ‑> 't ‑> f:('a ‑> bool) ‑> bool
val find : iter:('t, 'a) iter ‑> 't ‑> f:('a ‑> bool) ‑> 'a option
val find_map : iter:('t, 'a) iter ‑> 't ‑> f:('a ‑> 'b option) ‑> 'b option