Error Set simplifies error management by providing a streamlined method for defining errors and easily converting between them.
Error Set is inspired by Zig's error set, and offers similar functionality.
Instead of defining various enums/structs for errors and hand rolling relations, use an error set:
use error_set::error_set;
error_set! {
/// The syntax below aggregates the referenced error variants.
/// Notice `:=`. This symbol comes from mathematics and means "is defined as".
MediaError := DownloadError || BookParsingError
/// Since all variants in [DownloadError] are in [MediaError], a
/// [DownloadError] can be turned into a [MediaError] with just `.into()` or `?`.
DownloadError := {
#[display("Easily add custom display messages")]
InvalidUrl,
/// The `From` trait for `std::io::Error` will also be automatically derived
#[display("Display messages work just like the `format!` macro {0}")]
IoError(std::io::Error),
}
/// Traits like `Debug`, `Display`, `Error`, and `From` are all automatically derived
#[derive(Clone)]
BookParsingError := { MissingBookDescription, } || BookSectionParsingError
BookSectionParsingError := {
/// Inline structs are also supported
#[display("Display messages can also reference fields, like {field}")]
MissingField {
field: String
},
NoContent,
}
}Cargo Expand
#[doc = " The syntax below aggregates the referenced error variants."]
#[doc = " Notice `:=`. This symbol comes from mathematics and means \"is defined as\"."]
#[derive(Debug)]
pub enum MediaError {
InvalidUrl, #[doc = " The `From` trait for `std::io::Error` will also be automatically derived"]
IoError(std::io::Error),MissingBookDescription, #[doc = " Inline structs are also supported"]
MissingField {
field:String
},NoContent,
}
#[allow(unused_qualifications)]
impl core::error::Error for MediaError {
fn source(&self) -> Option< &(dyn core::error::Error+'static)>{
match self {
MediaError::IoError(source) => source.source(),
#[allow(unreachable_patterns)]
_ => None,
}
}
}
impl core::fmt::Display for MediaError {
#[inline]
fn fmt(&self,f: &mut core::fmt::Formatter) -> core::fmt::Result {
match& *self {
MediaError::InvalidUrl => write!(f,"{}","Easily add custom display messages"),
MediaError::IoError(source) => write!(f,"Display messages work just like the `format!` macro {0}",source),
MediaError::MissingBookDescription => write!(f,"{}",concat!(stringify!(MediaError),"::",stringify!(MissingBookDescription))),
MediaError::MissingField {
field
} => write!(f,"Display messages can also reference fields, like {field}"),
MediaError::NoContent => write!(f,"{}",concat!(stringify!(MediaError),"::",stringify!(NoContent))),
}
}
}
impl From<DownloadError>for MediaError {
fn from(error:DownloadError) -> Self {
match error {
DownloadError::InvalidUrl => MediaError::InvalidUrl,
DownloadError::IoError(source) => MediaError::IoError(source),
}
}
}
impl From<BookParsingError>for MediaError {
fn from(error:BookParsingError) -> Self {
match error {
BookParsingError::MissingBookDescription => MediaError::MissingBookDescription,
BookParsingError::MissingField {
field
} => MediaError::MissingField {
field
},
BookParsingError::NoContent => MediaError::NoContent,
}
}
}
impl From<BookSectionParsingError>for MediaError {
fn from(error:BookSectionParsingError) -> Self {
match error {
BookSectionParsingError::MissingField {
field
} => MediaError::MissingField {
field
},
BookSectionParsingError::NoContent => MediaError::NoContent,
}
}
}
impl From<std::io::Error>for MediaError {
fn from(error:std::io::Error) -> Self {
MediaError::IoError(error)
}
}
#[doc = " Since all variants in [DownloadError] are in [MediaError], a"]
#[doc = " [DownloadError] can be turned into a [MediaError] with just `.into()` or `?`."]
#[derive(Debug)]
pub enum DownloadError {
InvalidUrl, #[doc = " The `From` trait for `std::io::Error` will also be automatically derived"]
IoError(std::io::Error),
}
#[allow(unused_qualifications)]
impl core::error::Error for DownloadError {
fn source(&self) -> Option< &(dyn core::error::Error+'static)>{
match self {
DownloadError::IoError(source) => source.source(),
#[allow(unreachable_patterns)]
_ => None,
}
}
}
impl core::fmt::Display for DownloadError {
#[inline]
fn fmt(&self,f: &mut core::fmt::Formatter) -> core::fmt::Result {
match& *self {
DownloadError::InvalidUrl => write!(f,"{}","Easily add custom display messages"),
DownloadError::IoError(source) => write!(f,"Display messages work just like the `format!` macro {0}",source),
}
}
}
impl From<std::io::Error>for DownloadError {
fn from(error:std::io::Error) -> Self {
DownloadError::IoError(error)
}
}
#[doc = " Traits like `Debug`, `Display`, `Error`, and `From` are all automatically derived"]
#[derive(Clone)]
#[derive(Debug)]
pub enum BookParsingError {
MissingBookDescription, #[doc = " Inline structs are also supported"]
MissingField {
field:String
},NoContent,
}
#[allow(unused_qualifications)]
impl core::error::Error for BookParsingError{}
impl core::fmt::Display for BookParsingError {
#[inline]
fn fmt(&self,f: &mut core::fmt::Formatter) -> core::fmt::Result {
match& *self {
BookParsingError::MissingBookDescription => write!(f,"{}",concat!(stringify!(BookParsingError),"::",stringify!(MissingBookDescription))),
BookParsingError::MissingField {
field
} => write!(f,"Display messages can also reference fields, like {field}"),
BookParsingError::NoContent => write!(f,"{}",concat!(stringify!(BookParsingError),"::",stringify!(NoContent))),
}
}
}
impl From<BookSectionParsingError>for BookParsingError {
fn from(error:BookSectionParsingError) -> Self {
match error {
BookSectionParsingError::MissingField {
field
} => BookParsingError::MissingField {
field
},
BookSectionParsingError::NoContent => BookParsingError::NoContent,
}
}
}
#[derive(Debug)]
pub enum BookSectionParsingError {
#[doc = " Inline structs are also supported"]
MissingField {
field:String
},NoContent,
}
#[allow(unused_qualifications)]
impl core::error::Error for BookSectionParsingError{}
impl core::fmt::Display for BookSectionParsingError {
#[inline]
fn fmt(&self,f: &mut core::fmt::Formatter) -> core::fmt::Result {
match& *self {
BookSectionParsingError::MissingField {
field
} => write!(f,"Display messages can also reference fields, like {field}"),
BookSectionParsingError::NoContent => write!(f,"{}",concat!(stringify!(BookSectionParsingError),"::",stringify!(NoContent))),
}
}
}The above error set can also be written as the full expansion (without the || operator).
Full Expansion Representation
*Comments and messages removed for brevity*
error_set::error_set! {
MediaError := {
InvalidUrl,
IoError(std::io::Error),
MissingBookDescription,
MissingField {
field: String
},
NoContent,
}
DownloadError := {
InvalidUrl,
IoError(std::io::Error),
}
BookParsingError := {
MissingBookDescription,
MissingField {
field: String
},
NoContent,
}
BookSectionParsingError := {
MissingField {
field: String
},
NoContent,
}
}Any above subset can be converted into a superset with .into() or ?.
This makes correctly scoping and passing up call chains a breeze.
Basic Example
use error_set::{error_set, CoerceResult};
error_set! {
MediaError := DownloadError || BookParsingError
DownloadError := {
InvalidUrl,
IoError(std::io::Error),
}
BookParsingError := { MissingBookDescription, } || BookSectionParsingError
BookSectionParsingError := {
MissingField {
field: String
},
NoContent,
}
}
fn main() {
let book_section_parsing_error: BookSectionParsingError =
BookSectionParsingError::MissingField {
field: "author".to_string(),
};
let book_parsing_error: BookParsingError = book_section_parsing_error.into();
assert!(matches!(
book_parsing_error,
BookParsingError::MissingField { field: _ }
));
let media_error: MediaError = book_parsing_error.into();
assert!(matches!(media_error, MediaError::MissingField { field: _ }));
let io_error = std::io::Error::new(std::io::ErrorKind::OutOfMemory, "oops out of memory");
let result_download_error: Result<(), DownloadError> = Err(io_error).coerce(); // == .map_err(Into::into);
let result_media_error: Result<(), MediaError> = result_download_error.map_err(Into::into);
assert!(matches!(result_media_error, Err(MediaError::IoError(_))));
}The typical project approach is to have one errors.rs file with a single error_set. This keeps
all the errors in one place and allows your IDE to autocomplete crate::errors:: with of all errors.
But error_set! can also be used for quick errors "unions", no longer requiring users to
handwrite From<..> or use .map_err(..) for these simple cases.
e.g.
use std::collections::HashMap;
use jsonwebtoken::DecodingKey;
error_set::error_set! {
JwtVerifierCreationError := {
Reqwest(reqwest::Error),
Jwt(jsonwebtoken::errors::Error),
}
}
impl JwtVerifier {
pub async fn new(project_id: String) -> Result<Self, JwtVerifierCreationError> {
let public_keys = Self::fetch_public_keys().await?; // Err is `reqwest::Error`
let decoding_keys = public_keys
.into_iter()
.map(|(key, value)| {
DecodingKey::from_rsa_pem(value.as_bytes()).map(|decoding_key| (key, decoding_key))
})
.collect::<Result<HashMap<String, DecodingKey>,jsonwebtoken::errors::Error>>()?; // Err is `jsonwebtoken::errors::Error`
unimplemented!()
}
async fn fetch_public_keys() -> Result<HashMap<String, String>, reqwest::Error> {
unimplemented!()
}
}
struct JwtVerifier;Error sets that have source variants (aka wrapped variants), will delegate the Error trait's source() method to the
correct source branch's wrapped error. From traits are also automatically generated from the
inner type to the Error enum.
Source tuple variants are the most common source variant. Declared like
error_set::error_set! {
ErrorEnum := {
IoError(std::io::Error),
FmtError(std::fmt::Error),
}
}Which has the generated enum
pub enum ErrorEnum {
IoError(std::io::Error),
FmtError(std::fmt::Error),
}Source struct variants are also supported, declared like so
error_set::error_set! {
ErrorEnum := {
IoError(std::io::Error) {} // Note the `{}`
}
}Which has the generated enum
pub enum ErrorEnum {
IoError {
source: std::io::Error,
}
}Source structs become useful when you want to attach additional fields to an error
error_set::error_set! {
ErrorEnum := {
IoError(std::io::Error) {
field1: String,
field2: &'static str,
}
}
}Which has the generated enum
pub enum ErrorEnum {
IoError {
source: std::io::Error,
field1: String,
field2: &'static str,
}
}A From implementation for the inner source is not automatically generated for source struct variants that have fields,
like above.
Error sets can have multiple source variants of the same type. e.g.
error_set::error_set! {
ErrorEnum3 := {
IoError1(std::io::Error),
IoError2(std::io::Error),
}
}But a From implementation will not be automatically generated for these cases.
Error set uses || (or) for aggregation, which performs an "or" operation on the set space.
Note, || is not needed, just a convenience -
error_set::error_set! {
ErrorEnum1 := {
Variant1,
Variant2
} || ErrorEnum2
ErrorEnum2 := {
Variant3
}
}is equivalent to
error_set::error_set! {
ErrorEnum1 := {
Variant1,
Variant2,
Variant3,
}
ErrorEnum2 := {
Variant3
}
}For one type to be converted into another it needs to be considered a subset of the target type.
Thus in the example above, ErrorEnum2 can be converted into ErrorEnum1 with .into() or ?.
The #[display(...)] attribute provides a custom display message for variant.
If a custom display is not provided for a wrapped error type like IoError(std::io::Error), it will directly
delegate its display to the inner type (std::io::Error). If it is desired to prevent this, provide a custom
display message, like in the below example, or add #[display(opaque)]. The default display for other
variant types is ErrorName::VariantName.
error_set::error_set! {
AuthError := {
#[display("User `{name}` with role `{role}` does not exist")] // Shorthand for `#[display("User `{}` with role `{}` does not exist", name, role)]`
UserDoesNotExist {
name: String,
role: u32,
},
#[display("The provided credentials are invalid")]
InvalidCredentials
}
LoginError := {
#[display("Io Error: {0}")] // Shorthand for `#[display("Io Error: {}", source)]`
IoError(std::io::Error),
} || AuthError
}Usage
error_set::error_set! {
AuthError := {
#[display("User `{name}` with role `{role}` does not exist")] // Shorthand for `#[display("User `{}` with role `{}` does not exist", name, role)]`
UserDoesNotExist {
name: String,
role: u32,
},
#[display("The provided credentials are invalid")]
InvalidCredentials
}
LoginError := {
#[display("Io Error: {0}")] // Shorthand for `#[display("Io Error: {}", source)]`
IoError(std::io::Error),
} || AuthError
}
fn main() {
let x: AuthError = AuthError::UserDoesNotExist {
name: "john".to_string(),
role: 30,
};
assert_eq!(x.to_string(), "User `john` with role `30` does not exist".to_string());
let y: LoginError = x.into();
assert_eq!(y.to_string(), "User `john` with role `30` does not exist".to_string());
let x = AuthError::InvalidCredentials;
assert_eq!(x.to_string(), "The provided credentials are invalid".to_string());
}Redeclaring the same variant in a different set and changing the display message, does not affect the conversion between sets.
error_set auto-implements From, Display, Debug, and Error for a set. If it is ever desired to disable this. Add #[skip(..)] to the set. e.g.
use std::fmt::{Display, Debug};
error_set::error_set! {
#[skip(Display,Debug)]
X := {
A,
}
}
impl Display for X {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
write!(f, "X")
}
}
impl Debug for X {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
write!(f, "X")
}
}From also accepts arguments to only disable certain From implementations. e.g.
error_set::error_set! {
U := {
IoError(std::io::Error),
}
V := {
FmtError(std::fmt::Error),
IoError(std::io::Error),
}
#[skip(From(std::io::Error, U))]
W := V || U
}error_set supports generics. e.g.
use std::fmt::Debug;
error_set::error_set! {
X<G: Debug> := {
A {
a: G
}
}
Y<H: Debug> := {
B {
b: H
}
}
Z<T: Debug> := X<T> || Y<T>
}In Z<T: Debug> := X<T> || Y<T> T will replace G in X - X<T: Debug>. Thus this statement is the
same as writing
use std::fmt::Debug;
error_set::error_set! {
// ...
Z<T: Debug> := {
A {
a: T
},
B {
b: T
}
}
}From implementations are automatically generated for boxed sources.
error_set::error_set! {
Error := {
Variant(Box<std::io::Error>)
}
}Generated Code
#[derive(Debug)]
pub enum Error {
Variant(Box<std::io::Error>),
}
#[allow(unused_qualifications)]
impl core::error::Error for Error {
fn source(&self) -> Option< &(dyn core::error::Error+'static)>{
match self {
Error::Variant(source) => source.source(),
#[allow(unreachable_patterns)]
_ => None,
}
}
}
impl core::fmt::Display for Error {
#[inline]
fn fmt(&self,f: &mut core::fmt::Formatter) -> core::fmt::Result {
match& *self {
Error::Variant(source) => write!(f,"{}",source),
}
}
}
impl From<Box<std::io::Error> >for Error {
fn from(error:Box<std::io::Error>) -> Self {
Error::Variant(error)
}
}
impl From<std::io::Error>for Error {
fn from(error:std::io::Error) -> Self {
Error::Variant(Box::new(error))
}
}The error variant shorthand syntax exists for quickly writing wrapped error enum variants.
use std::io;
error_set::error_set! {
Error := {
(io::Error), // The source type here is used to determine the enum variant name.
// IoError(io::Error), // This is equivalent to the above syntax. No variant name needed.
}
}Error structs are also supported
error_set::error_set! {
#[display("This is the display message for the struct. field value {field}")]
struct ErrorStruct {
source: std::io::Error, // reserved field name for structs derived from a source.
field: String,
}
}Generated Code
#[derive(Debug)]
pub struct ErrorStruct {
source:std::io::Error,field:String,
}
#[allow(unused_qualifications)]
impl core::error::Error for ErrorStruct {
fn source(&self) -> Option< &(dyn core::error::Error+'static)>{
Some(&self.source)
}
}
impl core::fmt::Display for ErrorStruct {
#[allow(unused_qualifications)]
#[inline]
fn fmt(&self,f: &mut core::fmt::Formatter) -> core::fmt::Result {
let ErrorStruct {
source,field
} = &self;
write!(f,"This is the display message for the struct. field value {field}")
}
}Note: An error set can also be represented with the
enumprefix.error_set::error_set! { enum ErrorEnum := { Variant1, Variant2, } }
By default all structs and enums are
pub
Sometimes it is helpful to have more context around one's errors than the information contained by that error. error_set recommends using one of the following crates to capture this context.
err_trail is a great way to handle context of errors as they propagate through the callstack in a eros/anyhow like way using logging. See the link for more info.
eros is another great way to handle context as errors propagate through the callstack and capture Backtrace with TracedError.
use eros::{Context, IntoTraced, TracedError};
use error_set::error_set;
error_set! {
OurError := {
IoError(std::io::Error),
}
AnotherError := {
AnotherErrorVariant,
} || OurError
}
fn raw_error_result() -> Result<(), std::io::Error> {
Err(std::io::Error::new(
std::io::ErrorKind::Other,
"this is a raw io error",
))
}
// `eros::Result<(), std::io::Error>` === `Result<(), TracedError<std::io::Error>>` === `Result<(), TE<std::io::Error>>`
fn traced_error_result() -> eros::Result<(), std::io::Error> {
raw_error_result()
// One can wrap the error type with a `TracedError` (aka `TE`) type here.
// A `Backtrace` may be captured here on `TracedError` creation if enabled.
.into_traced()
// Context can be added as the error propagates the callstack
.context("Here is some context")
}
fn traced_our_error_enum_result1() -> eros::Result<(), OurError> {
let _ = traced_error_result()
// `Result<(),TracedError<std::io::Error>>` -> `Result<(),TracedError<OurError>>`
.into_traced()
.context("More context")?;
let _ = raw_error_result()
// `Result<(),std::io::Error>` -> `Result<(),TracedError<OurError>>`
.into_traced()
.context("Different context")?;
Ok(())
}
fn traced_our_error_enum_result2() -> eros::Result<(), AnotherError> {
let _ = traced_our_error_enum_result1()
// `Result<(),TracedError<OurError>>` -> `Result<(),TracedError<AnotherError>>`
.into_traced()?;
Ok(())
}
fn main() {
let error: TracedError<AnotherError> = traced_our_error_enum_result2().unwrap_err();
assert!(matches!(error.inner(), AnotherError::IoError(_)));
println!("{:?}", error)
}Output
this is a raw io error
Context:
- Here is some context
- More context
Backtrace:
0: eros::generic_error::TracedError<T>::new
at /usr/local/cargo/registry/src/index.crates.io-1949cf8c6b5b557f/eros-0.3.0/src/generic_error.rs:49:24
1: <E1 as eros::generic_error::IntoTraced<eros::generic_error::TracedError<E2>>>::into_traced
at /usr/local/cargo/registry/src/index.crates.io-1949cf8c6b5b557f/eros-0.3.0/src/generic_error.rs:369:9
2: <core::result::Result<S,E1> as eros::generic_error::IntoTraced<core::result::Result<S,eros::generic_error::TracedError<E2>>>>::into_traced::{{closure}}
at /usr/local/cargo/registry/src/index.crates.io-1949cf8c6b5b557f/eros-0.3.0/src/generic_error.rs:379:28
3: core::result::Result<T,E>::map_err
at /usr/local/rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/result.rs:914:27
4: <core::result::Result<S,E1> as eros::generic_error::IntoTraced<core::result::Result<S,eros::generic_error::TracedError<E2>>>>::into_traced
at /usr/local/cargo/registry/src/index.crates.io-1949cf8c6b5b557f/eros-0.3.0/src/generic_error.rs:379:14
5: mod::traced_error::traced_error_result
at ./tests/mod.rs:1075:28
6: mod::traced_error::traced_our_error_enum_result1
at ./tests/mod.rs:1079:17
7: mod::traced_error::traced_our_error_enum_result2
at ./tests/mod.rs:1085:17
8: mod::traced_error::test
at ./tests/mod.rs:1091:21
9: mod::traced_error::test::{{closure}}
at ./tests/mod.rs:1090:14
...If one does not need the "context" or "backtrace" functionality provided by
eros, either feature flag can be disabled.
One should not use eros like so
use eros::TracedError;
use error_set::error_set;
error_set! {
OurError := {
IoError(TracedError<std::io::Error>), // Nested
}
AnotherError := {
AnotherErrorVariant,
} || OurError
}Since one would lose tracing operations on OurError and AnotherError.
error_set is a unique approach with some of the same features of thiserror and anyhow, while solving a few more problems
common to Rust developers.
Like thiserror, error_set allows you define errors, their display messages, and conversions between errors. However error_set
is more maintainable and approximately 50% more concise:
example
// thiserror
#[derive(Error)]
enum Error1 {
a,
b,
}
#[derive(Error)]
enum Error2 {
c,
d,
}
#[derive(Error)]
enum Error3 {
Error1(#[from] Error1),
Error2(#[from] Error2),
}
// error_set
error_set! {
Error1 := {
a,
b
}
Error2 := {
c,
d
}
Error3 := Error1 || Error2
// `Error3` above is equivalent to writing
// ```
// Error3 = {
// a,
// b,
// c,
// d
// };
// ```
}With error_set there is no need to maintain a web of nested wrapped enums (with #[from]), since there is no nesting, and all the From implementations are automatically generated if one error type is a subset of another.
Like anyhow, error_set remains open to capturing the context around errors. To accomplish this, it uses the help of err_trail or eros crate. See the respective READMEs for more info. However, if your project doesn't require handling specific error types and you just need to propagate errors up the call stack, then anyhow or eros is likely a good choice for you. It's straightforward and skips the need to define error types altogether.
For libraries and general projects that require precise error handling and differentiation, error management can often become complex and unwieldy
as projects grow. This may even result in "mega enums". error_set can help here where others can't.
A mega enum, or mega error enum, is an enumeration that consolidates various error types into one large enum, whereas the code would be more precise if split into multiple enums. These often arise due to refactors or developers opting for less intrusive programming approach. This method can lead to inefficiencies and confusion because it includes error variants that are not relevant in certain scopes.
Consider the following functions and their respective error types:
func1can produce errorsaandb, represented byenum1.func2can produce errorscandd, represented byenum2.func3calls bothfunc1andfunc2.
If func3 does not handle the errors from func1 and func2, it must return an error enum that encompasses variants a, b, c, and d. Without a tool like error_set, developers might skip defining enum1 and enum2 due to the complexity and instead create a mega enum with all possible error variants (a, b, c, d). This means that any caller of func1 or func2 would have to handle all these cases, even those that are not possible in that specific context. error_set being so concise and simple, developers actually want to scope their errors to the correct context and join them when needed with a simple || operation. No need to ever think about a web of nested wrapped error types.
error_set allows you to define errors quickly and precisely. Correctly scoping errors is easy and no wrapping of
various error enum types is necessary. Conversions/Propagation up the stack are as simple as .into() or ?.
error_set also makes display messages and tracking context easy.
By using error_set, your project can maintain clear and precise error definitions, enhancing code readability and maintainability without the tedious process of manually defining and managing error relations.
This crate supports #![no_std].