io7m
|
single-page
|
multi-page
| archive (
zip
,
signature
)
3. Closing thoughts
Lightweight static exceptions
Previous
Up
4
Lists
1
2.1.1. Result
2.2.1. Procedure
2.2.2. Success and failure
2.2.3. Execution
2.2.4. Combining computations
2.2.5. Combine notation
2.2.6. Order
2.3.1. Simple ordering
2.3.2. Failure type equality
2.3.3. Failure type inequality
2.3.4. Catching exceptions
2.3.5. Ignoring errors
2.3.6. Modules
2.3.7. Error type
2.3.8. Error functions
2.3.9. Error functions
Previous
Up
3. Closing thoughts
Lightweight static exceptions