Deploying to gh-pages from @ a101c6d 🚀

flux-rs · Jul 16, 2024 · ff7ed3c · ff7ed3c
1 parent 5e0cfeb
commit ff7ed3c
Show file tree

Hide file tree

Showing 73 changed files with 134 additions and 102 deletions.
diff --git a/doc/flux_middle/intern/struct.Interned.html b/doc/flux_middle/intern/struct.Interned.html
@@ -88,7 +88,7 @@
 by <code>==</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.ne-2" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/nightly/src/core/cmp.rs.html#262">source</a></span><a href="#method.ne-2" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialEq.html#method.ne" class="fn">ne</a>(&amp;self, other: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;Rhs</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>This method tests for <code>!=</code>. The default implementation is almost always
 sufficient, and should not be overridden without very good reason.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-PartialOrd-for-Interned%3CT%3E" class="impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#453-457">source</a><a href="#impl-PartialOrd-for-Interned%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html" title="trait core::cmp::PartialOrd">PartialOrd</a> + <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a>&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html" title="trait core::cmp::PartialOrd">PartialOrd</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.partial_cmp" class="method trait-impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#454-456">source</a><a href="#method.partial_cmp" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#tymethod.partial_cmp" class="fn">partial_cmp</a>(&amp;self, other: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;Self</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="enum" href="https://doc.rust-lang.org/nightly/core/cmp/enum.Ordering.html" title="enum core::cmp::Ordering">Ordering</a>&gt;</h4></section></summary><div class='docblock'>This method returns an ordering between <code>self</code> and <code>other</code> values if one exists. <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#tymethod.partial_cmp">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.lt-1" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/nightly/src/core/cmp.rs.html#1179">source</a></span><a href="#method.lt-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.lt" class="fn">lt</a>(&amp;self, other: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;Rhs</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>This method tests less than (for <code>self</code> and <code>other</code>) and is used by the <code>&lt;</code> operator. <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.lt">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.le-1" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/nightly/src/core/cmp.rs.html#1197">source</a></span><a href="#method.le-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.le" class="fn">le</a>(&amp;self, other: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;Rhs</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>This method tests less than or equal to (for <code>self</code> and <code>other</code>) and is used by the <code>&lt;=</code>
 operator. <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.le">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.gt-1" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/nightly/src/core/cmp.rs.html#1214">source</a></span><a href="#method.gt-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.gt" class="fn">gt</a>(&amp;self, other: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;Rhs</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>This method tests greater than (for <code>self</code> and <code>other</code>) and is used by the <code>&gt;</code> operator. <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.gt">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.ge-1" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/nightly/src/core/cmp.rs.html#1232">source</a></span><a href="#method.ge-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.ge" class="fn">ge</a>(&amp;self, other: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;Rhs</a>) -&gt; <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>This method tests greater than or equal to (for <code>self</code> and <code>other</code>) and is used by the <code>&gt;=</code>
-operator. <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.ge">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Pretty-for-Interned%3CT%3E" class="impl"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#375-379">source</a><a href="#impl-Pretty-for-Interned%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="../pretty/trait.Pretty.html" title="trait flux_middle::pretty::Pretty">Pretty</a> + <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a>&gt; <a class="trait" href="../pretty/trait.Pretty.html" title="trait flux_middle::pretty::Pretty">Pretty</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><section id="method.fmt-1" class="method trait-impl"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#376-378">source</a><a href="#method.fmt-1" class="anchor">§</a><h4 class="code-header">fn <a href="../pretty/trait.Pretty.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, cx: &amp;<a class="struct" href="../pretty/struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_&gt;, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/nightly/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/nightly/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section><section id="method.default_cx" class="method trait-impl"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#216-218">source</a><a href="#method.default_cx" class="anchor">§</a><h4 class="code-header">fn <a href="../pretty/trait.Pretty.html#method.default_cx" class="fn">default_cx</a>(tcx: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/context/struct.TyCtxt.html" title="struct rustc_middle::ty::context::TyCtxt">TyCtxt</a>&lt;'_&gt;) -&gt; <a class="struct" href="../pretty/struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_&gt;</h4></section></div></details><section id="impl-Eq-for-Interned%3C%5BT%5D%3E" class="impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#444">source</a><a href="#impl-Eq-for-Interned%3C%5BT%5D%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.slice.html">[T]</a>&gt;<div class="where">where
+operator. <a href="https://doc.rust-lang.org/nightly/core/cmp/trait.PartialOrd.html#method.ge">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Pretty-for-Interned%3CT%3E" class="impl"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#391-395">source</a><a href="#impl-Pretty-for-Interned%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="../pretty/trait.Pretty.html" title="trait flux_middle::pretty::Pretty">Pretty</a> + <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a>&gt; <a class="trait" href="../pretty/trait.Pretty.html" title="trait flux_middle::pretty::Pretty">Pretty</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><section id="method.fmt-1" class="method trait-impl"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#392-394">source</a><a href="#method.fmt-1" class="anchor">§</a><h4 class="code-header">fn <a href="../pretty/trait.Pretty.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, cx: &amp;<a class="struct" href="../pretty/struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_&gt;, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/nightly/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/nightly/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section><section id="method.default_cx" class="method trait-impl"><a class="src rightside" href="../../src/flux_middle/pretty.rs.html#232-234">source</a><a href="#method.default_cx" class="anchor">§</a><h4 class="code-header">fn <a href="../pretty/trait.Pretty.html#method.default_cx" class="fn">default_cx</a>(tcx: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/context/struct.TyCtxt.html" title="struct rustc_middle::ty::context::TyCtxt">TyCtxt</a>&lt;'_&gt;) -&gt; <a class="struct" href="../pretty/struct.PrettyCx.html" title="struct flux_middle::pretty::PrettyCx">PrettyCx</a>&lt;'_&gt;</h4></section></div></details><section id="impl-Eq-for-Interned%3C%5BT%5D%3E" class="impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#444">source</a><a href="#impl-Eq-for-Interned%3C%5BT%5D%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.slice.html">[T]</a>&gt;<div class="where">where
     <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.slice.html">[T]</a>: <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a>,</div></h3></section><section id="impl-Eq-for-Interned%3CT%3E" class="impl"><a class="src rightside" href="../../src/flux_middle/intern.rs.html#432">source</a><a href="#impl-Eq-for-Interned%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="trait.Internable.html" title="trait flux_middle::intern::Internable">Internable</a>&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;T&gt;</h3></section></div><h2 id="synthetic-implementations" class="section-header">Auto Trait Implementations<a href="#synthetic-implementations" class="anchor">§</a></h2><div id="synthetic-implementations-list"><section id="impl-Freeze-for-Interned%3CT%3E" class="impl"><a href="#impl-Freeze-for-Interned%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Freeze.html" title="trait core::marker::Freeze">Freeze</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;T&gt;<div class="where">where
     T: ?<a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section><section id="impl-RefUnwindSafe-for-Interned%3CT%3E" class="impl"><a href="#impl-RefUnwindSafe-for-Interned%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;T&gt;<div class="where">where
     T: <a class="trait" href="https://doc.rust-lang.org/nightly/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a> + ?<a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section><section id="impl-Send-for-Interned%3CT%3E" class="impl"><a href="#impl-Send-for-Interned%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> for <a class="struct" href="struct.Interned.html" title="struct flux_middle::intern::Interned">Interned</a>&lt;T&gt;<div class="where">where