parallel_find : ... -> (unit -> 'a option) -> 'a option

[gasche]

This is proposed as a solution for #89.

[gasche]

The CI failures comes from my use of Domain.recommended_domain_count () in my test. The CI uses 5.0~alpha, and I guess this function was not available then? Updating the CI to the recent beta release should fix the issue. (I could also fix the domain number.) In the meantime I think it should be possible to review the code anyway -- the test does pass on my machine.

[Sudha247]

Thanks! parallel_find is certainly useful to have. The code looks good to me, and the docs capture the expected behaviour well.

You're right about the CI, updating to beta should fix the failure -- I was planning on doing it soon, that shouldn't block this PR.

[Sudha247]

I propose we merge this and #91 before #92 is worked on, if there are no objections.

[ElectreAAS]

As a user of domainslib (who doesn't know anything about the internals and has no opinion on #91 & #92), I can attest that this is a wanted feature!

[Sudha247]

Thanks for sharing @ElectreAAS. While we may want to add a full fledged cancellation mechanism (for e.g. like the one in Eio) at a later point, this is a useful feature to have at present. The CI failure looks unrelated, and the branch works fine on my local setup. Merging.