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
.