Skip to content

add Result.withDefault Result.mapError simplification#474

Merged
jfmengels merged 1 commit intojfmengels:mainfrom
morteako:add-result-maperrr-withdefault
Mar 13, 2026
Merged

add Result.withDefault Result.mapError simplification#474
jfmengels merged 1 commit intojfmengels:mainfrom
morteako:add-result-maperrr-withdefault

Conversation

@morteako
Copy link
Copy Markdown
Contributor

Result.withDefault x (Result.mapError f result)
--> Result.withDefault x result

Copy link
Copy Markdown
Collaborator

@lue-bird lue-bird left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

perfect :)

@lue-bird lue-bird added the enhancement New feature or request label Mar 13, 2026
@jfmengels jfmengels merged commit dccbdd5 into jfmengels:main Mar 13, 2026
2 checks passed
@jfmengels
Copy link
Copy Markdown
Owner

Agreed, this is great! Thank you very much @morteako 🙏

For future PRs, feel free to ignore committing docs.json, that makes commits less noisy and also avoids Git conflicts.

If you're interested in continuing on adding Result simplifications, there's a few proposals in #287 (some may have been done already, I haven't checked yet). Obviously, no pressure, just a nudge 😁

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants