tryfind : ('a -> 'b) -> 'a list -> 'b
- SYNOPSIS
-
Returns the result of the first successful application of a function to the
elements of a list.
- DESCRIPTION
-
tryfind f [x1;...;xn] returns (f xi) for the first xi in the list for
which application of f succeeds.
- FAILURE CONDITIONS
-
Fails with tryfind if the application of the function fails for all elements
in the list. This will always be the case if the list is empty.
- SEE ALSO
-
find, mem, exists, forall, assoc, rev_assoc.