Struct seitan::IndexedProperty [−][src]
pub struct IndexedProperty<'a, C, I> where
C: Index<I>,
I: Clone + 'a,
<C as Index<I>>::Output: 'a, { /* fields omitted */ }
Implementations
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: 'a,
[src]
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: 'a,
[src]pub fn new(collection: C, initial_index: I) -> IndexedProperty<'a, C, I>
[src]
pub fn from_index_property(
collection: C,
index: Property<'a, I>
) -> IndexedProperty<'a, C, I>
[src]
collection: C,
index: Property<'a, I>
) -> IndexedProperty<'a, C, I>
pub fn get(&self) -> &<C as Index<I>>::Output
[src]
pub fn current_index(&self) -> I
[src]
pub fn set(&mut self, index: I)
[src]
pub fn collection(&self) -> &C
[src]
pub fn index_property(&self) -> &Property<'a, I>
[src]
pub fn index_property_mut(&mut self) -> &mut Property<'a, I>
[src]
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: Clone + 'a,
[src]
impl<'a, C, I> IndexedProperty<'a, C, I> where
C: Index<I> + 'a,
I: Clone + 'a,
<C as Index<I>>::Output: Clone + 'a,
[src]