miette
You run miette? You run her code like the software? Oh. Oh! Error code for coder! Error code for One Thousand Lines!
About
miette
is a diagnostic library for Rust. It includes a series of
traits/protocols that allow you to hook into its error reporting facilities,
and even write your own error reports! It lets you define error types that
can print out like this (or in any format you like!):
NOTE: You must enable the
"fancy"
crate feature to get fancy report output like in the screenshots above. You should only do this in your toplevel crate, as the fancy feature pulls in a number of dependencies that libraries and such might not want.
Table of Contents
Features
- Generic
Diagnostic
protocol, compatible (and dependent on)std::error::Error
. - Unique error codes on every
Diagnostic
. - Custom links to get more details on error codes.
- Super handy derive macro for defining diagnostic metadata.
- Replacements for
anyhow
/eyre
typesResult
,Report
and themiette!
macro for theanyhow!
/eyre!
macros. - Generic support for arbitrary
SourceCode
s for snippet data, with default support forString
s included.
The miette
crate also comes bundled with a default ReportHandler
with
the following features:
- Fancy graphical diagnostic output, using ANSI/Unicode text
- single- and multi-line highlighting support
- Screen reader/braille support, gated on
NO_COLOR
, and other heuristics. - Fully customizable graphical theming (or overriding the printers entirely).
- Cause chain printing
- Turns diagnostic codes into links in supported terminals.
Installing
If you want to use the fancy printer in all these screenshots:
Example
/*
You can derive a `Diagnostic` from any `std::error::Error` type.
`thiserror` is a great way to define them, and plays nicely with `miette`!
*/
use ;
use Error;
/*
Now let's define a function!
Use this `Result` type (or its expanded version) as the return type
throughout your app (but NOT your libraries! Those should always return
concrete types!).
*/
use ;
/*
Now to get everything printed nicely, just return a `Result<()>`
and you're all set!
Note: You can swap out the default reporter for a custom one using
`miette::set_hook()`
*/
And this is the output you'll get if you run this program:
Using
... in libraries
miette
is fully compatible with library usage. Consumers who don't know
about, or don't want, miette
features can safely use its error types as
regular std::error::Error
.
We highly recommend using something like thiserror
to define unique error types and error wrappers for your library.
While miette
integrates smoothly with thiserror
, it is not required.
If you don't want to use the Diagnostic
derive macro, you can implement
the trait directly, just like with std::error::Error
.
// lib/error.rs
use ;
use Error;
Then, return this error type from all your fallible public APIs. It's a best
practice to wrap any "external" error types in your error enum
instead of
using something like Report
in a library.
... in application code
Application code tends to work a little differently than libraries. You don't always need or care to define dedicated error wrappers for errors coming from external libraries and tools.
For this situation, miette
includes two tools: Report
and
IntoDiagnostic
. They work in tandem to make it easy to convert regular
std::error::Error
s into Diagnostic
s. Additionally, there's a
Result
type alias that you can use to be more terse.
When dealing with non-Diagnostic
types, you'll want to
.into_diagnostic()
them:
// my_app/lib/my_internal_file.rs
use ;
use Version;
miette
also includes an anyhow
/eyre
-style Context
/WrapErr
traits
that you can import to add ad-hoc context messages to your Diagnostic
s, as
well, though you'll still need to use .into_diagnostic()
to make use of
it:
// my_app/lib/my_internal_file.rs
use ;
use Version;
To construct your own simple adhoc error use the [miette!] macro:
// my_app/lib/my_internal_file.rs
use ;
use Version;
There are also similar [bail!] and [ensure!] macros.
... in main()
main()
is just like any other part of your application-internal code. Use
Result
as your return value, and it will pretty-print your diagnostics
automatically.
NOTE: You must enable the
"fancy"
crate feature to get fancy report output like in the screenshots here.** You should only do this in your toplevel crate, as the fancy feature pulls in a number of dependencies that libraries and such might not want.
use ;
use Version;
Please note: in order to get fancy diagnostic rendering with all the pretty
colors and arrows, you should install miette
with the fancy
feature
enabled:
= { = "X.Y.Z", = ["fancy"] }
Another way to display a diagnostic is by printing them using the debug formatter. This is, in fact, what returning diagnostics from main ends up doing. To do it yourself, you can write the following:
use ;
use Version;
... diagnostic code URLs
miette
supports providing a URL for individual diagnostics. This URL will
be displayed as an actual link in supported terminals, like so:
To use this, you can add a url()
sub-param to your #[diagnostic]
attribute:
use Diagnostic;
use Error;
;
Additionally, if you're developing a library and your error type is exported
from your crate's top level, you can use a special url(docsrs)
option
instead of manually constructing the URL. This will automatically create a
link to this diagnostic on docs.rs
, so folks can just go straight to your
(very high quality and detailed!) documentation on this diagnostic:
use Diagnostic;
use Error;
;
... snippets
Along with its general error handling and reporting features, miette
also
includes facilities for adding error spans/annotations/labels to your
output. This can be very useful when an error is syntax-related, but you can
even use it to print out sections of your own source code!
To achieve this, miette
defines its own lightweight SourceSpan
type.
This is a basic byte-offset and length into an associated SourceCode
and, along with the latter, gives miette
all the information it needs to
pretty-print some snippets! You can also use your own Into<SourceSpan>
types as label spans.
The easiest way to define errors like this is to use the
derive(Diagnostic)
macro:
use ;
use Error;
... help text
miette
provides two facilities for supplying help text for your errors:
The first is the #[help()]
format attribute that applies to structs or
enum variants:
use Diagnostic;
use Error;
;
The other is by programmatically supplying the help text as a field to your diagnostic:
use Diagnostic;
use Error;
let err = Foo ;
... severity level
miette
provides a way to set the severity level of a diagnostic.
use Diagnostic;
use Error;
;
... multiple related errors
miette
supports collecting multiple errors into a single diagnostic, and
printing them all together nicely.
To do so, use the #[related]
tag on any IntoIter
field in your
Diagnostic
type:
use Diagnostic;
use Error;
... delayed source code
Sometimes it makes sense to add source code to the error message later.
One option is to use with_source_code()
method for that:
use ;
use Error;
Also source code can be provided by a wrapper type. This is especially
useful in combination with related
, when multiple errors should be
emitted at the same time:
use ;
use Error;
... Diagnostic-based error sources.
When one uses the #[source]
attribute on a field, that usually comes
from thiserror
, and implements a method for
[std::error::Error::source
]. This works in many cases, but it's lossy:
if the source of the diagnostic is a diagnostic itself, the source will
simply be treated as an std::error::Error
.
While this has no effect on the existing reporters, since they don't use that information right now, APIs who might want this information will have no access to it.
If it's important for you for this information to be available to users,
you can use #[diagnostic_source]
alongside #[source]
. Not that you
will likely want to use both:
use Diagnostic;
use Error;
;
... handler options
MietteHandler
is the default handler, and is very customizable. In
most cases, you can simply use MietteHandlerOpts
to tweak its behavior
instead of falling back to your own custom handler.
Usage is like so:
set_hook
See the docs for MietteHandlerOpts
for more details on what you can
customize!
... dynamic diagnostics
If you...
- ...don't know all the possible errors upfront
- ...need to serialize/deserialize errors
then you may want to use
miette!
,diagnostic!
macros orMietteDiagnostic
directly to create diagnostic on the fly.
let source = "2 + 2 * 2 = 8".to_string;
let report = miette!.with_source_code;
println!
... syntax highlighting
miette
can be configured to highlight syntax in source code snippets.
To use the built-in highlighting functionality, you must enable the
syntect-highlighter
crate feature. When this feature is enabled, miette
will
automatically use the [syntect
] crate to highlight the #[source_code]
field of your Diagnostic
.
Syntax detection with [syntect
] is handled by checking 2 methods on the [SpanContents
] trait, in order:
language()
- Provides the name of the language as a string. For example"Rust"
will indicate Rust syntax highlighting. You can set the language of the [SpanContents
] produced by a [NamedSource
] via thewith_language
method.name()
- In the absence of an explicitly set language, the name is assumed to contain a file name or file path. The highlighter will check for a file extension at the end of the name and try to guess the syntax from that.
If you want to use a custom highlighter, you can provide a custom
implementation of the Highlighter
trait to MietteHandlerOpts
by calling the
with_syntax_highlighting
method. See the [highlighters
] module docs for more details.
... collection of labels
When the number of labels is unknown, you can use a collection of SourceSpan
(or any type convertible into SourceSpan
). For this, add the collection
parameter to label
and use any type than can be iterated over for the field.
let report: Report = MyError .into;
println!;
A collection can also be of LabeledSpan
if you want to have different text
for different labels. Labels with no text will use the one from the label
attribute
let report: Report = MyError .into;
println!;
MSRV
This crate requires rustc 1.70.0 or later.
Acknowledgements
miette
was not developed in a void. It owes enormous credit to various
other projects and their authors:
anyhow
andcolor-eyre
: these two enormously influential error handling libraries have pushed forward the experience of application-level error handling and error reporting.miette
'sReport
type is an attempt at a very very rough version of theirReport
types.thiserror
for setting the standard for library-level error definitions, and for being the inspiration behindmiette
's derive macro.rustc
and @estebank for their state-of-the-art work in compiler diagnostics.ariadne
for pushing forward how pretty these diagnostics can really look!
License
miette
is released to the Rust community under the Apache license
2.0.
It also includes code taken from eyre
,
and some from thiserror
, also
under the Apache License. Some code is taken from
ariadne
, which is MIT licensed.