Add requireSomeWith and requireNoneWith for lazy error evaluation

[Copilot]

• Add requireSomeWith and requireNoneWith to Result.fs
• Add requireSomeWith and requireNoneWith to AsyncResult.fs
• Add requireSomeWith and requireNoneWith to TaskResult.fs
• Add requireSomeWith and requireNoneWith to JobResult.fs (JobResult project)
• Add tests for all four modules
• Add gitbook documentation in result/requireFunctions.md
• Add gitbook documentation in asyncResult/others.md
• Add gitbook documentation in taskResult/others.md
• Add gitbook documentation in jobResult/others.md

Original prompt

---

This section details on the original issue you should resolve

<issue_title>helper to convert option to result with transform</issue_title>
<issue_description>I may have overlooked a helper in either this or the standard library, but I end up finding this function useful, similar to requireSome but where the fallback is evaluated on demand.

let fromOption f = (unit -> 'a) -> option<'b> -> Result<'b,'a> 
      function
      | Some value -> Ok value
      | None -> Error(f ())

Is there an equivalent or would it make sense to add perhaps Result.requireSomeWith?</issue_description>

Comments on the Issue (you are @copilot in this section)

@TheAngryByrd Agreed! Seem like a good PR to have:

• Add requireSomeWith and requireNoneWith
• Add to Result, AsyncResult, TaskResult, JobResult
• Add corresponding tests</comment_new>

• Fixes helper to convert option to result with transform #301

---

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

[TheAngryByrd]

@copilot add or update gitbook documentation

[Copilot]

@copilot add or update gitbook documentation

Done in a39b1da. Added requireSomeWith and requireNoneWith entries to:

• gitbook/result/requireFunctions.md
• gitbook/asyncResult/others.md
• gitbook/taskResult/others.md
• gitbook/jobResult/others.md

[Copilot]

Pull request overview

This PR adds lazy evaluation variants requireSomeWith and requireNoneWith to defer error construction until it's actually needed, providing performance benefits when error messages are expensive to compute.

Changes:

• Added requireSomeWith and requireNoneWith functions to Result, AsyncResult, TaskResult, and JobResult modules with [<InlineIfLambda>] for zero-cost abstraction
• Added comprehensive test coverage for all implementations covering happy path and error path scenarios

Reviewed changes

Copilot reviewed 12 out of 12 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
src/FsToolkit.ErrorHandling/Result.fs	Core implementation with XML documentation for requireSomeWith and requireNoneWith functions
src/FsToolkit.ErrorHandling/AsyncResult.fs	Async wrapper delegating to Result module implementations
src/FsToolkit.ErrorHandling/TaskResult.fs	Task wrapper delegating to Result module implementations
src/FsToolkit.ErrorHandling.JobResult/JobResult.fs	Job wrapper delegating to Result module implementations
tests/FsToolkit.ErrorHandling.Tests/Result.fs	Test coverage for Result module with happy/error path tests and integration into test suite
tests/FsToolkit.ErrorHandling.Tests/AsyncResult.fs	Test coverage for AsyncResult module with async test cases and integration
tests/FsToolkit.ErrorHandling.Tests/TaskResult.fs	Test coverage for TaskResult module with task test cases and integration
tests/FsToolkit.ErrorHandling.JobResult.Tests/JobResult.fs	Test coverage for JobResult module with proper [<Tests>] attributes and integration