Skip to content

Commit

Permalink
Deploying to gh-pages from @ 1860916 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
nilehmann committed Mar 13, 2024
1 parent 29704ba commit 36b70a3
Show file tree
Hide file tree
Showing 143 changed files with 371 additions and 286 deletions.
2 changes: 1 addition & 1 deletion doc/flux_middle/fhir/enum.InferMode.html

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion doc/flux_middle/intern/struct.Interned.html

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion doc/flux_middle/intern/trait.Internable.html
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
// Required method
fn <a href="#tymethod.storage" class="fn">storage</a>() -&gt; &amp;'static <a class="struct" href="struct.InternStorage.html" title="struct flux_middle::intern::InternStorage">InternStorage</a>&lt;Self&gt;;
}</code></pre><h2 id="required-methods" class="small-section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><section id="tymethod.storage" class="method"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#582">source</a><h4 class="code-header">fn <a href="#tymethod.storage" class="fn">storage</a>() -&gt; &amp;'static <a class="struct" href="struct.InternStorage.html" title="struct flux_middle::intern::InternStorage">InternStorage</a>&lt;Self&gt;</h4></section></div><h2 id="object-safety" class="small-section-header">Object Safety<a href="#object-safety" class="anchor">§</a></h2><div class="object-safety-info">This trait is <b>not</b> <a href="https://doc.rust-lang.org/nightly/reference/items/traits.html#object-safety">object safe</a>.</div><h2 id="foreign-impls" class="small-section-header">Implementations on Foreign Types<a href="#foreign-impls" class="anchor">§</a></h2><details class="toggle implementors-toggle"><summary><section id="impl-Internable-for-%5BT%5D" class="impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#589-596">source</a><a href="#impl-Internable-for-%5BT%5D" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.slice.html">[T]</a><span class="where fmt-newline">where
T: <a class="trait" href="trait.SliceInternable.html" title="trait flux_middle::intern::SliceInternable">SliceInternable</a>,</span></h3></section></summary><div class="impl-items"><section id="method.storage" class="method trait-impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#593-595">source</a><a href="#method.storage" class="anchor">§</a><h4 class="code-header">fn <a href="#tymethod.storage" class="fn">storage</a>() -&gt; &amp;'static <a class="struct" href="struct.InternStorage.html" title="struct flux_middle::intern::InternStorage">InternStorage</a>&lt;Self&gt;</h4></section></div></details><h2 id="implementors" class="small-section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-Internable-for-ExprS" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/expr.rs.html#851">source</a><a href="#impl-Internable-for-ExprS" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for <a class="struct" href="../rty/expr/struct.ExprS.html" title="struct flux_middle::rty::expr::ExprS">ExprS</a></h3></section><section id="impl-Internable-for-AdtDefData" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/mod.rs.html#1916">source</a><a href="#impl-Internable-for-AdtDefData" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rty::<a class="struct" href="../rty/struct.AdtDefData.html" title="struct flux_middle::rty::AdtDefData">AdtDefData</a></h3></section><section id="impl-Internable-for-AdtSortDefData" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/mod.rs.html#1916">source</a><a href="#impl-Internable-for-AdtSortDefData" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for <a class="struct" href="../rty/struct.AdtSortDefData.html" title="struct flux_middle::rty::AdtSortDefData">AdtSortDefData</a></h3></section><section id="impl-Internable-for-TyS" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/mod.rs.html#1916">source</a><a href="#impl-Internable-for-TyS" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rty::<a class="struct" href="../rty/struct.TyS.html" title="struct flux_middle::rty::TyS">TyS</a></h3></section><section id="impl-Internable-for-AdtDefData-1" class="impl"><a class="src rightside" href="../../src/flux_middle/rustc/ty.rs.html#604">source</a><a href="#impl-Internable-for-AdtDefData-1" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rustc::ty::<a class="struct" href="../rustc/ty/struct.AdtDefData.html" title="struct flux_middle::rustc::ty::AdtDefData">AdtDefData</a></h3></section><section id="impl-Internable-for-TyS-1" class="impl"><a class="src rightside" href="../../src/flux_middle/rustc/ty.rs.html#604">source</a><a href="#impl-Internable-for-TyS-1" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rustc::ty::<a class="struct" href="../rustc/ty/struct.TyS.html" title="struct flux_middle::rustc::ty::TyS">TyS</a></h3></section></div><script src="../../trait.impl/flux_middle/intern/trait.Internable.js" data-ignore-extern-crates="std" async></script></section></div></main></body></html>
T: <a class="trait" href="trait.SliceInternable.html" title="trait flux_middle::intern::SliceInternable">SliceInternable</a>,</span></h3></section></summary><div class="impl-items"><section id="method.storage" class="method trait-impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#593-595">source</a><a href="#method.storage" class="anchor">§</a><h4 class="code-header">fn <a href="#tymethod.storage" class="fn">storage</a>() -&gt; &amp;'static <a class="struct" href="struct.InternStorage.html" title="struct flux_middle::intern::InternStorage">InternStorage</a>&lt;Self&gt;</h4></section></div></details><h2 id="implementors" class="small-section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-Internable-for-ExprS" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/expr.rs.html#851">source</a><a href="#impl-Internable-for-ExprS" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for <a class="struct" href="../rty/expr/struct.ExprS.html" title="struct flux_middle::rty::expr::ExprS">ExprS</a></h3></section><section id="impl-Internable-for-AdtDefData" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/mod.rs.html#1920">source</a><a href="#impl-Internable-for-AdtDefData" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rty::<a class="struct" href="../rty/struct.AdtDefData.html" title="struct flux_middle::rty::AdtDefData">AdtDefData</a></h3></section><section id="impl-Internable-for-AdtSortDefData" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/mod.rs.html#1920">source</a><a href="#impl-Internable-for-AdtSortDefData" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for <a class="struct" href="../rty/struct.AdtSortDefData.html" title="struct flux_middle::rty::AdtSortDefData">AdtSortDefData</a></h3></section><section id="impl-Internable-for-TyS" class="impl"><a class="src rightside" href="../../src/flux_middle/rty/mod.rs.html#1920">source</a><a href="#impl-Internable-for-TyS" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rty::<a class="struct" href="../rty/struct.TyS.html" title="struct flux_middle::rty::TyS">TyS</a></h3></section><section id="impl-Internable-for-AdtDefData-1" class="impl"><a class="src rightside" href="../../src/flux_middle/rustc/ty.rs.html#639">source</a><a href="#impl-Internable-for-AdtDefData-1" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rustc::ty::<a class="struct" href="../rustc/ty/struct.AdtDefData.html" title="struct flux_middle::rustc::ty::AdtDefData">AdtDefData</a></h3></section><section id="impl-Internable-for-TyS-1" class="impl"><a class="src rightside" href="../../src/flux_middle/rustc/ty.rs.html#639">source</a><a href="#impl-Internable-for-TyS-1" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a> for flux_middle::rustc::ty::<a class="struct" href="../rustc/ty/struct.TyS.html" title="struct flux_middle::rustc::ty::TyS">TyS</a></h3></section></div><script src="../../trait.impl/flux_middle/intern/trait.Internable.js" data-ignore-extern-crates="std" async></script></section></div></main></body></html>
2 changes: 1 addition & 1 deletion doc/flux_middle/intern/trait.SliceInternable.html

Large diffs are not rendered by default.

Loading

0 comments on commit 36b70a3

Please sign in to comment.