pub struct ๐๐๐ญ<N: Nat>(/* private fields */);Expand description
The category of categories visible at higher-structure level N.
Trait Implementationsยง
Sourceยงimpl<N: Nat> Cat for ๐๐๐ญ<N>where
๐๐จ๐ฆ<N>: Cat,
impl<N: Nat> Cat for ๐๐๐ญ<N>where
๐๐จ๐ฆ<N>: Cat,
Sourceยงimpl<N: Clone + Nat> Clone for ๐๐๐ญ<N>
impl<N: Clone + Nat> Clone for ๐๐๐ญ<N>
Sourceยงfn clone(&self) -> ๐๐๐ญ<N>
fn clone(&self) -> ๐๐๐ญ<N>
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<N: Copy + Nat> Copy for ๐๐๐ญ<N>
Auto Trait Implementationsยง
impl<N> Freeze for ๐๐๐ญ<N>where
PhantomData<N>: Freeze,
impl<N> RefUnwindSafe for ๐๐๐ญ<N>where
PhantomData<N>: RefUnwindSafe,
impl<N> Send for ๐๐๐ญ<N>where
PhantomData<N>: Send,
impl<N> Sync for ๐๐๐ญ<N>where
PhantomData<N>: Sync,
impl<N> Unpin for ๐๐๐ญ<N>where
PhantomData<N>: Unpin,
impl<N> UnsafeUnpin for ๐๐๐ญ<N>where
PhantomData<N>: UnsafeUnpin,
impl<N> UnwindSafe for ๐๐๐ญ<N>where
PhantomData<N>: 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
Sourceยงimpl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Sourceยงimpl<๐, X> Equivalent<๐, X> for Xwhere
๐: Cat,
impl<๐, X> Equivalent<๐, X> for Xwhere
๐: Cat,
Sourceยงimpl<T> OptionallyOption<T> for T
impl<T> OptionallyOption<T> for T
Sourceยงfn into_option(self) -> Option<T>
fn into_option(self) -> Option<T>
Converts either permitted representation into
Option<T>. Read more