Add new `AsyncOption` APIs and document all its other functions; minor fixes to documentation for `Option` module#307

Merged

TheAngryByrd merged 2 commits intodemystifyfp:masterfrom

tw0po1nt:asyncoption-orelse-orelsewith

Feb 4, 2025

Commits on Feb 4, 2025

Add AsyncOption.orElse and orElseWith; add entries for Option.traverseAsync and sequenceAsync to SUMMARY.md; add documentation for the rest of the functions in module
tw0po1nt
committed
Cleanup typos in type signatures in documentation
tw0po1nt
committed