pub struct SingletonTrieIter { /* private fields */ }Expand description
Unary trie iterator holding a single usize value.
Equivalent to the paper’s “nonmaterialized view” of Const_a = {a}
(Veldhuizen 2014 §3.4 point 4). Exposes exactly one tuple [value]
through the TrieIterator / LinearIterator interface.
Implementations§
Trait Implementations§
Source§impl Clone for SingletonTrieIter
impl Clone for SingletonTrieIter
Source§fn clone(&self) -> SingletonTrieIter
fn clone(&self) -> SingletonTrieIter
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for SingletonTrieIter
impl Debug for SingletonTrieIter
Source§impl IntoIterator for SingletonTrieIter
impl IntoIterator for SingletonTrieIter
Source§impl LinearIterator for SingletonTrieIter
impl LinearIterator for SingletonTrieIter
Source§fn key(&self) -> Option<usize>
fn key(&self) -> Option<usize>
Returns the key at the iterator’s current position,
otherwise
None if next has not yet been called, or the iterator
is positioned at the end.Source§fn next(&mut self) -> Option<usize>
fn next(&mut self) -> Option<usize>
Moves the iterator forward and returns
the key at the new position.
Source§impl TrieIterable for SingletonTrieIter
impl TrieIterable for SingletonTrieIter
Source§fn trie_iter(&self) -> impl TrieIterator + IntoIterator<Item = Vec<usize>>
fn trie_iter(&self) -> impl TrieIterator + IntoIterator<Item = Vec<usize>>
Returns a trie iterator over this structure that also implements
IntoIterator, allowing it to be wrapped in a TrieIteratorWrapper
for tuple-at-a-time consumption.Source§impl TrieIterator for SingletonTrieIter
impl TrieIterator for SingletonTrieIter
impl JoinIterable for SingletonTrieIter
Auto Trait Implementations§
impl Freeze for SingletonTrieIter
impl RefUnwindSafe for SingletonTrieIter
impl Send for SingletonTrieIter
impl Sync for SingletonTrieIter
impl Unpin for SingletonTrieIter
impl UnsafeUnpin for SingletonTrieIter
impl UnwindSafe for SingletonTrieIter
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more