pub struct S<T>(pub T);
Expand description
Successor.
Tuple Fields
0: T
Trait Implementations
sourceimpl<N: Nat> DecidableHomotopyLevel<S<N>> for False
impl<N: Nat> DecidableHomotopyLevel<S<N>> for False
sourceimpl<N: Nat> HomotopyLevel<S<S<N>>> for Set
impl<N: Nat> HomotopyLevel<S<S<N>>> for Set
impl<T: Copy> Copy for S<T>
impl<T> Lt<S<S<T>>> for S<T>
impl<T> Lt<S<T>> for Z
impl<T: Lt<U>, U> Lt<S<U>> for T
Auto Trait Implementations
impl<T> RefUnwindSafe for S<T> where
T: RefUnwindSafe,
impl<T> Send for S<T> where
T: Send,
impl<T> Sync for S<T> where
T: Sync,
impl<T> Unpin for S<T> where
T: Unpin,
impl<T> UnwindSafe for S<T> where
T: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more