Module Core_kernel__.Container_unit_tests.Test_S1

Parameters

Container : sig ... end

Signature

include sig ... end
val t_of_sexp : (Sexplib.Sexp.t ‑> 'a) ‑> Sexplib.Sexp.t ‑> 'a Container.t
val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> 'a Container.t ‑> Sexplib.Sexp.t
val length : 'a Container.t ‑> int
val is_empty : 'a Container.t ‑> bool
val iter : 'a Container.t ‑> f:('a ‑> unit) ‑> unit
val fold : 'a Container.t ‑> init:'accum ‑> f:('accum ‑> 'a ‑> 'accum) ‑> 'accum
val fold_result : 'a Container.t ‑> init:'accum ‑> f:('accum ‑> 'a ‑> ('accum'eBase.Result.t) ‑> ('accum'eBase.Result.t
val fold_until : 'a Container.t ‑> init:'accum ‑> f:('accum ‑> 'a ‑> ('accum'stopBase.Container_intf.Continue_or_stop.t) ‑> ('accum'stopBase.Container_intf.Finished_or_stopped_early.t
val exists : 'a Container.t ‑> f:('a ‑> bool) ‑> bool
val for_all : 'a Container.t ‑> f:('a ‑> bool) ‑> bool
val count : 'a Container.t ‑> f:('a ‑> bool) ‑> int
val sum : (module Base.Commutative_group.S with type t = 'sum) ‑> 'a Container.t ‑> f:('a ‑> 'sum) ‑> 'sum
val find : 'a Container.t ‑> f:('a ‑> bool) ‑> 'a option
val find_map : 'a Container.t ‑> f:('a ‑> 'b option) ‑> 'b option
val to_list : 'a Container.t ‑> 'a list
val to_array : 'a Container.t ‑> 'a array
val min_elt : 'a Container.t ‑> cmp:('a ‑> 'a ‑> int) ‑> 'a option
val max_elt : 'a Container.t ‑> cmp:('a ‑> 'a ‑> int) ‑> 'a option
val mem : 'a Container.t ‑> 'a ‑> Core_kernel__.Import.bool
val mem : 'a Container.t ‑> 'a ‑> equal:('a ‑> 'a ‑> bool) ‑> bool