Trait `FoldAdd`

pub trait FoldAdd

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

Associated Types

type Output;: The type of the result of the sum

Implementors

impl FoldAdd for ATerm
impl<V, A> FoldAdd for TArr<V, A> where A: FoldAdd, FoldSum<A>: Add<V>,