Bind composite errors

[edodo1337]

I have made things!

Checklist

• I have double checked that there are no unrelated changes in this pull request (old patches, accidental config files, etc)
• I have created at least one test case for the changes I have made
• I have updated the documentation for the changes I have made
• I have added my changes to the CHANGELOG.md

Related issues

This pull request fixes the issue of error types not composing in chains by using Union, improving clarity and type safety. However, Any can still appear in some cases. Setting Success and Failure to use _Nothing or NoReturn instead of Any helps with type inference but breaks many existing tests. I’m not an expert in type theory, but personally, I’d find it very useful to see fully composed error types without Any

[sobolevn]

I am not sure about this feature :)

As I told you in the chat.
But, anyway - thanks a lot for working on it!

Do you see any alternatives?

[sobolevn]

The problem with this approach is that it works with Exception subtypes, but it does not work if you have Result[int, int] and Result[int, str]

How would you compose these two objects? Result[int, int | str] might not make any sense.

[edodo1337]

How would you compose these two objects? Result[int, int | str] might not make any sense.

Thank you for the review! I see your point, but isn’t int | str better than dealing with Any? At least with int | str, we can use pattern matching to handle each case explicitly.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 100.00%. Comparing base (82ef3ef) to head (4648079).
Report is 176 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##            master     #1975    +/-   ##
==========================================
  Coverage   100.00%   100.00%            
==========================================
  Files           80        81     +1     
  Lines         2485      2601   +116     
  Branches       437        44   -393     
==========================================
+ Hits          2485      2601   +116     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[sobolevn]

Ok, I tested this out. Right now I kinda agree that this makes a lot of inference better.

But, in case we are adopting it - we need to make sure that all ResultLike behave the same way. Can you please address this?

[edodo1337]

@sobolevn Added similar behavior for ResultLike: IOResult, FutureResult, RequiresContextResult, and RequiresContextIOResult as requested. Let me know if I got everything right or missed something.

[sobolevn]

The CI is failing, please take a look.

[edodo1337]

There was a linting issue, it should be fine now.

[sobolevn]

Please, don't forget about interfaces.