Struct peano::Zero

pub struct Zero;

The type corresponding to the Peano number 0.

Trait Implementations

impl Clone for Zero

fn clone(&self) -> Zero

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Zero

impl Peano for Zero

impl NonNeg for Zero

impl NonPos for Zero

impl<Rhs> Add<Rhs> for Zero where Rhs: Peano

Add to Zero (e.g. 0 + 3)

type Output = Rhs

The resulting type after applying the + operator

fn add(self, rhs: Rhs) -> Self::Output

The method for the + operator

impl Neg for Zero

The negation of Zero is itself.

type Output = Zero

The resulting type after applying the - operator

fn neg(self) -> Self::Output

The method for the unary - operator

impl<Rhs> Sub<Rhs> for Zero where Rhs: Neg

Subtract from Zero (e.g. 0 - 4)

type Output = Rhs::Output

The resulting type after applying the - operator

fn sub(self, rhs: Rhs) -> Self::Output

The method for the - operator

impl<Rhs> Mul<Rhs> for Zero where Rhs: Peano

Multiply Zero by peano numbers (e.g. 0 * 7)

type Output = Zero

The resulting type after applying the * operator

fn mul(self, rhs: Rhs) -> Self::Output

The method for the * operator

impl<Rhs> Div<Rhs> for Zero where Rhs: Peano

Divide Zero by a number (e.g. 0 / 5)

type Output = Zero

The resulting type after applying the / operator

fn div(self, rhs: Rhs) -> Self::Output

The method for the / operator

impl ToInt for Zero

fn to_int() -> i32