|
11 | 11 | formatter: &mut <a class="struct" href="https://doc.rust-lang.org/1.84.1/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
12 | 12 | prefix: &'static <a class="primitive" href="https://doc.rust-lang.org/1.84.1/std/primitive.str.html">str</a>, |
13 | 13 | ) -> <a class="type" href="https://doc.rust-lang.org/1.84.1/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class="docblock"><p>Write this handle’s index to <code>formatter</code>, preceded by <code>prefix</code>.</p> |
14 | | -</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Handle%3CT%3E-1" class="impl"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#889-950">Source</a><a href="#impl-Handle%3CT%3E-1" class="anchor">§</a><h3 class="code-header">impl<T> <a class="struct" href="struct.Handle.html" title="struct naga::arena::handle::Handle">Handle</a><T></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.check_valid_for" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#891-894">Source</a><h4 class="code-header">fn <a href="#method.check_valid_for" class="fn">check_valid_for</a>(self, arena: &<a class="struct" href="../struct.Arena.html" title="struct naga::arena::Arena">Arena</a><T>) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="primitive" href="https://doc.rust-lang.org/1.84.1/std/primitive.unit.html">()</a>, <a class="enum" href="../../valid/handles/enum.InvalidHandleError.html" title="enum naga::valid::handles::InvalidHandleError">InvalidHandleError</a>></h4></section></summary><div class="docblock"><p>Check that <code>self</code> is valid within <code>arena</code> using <a href="../struct.Arena.html#method.check_contains_handle" title="method naga::arena::Arena::check_contains_handle"><code>Arena::check_contains_handle</code></a>.</p> |
15 | | -</div></details><details class="toggle method-toggle" open><summary><section id="method.check_valid_for_uniq" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#897-906">Source</a><h4 class="code-header">fn <a href="#method.check_valid_for_uniq" class="fn">check_valid_for_uniq</a>( |
| 14 | +</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Handle%3CT%3E-1" class="impl"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#890-951">Source</a><a href="#impl-Handle%3CT%3E-1" class="anchor">§</a><h3 class="code-header">impl<T> <a class="struct" href="struct.Handle.html" title="struct naga::arena::handle::Handle">Handle</a><T></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.check_valid_for" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#892-895">Source</a><h4 class="code-header">fn <a href="#method.check_valid_for" class="fn">check_valid_for</a>(self, arena: &<a class="struct" href="../struct.Arena.html" title="struct naga::arena::Arena">Arena</a><T>) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="primitive" href="https://doc.rust-lang.org/1.84.1/std/primitive.unit.html">()</a>, <a class="enum" href="../../valid/handles/enum.InvalidHandleError.html" title="enum naga::valid::handles::InvalidHandleError">InvalidHandleError</a>></h4></section></summary><div class="docblock"><p>Check that <code>self</code> is valid within <code>arena</code> using <a href="../struct.Arena.html#method.check_contains_handle" title="method naga::arena::Arena::check_contains_handle"><code>Arena::check_contains_handle</code></a>.</p> |
| 15 | +</div></details><details class="toggle method-toggle" open><summary><section id="method.check_valid_for_uniq" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#898-907">Source</a><h4 class="code-header">fn <a href="#method.check_valid_for_uniq" class="fn">check_valid_for_uniq</a>( |
16 | 16 | self, |
17 | 17 | arena: &<a class="struct" href="../unique_arena/struct.UniqueArena.html" title="struct naga::arena::unique_arena::UniqueArena">UniqueArena</a><T>, |
18 | 18 | ) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="primitive" href="https://doc.rust-lang.org/1.84.1/std/primitive.unit.html">()</a>, <a class="enum" href="../../valid/handles/enum.InvalidHandleError.html" title="enum naga::valid::handles::InvalidHandleError">InvalidHandleError</a>><div class="where">where |
19 | 19 | T: <a class="trait" href="https://doc.rust-lang.org/1.84.1/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + <a class="trait" href="https://doc.rust-lang.org/1.84.1/core/hash/trait.Hash.html" title="trait core::hash::Hash">Hash</a>,</div></h4></section></summary><div class="docblock"><p>Check that <code>self</code> is valid within <code>arena</code> using <a href="../unique_arena/struct.UniqueArena.html#method.check_contains_handle" title="method naga::arena::unique_arena::UniqueArena::check_contains_handle"><code>UniqueArena::check_contains_handle</code></a>.</p> |
20 | | -</div></details><details class="toggle method-toggle" open><summary><section id="method.check_dep" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#919-933">Source</a><h4 class="code-header">fn <a href="#method.check_dep" class="fn">check_dep</a>(self, depends_on: Self) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, <a class="struct" href="../../valid/handles/struct.FwdDepError.html" title="struct naga::valid::handles::FwdDepError">FwdDepError</a>></h4></section></summary><div class="docblock"><p>Check that <code>depends_on</code> was constructed before <code>self</code> by comparing handle indices.</p> |
| 20 | +</div></details><details class="toggle method-toggle" open><summary><section id="method.check_dep" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#920-934">Source</a><h4 class="code-header">fn <a href="#method.check_dep" class="fn">check_dep</a>(self, depends_on: Self) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, <a class="struct" href="../../valid/handles/struct.FwdDepError.html" title="struct naga::valid::handles::FwdDepError">FwdDepError</a>></h4></section></summary><div class="docblock"><p>Check that <code>depends_on</code> was constructed before <code>self</code> by comparing handle indices.</p> |
21 | 21 | <p>If <code>self</code> is a valid handle (i.e., it has been validated using <a href="struct.Handle.html#method.check_valid_for" title="method naga::arena::handle::Handle::check_valid_for"><code>Self::check_valid_for</code></a>) |
22 | 22 | and this function returns <a href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html#variant.Ok" title="variant core::result::Result::Ok"><code>Ok</code></a>, then it may be assumed that <code>depends_on</code> is also valid. |
23 | 23 | In <a href="../../index.html" title="mod naga"><code>naga</code></a>’s current arena-based implementation, this is useful for validating |
24 | 24 | recursive definitions of arena-based values in linear time.</p> |
25 | 25 | <h5 id="errors"><a class="doc-anchor" href="#errors">§</a>Errors</h5> |
26 | 26 | <p>If <code>depends_on</code>’s handle is from the same <a href="../struct.Arena.html" title="struct naga::arena::Arena"><code>Arena</code></a> as <code>self'</code>s, but not constructed earlier |
27 | 27 | than <code>self</code>’s, this function returns an error.</p> |
28 | | -</div></details><details class="toggle method-toggle" open><summary><section id="method.check_dep_opt" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#936-938">Source</a><h4 class="code-header">fn <a href="#method.check_dep_opt" class="fn">check_dep_opt</a>(self, depends_on: <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><Self>) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, <a class="struct" href="../../valid/handles/struct.FwdDepError.html" title="struct naga::valid::handles::FwdDepError">FwdDepError</a>></h4></section></summary><div class="docblock"><p>Like <a href="struct.Handle.html#method.check_dep" title="method naga::arena::handle::Handle::check_dep"><code>Self::check_dep</code></a>, except for <a href="https://doc.rust-lang.org/1.84.1/core/option/enum.Option.html" title="enum core::option::Option"><code>Option</code></a>al handle values.</p> |
29 | | -</div></details><details class="toggle method-toggle" open><summary><section id="method.check_dep_iter" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#941-949">Source</a><h4 class="code-header">fn <a href="#method.check_dep_iter" class="fn">check_dep_iter</a>( |
| 28 | +</div></details><details class="toggle method-toggle" open><summary><section id="method.check_dep_opt" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#937-939">Source</a><h4 class="code-header">fn <a href="#method.check_dep_opt" class="fn">check_dep_opt</a>(self, depends_on: <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/option/enum.Option.html" title="enum core::option::Option">Option</a><Self>) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, <a class="struct" href="../../valid/handles/struct.FwdDepError.html" title="struct naga::valid::handles::FwdDepError">FwdDepError</a>></h4></section></summary><div class="docblock"><p>Like <a href="struct.Handle.html#method.check_dep" title="method naga::arena::handle::Handle::check_dep"><code>Self::check_dep</code></a>, except for <a href="https://doc.rust-lang.org/1.84.1/core/option/enum.Option.html" title="enum core::option::Option"><code>Option</code></a>al handle values.</p> |
| 29 | +</div></details><details class="toggle method-toggle" open><summary><section id="method.check_dep_iter" class="method"><a class="src rightside" href="../../../src/naga/valid/handles.rs.html#942-950">Source</a><h4 class="code-header">fn <a href="#method.check_dep_iter" class="fn">check_dep_iter</a>( |
30 | 30 | self, |
31 | 31 | depends_on: impl <a class="trait" href="https://doc.rust-lang.org/1.84.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = Self>, |
32 | 32 | ) -> <a class="enum" href="https://doc.rust-lang.org/1.84.1/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, <a class="struct" href="../../valid/handles/struct.FwdDepError.html" title="struct naga::valid::handles::FwdDepError">FwdDepError</a>></h4></section></summary><div class="docblock"><p>Like <a href="struct.Handle.html#method.check_dep" title="method naga::arena::handle::Handle::check_dep"><code>Self::check_dep</code></a>, except for <a href="https://doc.rust-lang.org/1.84.1/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator"><code>Iterator</code></a>s over handle values.</p> |
|
0 commit comments