You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It should be equal precedence to the |> pipeline operator, such that it can be used after a pipeline. The two above formattings are the only legal formattings.
If a pure handler is used with the new ?? "Result.withDefault" operator, we should raise a warning that the error mapping is unnecessary, since it will always be discarded by ??.
The text was updated successfully, but these errors were encountered:
We want to add a new operator ?? that acts as a
Result.withDefault
equivalent. Some example usages:It should be equal precedence to the
|>
pipeline operator, such that it can be used after a pipeline. The two above formattings are the only legal formattings.If a pure handler is used with the new ?? "Result.withDefault" operator, we should raise a warning that the error mapping is unnecessary, since it will always be discarded by ??.
The text was updated successfully, but these errors were encountered: