tryfind

Lib.tryfind : ('a -> 'b) -> 'a list -> 'b

Returns the result of the first successful application of a function to the elements of a list.

tryfind f [x1,...,xn] returns (f xi) for the first xi in the list for which application of f does not raise an exception. However, if Interrupt is raised in the course of some application of f xi, then tryfind f [x1,...,xn] raises Interrupt.

Failure

Fails if the application of f fails for all elements in the list. This will always be the case if the list is empty.

See also

Lib.first, Lib.mem, Lib.exists, Lib.all, Lib.assoc, Lib.rev_assoc, Lib.assoc1, Lib.assoc2