Trait pdatastructs::Counter

pub trait Counter: Copy + Debug + Ord + Sized {
    fn checked_add(self, other: Self) -> Option<Self>;
    fn zero() -> Self;
    fn one() -> Self;
    fn is_zero(&self) -> bool;
}

Abstract, but safe counter.

Required Methods

fn checked_add(self, other: Self) -> Option<Self>

Add self to another counter.

Returns Some(Self) when the addition was successfull (i.e. no overflow occured) and None in case of an error.

fn zero() -> Self

Return a counter representing zero.

fn one() -> Self

Return a counter representing one.

fn is_zero(&self) -> bool

Checks whether the counter is zero.

Implementations on Foreign Types

impl Counter for usize

fn checked_add(self, other: Self) -> Option<Self>

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

impl Counter for u64

fn checked_add(self, other: Self) -> Option<Self>

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

impl Counter for u32

fn checked_add(self, other: Self) -> Option<Self>

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

impl Counter for u16

fn checked_add(self, other: Self) -> Option<Self>

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

impl Counter for u8

fn checked_add(self, other: Self) -> Option<Self>

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

Implementors