Trait Sum 

pub trait Sum<Output> {
    // Required methods
    fn zero() -> Output;
    fn map(a: Self) -> Output;
    fn u_map<U>(_: &mut U, a: Self) -> Output;
    fn reduce(a: Output, b: Output) -> Output;
    fn u_reduce<U>(_: &mut U, a: Output, b: Output) -> Output;
}

Number that can be summed over.

Required Methods

fn zero() -> Output

Zero.

fn map(a: Self) -> Output

Maps the number to owned value.

fn u_map<U>(_: &mut U, a: Self) -> Output

Maps the number to owned value.

fn reduce(a: Output, b: Output) -> Output

Returns sum of a and b.

fn u_reduce<U>(_: &mut U, a: Output, b: Output) -> Output

Returns sum of a and b.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'a, X> Sum<X> for &'a X

where X: Add<Output = X> + Copy + Default, &'a X: Add<Output = X>,

fn zero() -> X

fn map(a: &'a X) -> X

fn u_map<U>(_: &mut U, a: &'a X) -> X

fn reduce(a: X, b: X) -> X

fn u_reduce<U>(_: &mut U, a: X, b: X) -> X

impl<'a, X> Sum<X> for &'a mut X

where X: Add<Output = X> + Copy + Default, &'a X: Add<Output = X>,

fn zero() -> X

fn map(a: &'a mut X) -> X

fn u_map<U>(_: &mut U, a: &'a mut X) -> X

fn reduce(a: X, b: X) -> X

fn u_reduce<U>(_: &mut U, a: X, b: X) -> X

Implementors

impl<X> Sum<X> for X

where X: Default + Add<Output = X>,