PTV/book-monads
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ApplicativeSelect

Browse Source
This commit is contained in:
AF 2023-05-22 10:11:37 +00:00
parent 5848712189
commit 80aa72c60e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/ch04/s05-fail.md
View File

@ -9,4 +9,5 @@
## ~~Lack of support for strict ordering of errors~~
* ~~Current (possible) implementations of having one error or another either allow short-circuiting on only one of them, or give them both the same priority. **Right now this model is considered the main one**, i.e. this restriction may get stabilised and standardised at some point.~~
* ~~More complex behaviours are expected to require a more complex execution model, with states taking messages from other states and optionally dropping their own execution, if their result\['s error\] is guaranteed to be "less severe" than the error it receives.~~
* Solution: `Fallible::W<E0>::F<Fallible::W<E1>::A>`
* Solution: `Fallible::W<E0>::F<Fallible::W<E1>::A>`.
* Another solution: native select-based approach, `ApplicativeSelect`.