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

rename classes to instances

Browse Source
This commit is contained in:
AF 2023-05-23 13:28:24 +00:00
parent 80aa72c60e
commit f1dd33d61f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,10 +1,10 @@
# Fail Semantics
## Lack of proper support for injecting errors into classes that are already `Fail`
* Classes have only one implementation of `Fail` per error type.
## Lack of proper support for injecting errors into instances that are already `Fail`
* Instances have only one implementation of `Fail` per error type.
* Proposed solutions:
* Have `Fail` as a separate trait with the error and the class as associated types.
* `OverloadClass` to mix-in additional `Fail`.
* Have `Fail` as a separate trait with the error and the instances as associated types.
* `OverloadInstance` to mix-in additional `Fail`.
## ~~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.~~