Error handling that bundles exceptions with return values.
Expectedvalues can be treated like return codes or exceptions:- Use
hasValueto check for success or failure explicitly. - Use
valuedirectly to assume success and throw in case of failure.
- Use
- Error handling is deferred until the value is actually needed.
- Functions that return
Expectedvalues can be composed easily usingandThenandmap. - Usable in
@safeandnothrowcode.
expectations uses adrdox to generate its documentation. To build your own
copy, run the following command from the root of the sumtype repository:
path/to/adrdox/doc2 --genSearchIndex --genSource -o generated-docs src
import std.exception: assertThrown;
Expected!int charToDigit(char c)
{
int d = c - '0';
if (d >= 0 && d < 10) {
return expected(d);
} else {
return missing!int(
new Exception(c ~ " is not a valid digit")
);
}
}
auto goodResult = charToDigit('7');
auto badResult = charToDigit('&');
assert(goodResult.hasValue);
assert(goodResult.value == 7);
assert(!badResult.hasValue);
assertThrown(badResult.value);
assert(badResult.error.msg == "& is not a valid digit");
If you're using dub, add the expectations package to your project as a dependency.
Otherwise, you will need to add both expectations.d and its dependency
sumtype.d (from the sumtype package) to
your source directory.