Struct peano::Succ

pub struct Succ<N: Natural>(_);

Trait Implementations

impl<N: Clone + Natural> Clone for Succ<N>

fn clone(&self) -> Succ<N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N: Copy + Natural> Copy for Succ<N>

impl<N: Natural> Natural for Succ<N>

fn to_usize() -> usize

impl<M: Natural, N: Natural> Add<N> for Succ<M> where
    M: Add<N>,
    <M as Add<N>>::Output: Natural, 

type Output = Succ<<M as Add<N>>::Output>

The resulting type after applying the + operator

fn add(self: Succ<M>, n: N) -> Self::Output

The method for the + operator