Struct dimensioned::peano::Zero

pub struct Zero;

The type corresponding to the Peano number 0.

Trait Implementations

impl Peano for Zero

impl !NonZero 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

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

impl Neg for Zero

The negation of Zero is itself.

type Output = Zero

fn neg(self) -> Self::Output

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

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

type Output = Rhs::Output

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

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

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

type Output = Zero

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

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

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

type Output = Zero

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

impl ToInt for Zero

fn to_int() -> i32

Derived Implementations

impl Clone for Zero

fn clone(&self) -> Zero

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

impl Copy for Zero