Trait FoldAdd

pub trait FoldAdd {
    type Output;
}

A type operator that gives the sum of all elements of an Array.

Required Associated Types

type Output

The type of the result of the sum

Implementors

impl FoldAdd for ATerm

type Output = Null

impl<V, A> FoldAdd for TArr<V, A>

where A: FoldAdd, FoldSum<A>: Add<V>,

type Output = <<A as FoldAdd>::Output as Add<V>>::Output