[−][src]Struct trait_eval::Zero

pub struct Zero {}

Constant zero (0)

Trait Implementations

impl<T: Nat> Equals<Succ<T>> for Zero[src]

type Result = False

impl Equals<Zero> for Zero[src]

type Result = True

impl<T: Nat> Equals<Zero> for Succ<T>[src]

type Result = False

impl Eval for Zero[src]

type Output = usize

The Rust representation of our type.

impl Fact for Zero[src]

type Result = One

impl Fib for Zero[src]

type Result = Zero

impl<T: Nat> LessThan<Succ<T>> for Zero[src]

type Result = True

impl LessThan<Zero> for Zero[src]

type Result = False

impl<T: Nat> LessThan<Zero> for Succ<T>[src]

type Result = False

impl<T: Nat> Minus<Zero> for T[src]

type Result = T

impl<T: Nat> Mod<T> for Zero[src]

type Result = Zero

impl Nat for Zero[src]

impl<T: Nat> Plus<T> for Zero[src]

type Result = T

impl Pred for Zero[src]

type Result = Zero

impl<T: Nat> Times<T> for Zero[src]

type Result = Zero

Auto Trait Implementations

impl RefUnwindSafe for Zero

impl Send for Zero

impl Sync for Zero

impl Unpin for Zero

impl UnwindSafe for Zero

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U, V> Minus<Succ<T>> for U where
    T: Nat,
    U: Nat + Minus<T, Result = V>,
    V: Nat + Pred, [src]

type Result = <V as Pred>::Result

impl<T> Minus<Zero> for T where
    T: Nat, [src]

type Result = T

impl<T> Minus<Zero> for T where
    T: Nat, [src]

type Result = T

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.