pub struct There<T: Index>(/* private fields */);Expand description
Index representing a subsequent element.
Trait Implementations§
Source§impl<Head, Tail, Target, Idx: Index> ConsHas<Target, There<Idx>> for (Head, Tail)where
Tail: ConsHas<Target, Idx>,
impl<Head, Tail, Target, Idx: Index> ConsHas<Target, There<Idx>> for (Head, Tail)where
Tail: ConsHas<Target, Idx>,
Source§type Plucked = (Head, <Tail as ConsHas<Target, Idx>>::Plucked)
type Plucked = (Head, <Tail as ConsHas<Target, Idx>>::Plucked)
Remaining tail after element removal.
Source§fn cons_pluck(self) -> (Target, Self::Plucked)
fn cons_pluck(self) -> (Target, Self::Plucked)
Deconstructs the cons tuple into a plucked element and the rest of the tuple
Source§fn cons_get_ref(&self) -> &Target
fn cons_get_ref(&self) -> &Target
Gets a reference to the element in this cons tuple
Source§fn cons_get_mut(&mut self) -> &mut Target
fn cons_get_mut(&mut self) -> &mut Target
Gets a mutable reference to the element in this cons tuple
Source§impl<Query, QueryIdx, Head, Tail, TailIdx: Index> ConsHasOne<Query, QueryIdx, There<TailIdx>> for (Head, Tail)where
Tail: ConsHasOne<Query, QueryIdx, TailIdx>,
impl<Query, QueryIdx, Head, Tail, TailIdx: Index> ConsHasOne<Query, QueryIdx, There<TailIdx>> for (Head, Tail)where
Tail: ConsHasOne<Query, QueryIdx, TailIdx>,
Source§type Has = <Tail as ConsHasOne<Query, QueryIdx, TailIdx>>::Has
type Has = <Tail as ConsHasOne<Query, QueryIdx, TailIdx>>::Has
Selected element type.
Source§fn cons_get_one(self) -> Self::Has
fn cons_get_one(self) -> Self::Has
Gets the first element out of the query
Source§fn cons_get_one_ref(&self) -> &Self::Has
fn cons_get_one_ref(&self) -> &Self::Has
Gets the first element out of the query
impl<T: Index> Index for There<T>
Auto Trait Implementations§
impl<T> Freeze for There<T>
impl<T> RefUnwindSafe for There<T>where
T: RefUnwindSafe,
impl<T> Send for There<T>where
T: Send,
impl<T> Sync for There<T>where
T: Sync,
impl<T> Unpin for There<T>where
T: Unpin,
impl<T> UnwindSafe for There<T>where
T: UnwindSafe,
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