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".

Implementations on Foreign Types

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

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

fn zero() -> X

fn map(a: Self) -> X

fn u_map<U>(_: &mut U, a: Self) -> 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: Default + Add<X, Output = X> + Copy, &'a X: Add<&'a X, Output = X>,

fn zero() -> X

fn map(a: Self) -> X

fn u_map<U>(_: &mut U, a: Self) -> 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<X, Output = X>,