pub struct ScopeThere<Prev>(/* private fields */);Expand description
Type-level witness that a table exists deeper in a scope list.
Trait Implementations§
Source§impl<Prev: Clone> Clone for ScopeThere<Prev>
impl<Prev: Clone> Clone for ScopeThere<Prev>
Source§fn clone(&self) -> ScopeThere<Prev>
fn clone(&self) -> ScopeThere<Prev>
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 moreimpl<Prev: Copy> Copy for ScopeThere<Prev>
Source§impl<Prev: Debug> Debug for ScopeThere<Prev>
impl<Prev: Debug> Debug for ScopeThere<Prev>
Source§impl<Prev: Default> Default for ScopeThere<Prev>
impl<Prev: Default> Default for ScopeThere<Prev>
Source§fn default() -> ScopeThere<Prev>
fn default() -> ScopeThere<Prev>
Returns the “default value” for a type. Read more
impl<Head, Tail, Table, Witness> ScopeContains<Table, ScopeThere<Witness>> for Cons<Head, Tail>where
Tail: ScopeContains<Table, Witness>,
Auto Trait Implementations§
impl<Prev> Freeze for ScopeThere<Prev>
impl<Prev> RefUnwindSafe for ScopeThere<Prev>where
Prev: RefUnwindSafe,
impl<Prev> Send for ScopeThere<Prev>where
Prev: Send,
impl<Prev> Sync for ScopeThere<Prev>where
Prev: Sync,
impl<Prev> Unpin for ScopeThere<Prev>where
Prev: Unpin,
impl<Prev> UnsafeUnpin for ScopeThere<Prev>
impl<Prev> UnwindSafe for ScopeThere<Prev>where
Prev: 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