Deploying to gh-pages from @ dbefa7a 🚀

doc/flux_fixpoint/struct.Task.html

@@ -9,7 +9,7 @@
 }</code></pre><h2 id="fields" class="fields section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.comments" class="structfield section-header"><a href="#structfield.comments" class="anchor field">§</a><code>comments: <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>&gt;</code></span><span id="structfield.constants" class="structfield section-header"><a href="#structfield.constants" class="anchor field">§</a><code>constants: <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="struct.ConstInfo.html" title="struct flux_fixpoint::ConstInfo">ConstInfo</a>&lt;T&gt;&gt;</code></span><span id="structfield.data_decls" class="structfield section-header"><a href="#structfield.data_decls" class="anchor field">§</a><code>data_decls: <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="constraint/struct.DataDecl.html" title="struct flux_fixpoint::constraint::DataDecl">DataDecl</a>&lt;T&gt;&gt;</code></span><span id="structfield.kvars" class="structfield section-header"><a href="#structfield.kvars" class="anchor field">§</a><code>kvars: <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="struct.KVar.html" title="struct flux_fixpoint::KVar">KVar</a>&lt;T&gt;&gt;</code></span><span id="structfield.constraint" class="structfield section-header"><a href="#structfield.constraint" class="anchor field">§</a><code>constraint: <a class="enum" href="constraint/enum.Constraint.html" title="enum flux_fixpoint::constraint::Constraint">Constraint</a>&lt;T&gt;</code></span><span id="structfield.qualifiers" class="structfield section-header"><a href="#structfield.qualifiers" class="anchor field">§</a><code>qualifiers: <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="constraint/struct.Qualifier.html" title="struct flux_fixpoint::constraint::Qualifier">Qualifier</a>&lt;T&gt;&gt;</code></span><span id="structfield.scrape_quals" class="structfield section-header"><a href="#structfield.scrape_quals" class="anchor field">§</a><code>scrape_quals: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</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-Task%3CT%3E" class="impl"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#136-189">source</a><a href="#impl-Task%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="trait.Types.html" title="trait flux_fixpoint::Types">Types</a>&gt; <a class="struct" href="struct.Task.html" title="struct flux_fixpoint::Task">Task</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><section id="method.hash_with_default" class="method"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#137-141">source</a><h4 class="code-header">pub fn <a href="#method.hash_with_default" class="fn">hash_with_default</a>(&amp;self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.u64.html">u64</a></h4></section><section id="method.check_with_cache" class="method"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#143-162">source</a><h4 class="code-header">pub fn <a href="#method.check_with_cache" class="fn">check_with_cache</a>(
     &amp;self,
     key: <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>,
-    cache: &amp;mut <a class="struct" href="../flux_common/cache/struct.QueryCache.html" title="struct flux_common::cache::QueryCache">QueryCache</a>
+    cache: &amp;mut QueryCache
 ) -&gt; <a class="type" href="https://doc.rust-lang.org/nightly/std/io/error/type.Result.html" title="type std::io::error::Result">Result</a>&lt;<a class="enum" href="enum.FixpointResult.html" title="enum flux_fixpoint::FixpointResult">FixpointResult</a>&lt;T::<a class="associatedtype" href="trait.Types.html#associatedtype.Tag" title="type flux_fixpoint::Types::Tag">Tag</a>&gt;&gt;</h4></section><section id="method.check" class="method"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#164-188">source</a><h4 class="code-header">pub(crate) fn <a href="#method.check" class="fn">check</a>(&amp;self) -&gt; <a class="type" href="https://doc.rust-lang.org/nightly/std/io/error/type.Result.html" title="type std::io::error::Result">Result</a>&lt;<a class="enum" href="enum.FixpointResult.html" title="enum flux_fixpoint::FixpointResult">FixpointResult</a>&lt;T::<a class="associatedtype" href="trait.Types.html#associatedtype.Tag" title="type flux_fixpoint::Types::Tag">Tag</a>&gt;&gt;</h4></section></div></details></div><h2 id="trait-implementations" class="section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Debug-for-Task%3CT%3E" class="impl"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#258-262">source</a><a href="#impl-Debug-for-Task%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="trait.Types.html" title="trait flux_fixpoint::Types">Types</a>&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.Task.html" title="struct flux_fixpoint::Task">Task</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt-1" class="method trait-impl"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#259-261">source</a><a href="#method.fmt-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, 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></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/nightly/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Display-for-Task%3CT%3E" class="impl"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#197-232">source</a><a href="#impl-Display-for-Task%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="trait.Types.html" title="trait flux_fixpoint::Types">Types</a>&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/fmt/trait.Display.html" title="trait core::fmt::Display">Display</a> for <a class="struct" href="struct.Task.html" title="struct flux_fixpoint::Task">Task</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt" class="method trait-impl"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#198-231">source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/fmt/trait.Display.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, 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></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/nightly/core/fmt/trait.Display.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Hash-for-Task%3CT%3E" class="impl"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#89">source</a><a href="#impl-Hash-for-Task%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="trait.Types.html" title="trait flux_fixpoint::Types">Types</a>&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/hash/trait.Hash.html" title="trait core::hash::Hash">Hash</a> for <a class="struct" href="struct.Task.html" title="struct flux_fixpoint::Task">Task</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.hash" class="method trait-impl"><a class="src rightside" href="../src/flux_fixpoint/lib.rs.html#89">source</a><a href="#method.hash" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/hash/trait.Hash.html#tymethod.hash" class="fn">hash</a>&lt;__H: <a class="trait" href="https://doc.rust-lang.org/nightly/core/hash/trait.Hasher.html" title="trait core::hash::Hasher">Hasher</a>&gt;(&amp;self, __state: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;mut __H</a>)</h4></section></summary><div class='docblock'>Feeds this value into the given <a href="https://doc.rust-lang.org/nightly/core/hash/trait.Hasher.html" title="trait core::hash::Hasher"><code>Hasher</code></a>. <a href="https://doc.rust-lang.org/nightly/core/hash/trait.Hash.html#tymethod.hash">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.hash_slice" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.3.0">1.3.0</span> · <a class="src" href="https://doc.rust-lang.org/nightly/src/core/hash/mod.rs.html#238-240">source</a></span><a href="#method.hash_slice" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/hash/trait.Hash.html#method.hash_slice" class="fn">hash_slice</a>&lt;H&gt;(data: &amp;<a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.slice.html">[Self]</a>, state: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;mut H</a>)<div class="where">where
     H: <a class="trait" href="https://doc.rust-lang.org/nightly/core/hash/trait.Hasher.html" title="trait core::hash::Hasher">Hasher</a>,
     Self: <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h4></section></summary><div class='docblock'>Feeds a slice of this type into the given <a href="https://doc.rust-lang.org/nightly/core/hash/trait.Hasher.html" title="trait core::hash::Hasher"><code>Hasher</code></a>. <a href="https://doc.rust-lang.org/nightly/core/hash/trait.Hash.html#method.hash_slice">Read more</a></div></details></div></details></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-DynSend-for-Task%3CT%3E" class="impl"><a href="#impl-DynSend-for-Task%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_data_structures/marker/trait.DynSend.html" title="trait rustc_data_structures::marker::DynSend">DynSend</a> for <a class="struct" href="struct.Task.html" title="struct flux_fixpoint::Task">Task</a>&lt;T&gt;<div class="where">where