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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

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