blob: f0be45cf72c1c5a5c86ea49a9cbf167cba770f26 [file] [log] [blame]
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="A macro which makes errors easy to write"><meta name="keywords" content="rust, rustlang, rust-lang, quick_error"><title>quick_error - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../SourceSerif4-Regular.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../FiraSans-Regular.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../FiraSans-Medium.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../SourceCodePro-Regular.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../SourceSerif4-Bold.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../SourceCodePro-Semibold.ttf.woff2"><link rel="stylesheet" href="../normalize.css"><link rel="stylesheet" href="../rustdoc.css" id="mainThemeStyle"><link rel="stylesheet" href="../ayu.css" disabled><link rel="stylesheet" href="../dark.css" disabled><link rel="stylesheet" href="../light.css" id="themeStyle"><script id="default-settings" ></script><script src="../storage.js"></script><script defer src="../crates.js"></script><script defer src="../main.js"></script><noscript><link rel="stylesheet" href="../noscript.css"></noscript><link rel="alternate icon" type="image/png" href="../favicon-16x16.png"><link rel="alternate icon" type="image/png" href="../favicon-32x32.png"><link rel="icon" type="image/svg+xml" href="../favicon.svg"></head><body class="rustdoc mod crate"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle">&#9776;</button><a class="sidebar-logo" href="../quick_error/index.html"><div class="logo-container"><img class="rust-logo" src="../rust-logo.svg" alt="logo"></div></a><h2></h2></nav><nav class="sidebar"><a class="sidebar-logo" href="../quick_error/index.html"><div class="logo-container"><img class="rust-logo" src="../rust-logo.svg" alt="logo"></div></a><h2 class="location"><a href="#">Crate quick_error</a></h2><div class="sidebar-elems"><ul class="block"><li class="version">Version 1.2.3</li><li><a id="all-types" href="all.html">All Items</a></li></ul><section><ul class="block"><li><a href="#macros">Macros</a></li><li><a href="#structs">Structs</a></li><li><a href="#traits">Traits</a></li></ul></section></div></nav><main><div class="width-limiter"><nav class="sub"><form class="search-form"><div class="search-container"><span></span><input class="search-input" name="search" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" title="help" tabindex="-1"><a href="../help.html">?</a></div><div id="settings-menu" tabindex="-1"><a href="../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../wheel.svg"></a></div></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1 class="fqn">Crate <a class="mod" href="#">quick_error</a><button id="copy-path" onclick="copy_path(this)" title="Copy item path to clipboard"><img src="../clipboard.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="srclink" href="../src/quick_error/lib.rs.html#1-1262">source</a> · <a id="toggle-all-docs" href="javascript:void(0)" title="collapse all docs">[<span class="inner">&#x2212;</span>]</a></span></div><details class="rustdoc-toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>A macro which makes errors easy to write</p>
<p>Minimum type is like this:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="attribute">#[macro_use] </span><span class="kw">extern crate </span>quick_error;
<span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
Variant1 {}
}
}</code></pre></div>
<p>Both <code>pub</code> and non-public types may be declared, and all meta attributes
(such as <code>#[derive(Debug)]</code>) are forwarded as is. The <code>Debug</code> must be
implemented (but you may do that yourself if you like). The documentation
comments <code>/// something</code> (as well as other meta attrbiutes) on variants
are allowed.</p>
<h2 id="allowed-syntax"><a href="#allowed-syntax">Allowed Syntax</a></h2>
<p>You may add arbitrary parameters to any struct variant:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
<span class="doccomment">/// IO Error
</span>Io(err: std::io::Error) {}
<span class="doccomment">/// Utf8 Error
</span>Utf8(err: std::str::Utf8Error) {}
}
}</code></pre></div>
<p>Note unlike in normal Enum declarations you declare names of fields (which
are omitted from type). How they can be used is outlined below.</p>
<p>Now you might have noticed trailing braces <code>{}</code>. They are used to define
implementations. By default:</p>
<ul>
<li><code>Error::cause()</code> returns None (even if type wraps some value)</li>
<li><code>Display</code> outputs debug representation</li>
<li>No <code>From</code> implementations are defined</li>
</ul>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
Io(err: std::io::Error) {
display(<span class="string">&quot;{}&quot;</span>, err)
}
Utf8(err: std::str::Utf8Error) {
display(<span class="string">&quot;utf8 error&quot;</span>)
}
}
}</code></pre></div>
<p>To change <code>cause</code> method to return some error, add <code>cause(value)</code>, for
example:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
Io(err: std::io::Error) {
cause(err)
}
Utf8(err: std::str::Utf8Error) {
display(<span class="string">&quot;utf8 error&quot;</span>)
}
Other(err: Box&lt;std::error::Error&gt;) {
cause(<span class="kw-2">&amp;**</span>err)
}
}
}</code></pre></div>
<p>Note you don’t need to wrap value in <code>Some</code>, its implicit. In case you want
<code>None</code> returned just omit the <code>cause</code>. You can’t return <code>None</code>
conditionally.</p>
<p>To change how each clause is <code>Display</code>ed add <code>display(pattern,..args)</code>,
for example:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
Io(err: std::io::Error) {
display(<span class="string">&quot;I/O error: {}&quot;</span>, err)
}
Utf8(err: std::str::Utf8Error) {
display(<span class="string">&quot;Utf8 error, valid up to {}&quot;</span>, err.valid_up_to())
}
}
}</code></pre></div>
<p>If you need a reference to the error when <code>Display</code>ing, you can instead use
<code>display(x) -&gt; (pattern, ..args)</code>, where <code>x</code> sets the name of the reference.</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="kw">use </span>std::error::Error; <span class="comment">// put methods like `source()` of this trait into scope
</span><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
Io(err: std::io::Error) {
display(x) -&gt; (<span class="string">&quot;I/O: {}&quot;</span>, err)
}
Utf8(err: std::str::Utf8Error) {
display(self_) -&gt; (<span class="string">&quot;UTF-8 error. Valid up to {}&quot;</span>, err.valid_up_to())
}
}
}</code></pre></div>
<p>To convert to the type from any other, use one of the three forms of
<code>from</code> clause.</p>
<p>For example, to convert simple wrapper use bare <code>from()</code>:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
Io(err: std::io::Error) {
from()
}
}
}</code></pre></div>
<p>This implements <code>From&lt;io::Error&gt;</code>.</p>
<p>To convert to singleton enumeration type (discarding the value), use
the <code>from(type)</code> form:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
FormatError {
from(std::fmt::Error)
}
}
}</code></pre></div>
<p>And the most powerful form is <code>from(var: type) -&gt; (arguments...)</code>. It
might be used to convert to type with multiple arguments or for arbitrary
value conversions:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>SomeError {
FailedOperation(s: <span class="kw-2">&amp;</span><span class="lifetime">&#39;static </span>str, errno: i32) {
from(errno: i32) -&gt; (<span class="string">&quot;os error&quot;</span>, errno)
from(e: std::io::Error) -&gt; (<span class="string">&quot;io error&quot;</span>, e.raw_os_error().unwrap())
}
<span class="doccomment">/// Converts from both kinds of utf8 errors
</span>Utf8(err: std::str::Utf8Error) {
from()
from(err: std::string::FromUtf8Error) -&gt; (err.utf8_error())
}
}
}</code></pre></div>
<h2 id="context"><a href="#context">Context</a></h2>
<p>Since quick-error 1.1 we also have a <code>context</code> declaration, which is
similar to (the longest form of) <code>from</code>, but allows adding some context to
the error. We need a longer example to demonstrate this:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="kw">use </span>quick_error::ResultExt;
<span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>Error {
File(filename: PathBuf, err: io::Error) {
context(path: <span class="kw-2">&amp;</span><span class="lifetime">&#39;a </span>Path, err: io::Error)
-&gt; (path.to_path_buf(), err)
}
}
}
<span class="kw">fn </span>openfile(path: <span class="kw-2">&amp;</span>Path) -&gt; <span class="prelude-ty">Result</span>&lt;(), Error&gt; {
<span class="macro">try!</span>(File::open(path).context(path));
<span class="comment">// If we didn&#39;t have context, the line above would be written as;
//
// try!(File::open(path)
// .map_err(|err| Error::File(path.to_path_buf(), err)));
</span><span class="prelude-val">Ok</span>(())
}
</code></pre></div>
<p>Each <code>context(a: A, b: B)</code> clause implements
<code>From&lt;Context&lt;A, B&gt;&gt; for Error</code>. Which means multiple <code>context</code> clauses
are a subject to the normal coherence rules. Unfortunately, we can’t
provide full support of generics for the context, but you may either use a
lifetime <code>'a</code> for references or <code>AsRef&lt;Type&gt;</code> (the latter means <code>A: AsRef&lt;Type&gt;</code>, and <code>Type</code> must be concrete). It’s also occasionally useful
to use a tuple as a type of the first argument.</p>
<p>You also need to <code>use quick_error::ResultExt</code> extension trait to get
working <code>.context()</code> method.</p>
<p>More info on context in <a href="http://bit.ly/1PsuxDt">this article</a>.</p>
<p>All forms of <code>from</code>, <code>display</code>, <code>cause</code>, and <code>context</code>
clauses can be combined and put in arbitrary order. Only <code>from</code> and
<code>context</code> can be used multiple times in single variant of enumeration.
Docstrings are also okay. Empty braces can be omitted as of quick_error
0.1.3.</p>
<h2 id="private-enums"><a href="#private-enums">Private Enums</a></h2>
<p>Since quick-error 1.2.0 we have a way to make a private enum that is
wrapped by public structure:</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code><span class="attribute">#[macro_use] </span><span class="kw">extern crate </span>quick_error;
<span class="macro">quick_error! </span>{
<span class="attribute">#[derive(Debug)]
</span><span class="kw">pub enum </span>PubError wraps ErrorEnum {
Variant1 {}
}
}</code></pre></div>
<p>This generates data structures like this</p>
<div class="example-wrap"><pre class="rust rust-example-rendered"><code>
<span class="kw">pub struct </span>PubError(ErrorEnum);
<span class="kw">enum </span>ErrorEnum {
Variant1,
}
</code></pre></div>
<p>Which in turn allows you to export just <code>PubError</code> in your crate and keep
actual enumeration private to the crate. This is useful to keep backwards
compatibility for error types. Currently there is no shorcuts to define
error constructors for the inner type, but we consider adding some in
future versions.</p>
<p>It’s possible to declare internal enum as public too.</p>
</div></details><h2 id="macros" class="small-section-header"><a href="#macros">Macros</a></h2><div class="item-table"><div class="item-row"><div class="item-left module-item"><a class="macro" href="macro.quick_error.html" title="quick_error::quick_error macro">quick_error</a></div><div class="item-right docblock-short">Main macro that does all the work</div></div></div><h2 id="structs" class="small-section-header"><a href="#structs">Structs</a></h2><div class="item-table"><div class="item-row"><div class="item-left module-item"><a class="struct" href="struct.Context.html" title="quick_error::Context struct">Context</a></div><div class="item-right docblock-short">Generic context type</div></div></div><h2 id="traits" class="small-section-header"><a href="#traits">Traits</a></h2><div class="item-table"><div class="item-row"><div class="item-left module-item"><a class="trait" href="trait.ResultExt.html" title="quick_error::ResultExt trait">ResultExt</a></div><div class="item-right docblock-short">Result extension trait adding a <code>context</code> method</div></div></div></section></div></main><div id="rustdoc-vars" data-root-path="../" data-current-crate="quick_error" data-themes="ayu,dark,light" data-resource-suffix="" data-rustdoc-version="1.66.0-nightly (5c8bff74b 2022-10-21)" ></div></body></html>