val length : t -> int
val is_empty : t -> bool
iter must allow exceptions raised in
f to escape, terminating the iteration cleanly. The same holds for all functions below taking an
fold t ~init ~f returns
f (... f (f (f init e1) e2) e3 ...) en, where
e1..en are the elements of
val fold_result : t -> init:'accum -> f:( 'accum -> elt -> ( 'accum, 'e ) Result.t ) -> ( 'accum, 'e ) Result.t
fold_result t ~init ~f is a short-circuiting version of
fold that runs in the
Result monad. If
f returns an
Error _, that value is returned without any additional invocations of
true if and only if there exists an element for which the provided function evaluates to
true. This is a short-circuiting operation.
true if and only if the provided function evaluates to
true for all elements. This is a short-circuiting operation.
Returns the number of elements for which the provided function evaluates to true.
Returns the sum of
f i for all
i in the container.
Returns as an
option the first element for which
f evaluates to true.
Returns the first evaluation of
f that returns
Some, and returns
None if there is no such element.
val invariants : t -> bool
module Named : sig ... end