Skip to content

Commit

Permalink
Deploying to gh-pages from @ adc2d10 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@nilehmann
nilehmann committed Dec 18, 2024
1 parent 41c22cd commit d10608c
Show file tree
Hide file tree
Showing 35 changed files with 148 additions and 148 deletions.
4 changes: 2 additions & 2 deletions doc/flux_refineck/checker/errors/struct.CheckerError.html
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<!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="API documentation for the Rust `CheckerError` struct in crate `flux_refineck`."><title>CheckerError in flux_refineck::checker::errors - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-Medium-e1aa3f0a.woff2,SourceCodePro-Regular-8badfe75.ttf.woff2,SourceCodePro-Semibold-aa29a496.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../../../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../../../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../../../static.files/rustdoc-590a400c.css"><meta name="rustdoc-vars" data-root-path="../../../" data-static-root-path="../../../static.files/" data-current-crate="flux_refineck" data-themes="" data-resource-suffix="" data-rustdoc-version="1.84.0-nightly (b3f75cc87 2024-11-02)" data-channel="nightly" data-search-js="search-c5a66128.js" data-settings-js="settings-0f613d39.js" ><script src="../../../static.files/storage-59e33391.js"></script><script defer src="sidebar-items.js"></script><script defer src="../../../static.files/main-5f194d8c.js"></script><noscript><link rel="stylesheet" href="../../../static.files/noscript-893ab5e7.css"></noscript><link rel="alternate icon" type="image/png" href="../../../static.files/favicon-32x32-6580c154.png"><link rel="icon" type="image/svg+xml" href="../../../static.files/favicon-044be391.svg"></head><body class="rustdoc struct"><!--[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" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../../flux_refineck/index.html">flux_<wbr>refineck</a><span class="version">0.1.0</span></h2></div><div class="sidebar-elems"><section id="rustdoc-toc"><h2 class="location"><a href="#">Checker<wbr>Error</a></h2><h3><a href="#fields">Fields</a></h3><ul class="block structfield"><li><a href="#structfield.kind" title="kind">kind</a></li><li><a href="#structfield.span" title="span">span</a></li></ul><h3><a href="#implementations">Methods</a></h3><ul class="block method"><li><a href="#method.emit" title="emit">emit</a></li><li><a href="#method.opaque_struct" title="opaque_struct">opaque_struct</a></li></ul><h3><a href="#trait-implementations">Trait Implementations</a></h3><ul class="block trait-implementation"><li><a href="#impl-Debug-for-CheckerError" title="Debug">Debug</a></li></ul><h3><a href="#synthetic-implementations">Auto Trait Implementations</a></h3><ul class="block synthetic-implementation"><li><a href="#impl-Freeze-for-CheckerError" title="Freeze">Freeze</a></li><li><a href="#impl-RefUnwindSafe-for-CheckerError" title="RefUnwindSafe">RefUnwindSafe</a></li><li><a href="#impl-Send-for-CheckerError" title="Send">Send</a></li><li><a href="#impl-Sync-for-CheckerError" title="Sync">Sync</a></li><li><a href="#impl-Unpin-for-CheckerError" title="Unpin">Unpin</a></li><li><a href="#impl-UnwindSafe-for-CheckerError" title="UnwindSafe">UnwindSafe</a></li></ul><h3><a href="#blanket-implementations">Blanket Implementations</a></h3><ul class="block blanket-implementation"><li><a href="#impl-Any-for-T" title="Any">Any</a></li><li><a href="#impl-Borrow%3CT%3E-for-T" title="Borrow&#60;T&#62;">Borrow&#60;T&#62;</a></li><li><a href="#impl-BorrowMut%3CT%3E-for-T" title="BorrowMut&#60;T&#62;">BorrowMut&#60;T&#62;</a></li><li><a href="#impl-From%3CT%3E-for-T" title="From&#60;T&#62;">From&#60;T&#62;</a></li><li><a href="#impl-Instrument-for-T" title="Instrument">Instrument</a></li><li><a href="#impl-Into%3CU%3E-for-T" title="Into&#60;U&#62;">Into&#60;U&#62;</a></li><li><a href="#impl-IntoEither-for-T" title="IntoEither">IntoEither</a></li><li><a href="#impl-TryFrom%3CU%3E-for-T" title="TryFrom&#60;U&#62;">TryFrom&#60;U&#62;</a></li><li><a href="#impl-TryInto%3CU%3E-for-T" title="TryInto&#60;U&#62;">TryInto&#60;U&#62;</a></li><li><a href="#impl-WithSubscriber-for-T" title="WithSubscriber">WithSubscriber</a></li></ul></section><div id="rustdoc-modnav"><h2><a href="index.html">In flux_<wbr>refineck::<wbr>checker::<wbr>errors</a></h2></div></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><span class="rustdoc-breadcrumbs"><a href="../../index.html">flux_refineck</a>::<wbr><a href="../index.html">checker</a>::<wbr><a href="index.html">errors</a></span><h1>Struct <span class="struct">CheckerError</span><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><rustdoc-toolbar></rustdoc-toolbar><span class="sub-heading"><a class="src" href="../../../src/flux_refineck/checker.rs.html#1922-1925">Source</a> </span></div><pre class="rust item-decl"><code>pub struct CheckerError {
kind: <a class="enum" href="../../../flux_infer/infer/enum.InferErr.html" title="enum flux_infer::infer::InferErr">InferErr</a>,
kind: InferErr,
span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>,
}</code></pre><h2 id="fields" class="fields section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.kind" class="structfield section-header"><a href="#structfield.kind" class="anchor field">§</a><code>kind: <a class="enum" href="../../../flux_infer/infer/enum.InferErr.html" title="enum flux_infer::infer::InferErr">InferErr</a></code></span><span id="structfield.span" class="structfield section-header"><a href="#structfield.span" class="anchor field">§</a><code>span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><h2 id="implementations" class="section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-CheckerError" class="impl"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1927-1957">Source</a><a href="#impl-CheckerError" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.CheckerError.html" title="struct flux_refineck::checker::errors::CheckerError">CheckerError</a></h3></section></summary><div class="impl-items"><section id="method.opaque_struct" class="method"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1928-1930">Source</a><h4 class="code-header">pub fn <a href="#method.opaque_struct" class="fn">opaque_struct</a>(def_id: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/def_id/struct.DefId.html" title="struct rustc_span::def_id::DefId">DefId</a>, span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>) -&gt; Self</h4></section><section id="method.emit" class="method"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1932-1956">Source</a><h4 class="code-header">pub fn <a href="#method.emit" class="fn">emit</a>(
}</code></pre><h2 id="fields" class="fields section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.kind" class="structfield section-header"><a href="#structfield.kind" class="anchor field">§</a><code>kind: InferErr</code></span><span id="structfield.span" class="structfield section-header"><a href="#structfield.span" class="anchor field">§</a><code>span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><h2 id="implementations" class="section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-CheckerError" class="impl"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1927-1957">Source</a><a href="#impl-CheckerError" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.CheckerError.html" title="struct flux_refineck::checker::errors::CheckerError">CheckerError</a></h3></section></summary><div class="impl-items"><section id="method.opaque_struct" class="method"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1928-1930">Source</a><h4 class="code-header">pub fn <a href="#method.opaque_struct" class="fn">opaque_struct</a>(def_id: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/def_id/struct.DefId.html" title="struct rustc_span::def_id::DefId">DefId</a>, span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>) -&gt; Self</h4></section><section id="method.emit" class="method"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1932-1956">Source</a><h4 class="code-header">pub fn <a href="#method.emit" class="fn">emit</a>(
self,
genv: <a class="struct" href="../../../flux_middle/global_env/struct.GlobalEnv.html" title="struct flux_middle::global_env::GlobalEnv">GlobalEnv</a>&lt;'_, '_&gt;,
fn_def_id: <a class="enum" href="../../../flux_middle/enum.MaybeExternId.html" title="enum flux_middle::MaybeExternId">MaybeExternId</a>,
Expand Down
2 changes: 1 addition & 1 deletion doc/flux_refineck/checker/errors/trait.ResultExt.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
// Required method
fn <a href="#tymethod.with_span" class="fn">with_span</a>(self, span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, <a class="struct" href="struct.CheckerError.html" title="struct flux_refineck::checker::errors::CheckerError">CheckerError</a>&gt;;
}</code></pre><h2 id="required-methods" class="section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><section id="tymethod.with_span" class="method"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1960">Source</a><h4 class="code-header">fn <a href="#tymethod.with_span" class="fn">with_span</a>(self, span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, <a class="struct" href="struct.CheckerError.html" title="struct flux_refineck::checker::errors::CheckerError">CheckerError</a>&gt;</h4></section></div><h2 id="foreign-impls" class="section-header">Implementations on Foreign Types<a href="#foreign-impls" class="anchor">§</a></h2><details class="toggle implementors-toggle"><summary><section id="impl-ResultExt%3CT%3E-for-Result%3CT,+E%3E" class="impl"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1963-1970">Source</a><a href="#impl-ResultExt%3CT%3E-for-Result%3CT,+E%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T, E&gt; <a class="trait" href="trait.ResultExt.html" title="trait flux_refineck::checker::errors::ResultExt">ResultExt</a>&lt;T&gt; for <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, E&gt;<div class="where">where
E: <a class="trait" href="https://doc.rust-lang.org/nightly/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a>&lt;<a class="enum" href="../../../flux_infer/infer/enum.InferErr.html" title="enum flux_infer::infer::InferErr">InferErr</a>&gt;,</div></h3></section></summary><div class="impl-items"><section id="method.with_span" class="method trait-impl"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1967-1969">Source</a><a href="#method.with_span" class="anchor">§</a><h4 class="code-header">fn <a href="#tymethod.with_span" class="fn">with_span</a>(self, span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, <a class="struct" href="struct.CheckerError.html" title="struct flux_refineck::checker::errors::CheckerError">CheckerError</a>&gt;</h4></section></div></details><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"></div><script src="../../../trait.impl/flux_refineck/checker/errors/trait.ResultExt.js" data-ignore-extern-crates="core" async></script></section></div></main></body></html>
E: <a class="trait" href="https://doc.rust-lang.org/nightly/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a>&lt;InferErr&gt;,</div></h3></section></summary><div class="impl-items"><section id="method.with_span" class="method trait-impl"><a class="src rightside" href="../../../src/flux_refineck/checker.rs.html#1967-1969">Source</a><a href="#method.with_span" class="anchor">§</a><h4 class="code-header">fn <a href="#tymethod.with_span" class="fn">with_span</a>(self, span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, <a class="struct" href="struct.CheckerError.html" title="struct flux_refineck::checker::errors::CheckerError">CheckerError</a>&gt;</h4></section></div></details><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"></div><script src="../../../trait.impl/flux_refineck/checker/errors/trait.ResultExt.js" data-ignore-extern-crates="core" async></script></section></div></main></body></html>
Loading

0 comments on commit d10608c

Please sign in to comment.