|
1 | 1 | # Functional - Type-Safe Error Handling for Ada 2022 |
2 | 2 |
|
3 | | -**Version:** 1.0.0 |
4 | | -**Date:** October 25, 2025 |
5 | | -**SPDX-License-Identifier:** BSD-3-Clause |
6 | | -**License File:** See the LICENSE file in the project root. |
7 | | -**Copyright:** © 2025 Michael Gardner, A Bit of Help, Inc. |
| 3 | +**Version:** 1.0.0<br> |
| 4 | +**Date:** October 25, 2025<br> |
| 5 | +**SPDX-License-Identifier:** BSD-3-Clause<br> |
| 6 | +**License File:** See the LICENSE file in the project root.<br> |
| 7 | +**Copyright:** © 2025 Michael Gardner, A Bit of Help, Inc.<br> |
8 | 8 | **Status:** Release |
9 | 9 |
|
10 | 10 | A clean, Ada-idiomatic library providing `Result<T,E>`, `Option<T>`, and `Either<L,R>` types for functional error handling in Ada 2022. |
11 | 11 |
|
12 | 12 | ## Features |
13 | 13 |
|
14 | | -✅ **Result<T,E>** - Type-safe error handling (17 operations) |
15 | | -✅ **Option<T>** - Optional values (11 operations) |
16 | | -✅ **Either<L,R>** - Disjoint union type (8 operations) |
17 | | -✅ **Try.To_Result** - Convert exceptions to Result |
18 | | -✅ **Try.To_Option** - Convert exceptions to Option |
19 | | -✅ **Pure packages** - No side effects, compile-time guarantees |
20 | | -✅ **Zero dependencies** - Just Ada 2022 standard library |
21 | | -✅ **Production ready** - Comprehensive compiler checks and style enforcement |
| 14 | +- ✅ **Result<T,E>** - Type-safe error handling (17 operations) |
| 15 | +- ✅ **Option<T>** - Optional values (11 operations) |
| 16 | +- ✅ **Either<L,R>** - Disjoint union type (8 operations) |
| 17 | +- ✅ **Try.To_Result** - Convert exceptions to Result |
| 18 | +- ✅ **Try.To_Option** - Convert exceptions to Option |
| 19 | +- ✅ **Pure packages** - No side effects, compile-time guarantees |
| 20 | +- ✅ **Zero dependencies** - Just Ada 2022 standard library |
| 21 | +- ✅ **Production ready** - Comprehensive compiler checks and style enforcement |
22 | 22 |
|
23 | 23 | ## Installation |
24 | 24 |
|
|
0 commit comments