Struct Zero

pub struct Zero {}

Constant zero (0)

Trait Implementations

impl<T: Nat> Equals<Succ<T>> for Zero

type Result = False

impl<T: Nat> Equals<Zero> for Succ<T>

type Result = False

impl Equals<Zero> for Zero

type Result = True

impl Eval for Zero

type Output = usize

The Rust representation of our type.

fn eval() -> Self::Output

A static function to actually grab the data.

impl Fact for Zero

type Result = Succ<Zero>

impl Fib for Zero

type Result = Zero

impl<T: Nat> LessThan<Succ<T>> for Zero

type Result = True

impl<T: Nat> LessThan<Zero> for Succ<T>

type Result = False

impl LessThan<Zero> for Zero

type Result = False

impl<T: Nat> Mod<T> for Zero

type Result = Zero

impl<T: Nat> Plus<T> for Zero

type Result = T

impl Pred for Zero

type Result = Zero

impl<T: Nat> Times<T> for Zero

type Result = Zero

impl Nat for Zero