Enum InnerEach 

pub enum InnerEach {
    OnFold,
    OnPair,
}

Where the each in the inner product’s definition sits.

f.g is a fold over a pairing, and the two lines put the each on different halves of it. GNU APL puts it on the FOLD — f/¨ (⊂[last]x) ∘.g (⊂[first]y) — so g meets one whole vector from each side and what the fold makes of a pair is enclosed once more. Dyalog puts it on the PAIRING — f/ row g¨ column — so g meets one element from each side and the fold’s own value stands as the cell. 1 2+.,3 4 is 10 under the first and an enclosed 3 7 under the second. The two agree wherever g is a scalar function and the fold ends in a number, which is every published use, so +.× and the Life idiom’s ∨.∧ differ only in depth.

Variants

OnFold

GNU APL: f/¨ over the outer product.

OnPair

Dyalog: f/ over g¨.

Trait Implementations

impl Clone for InnerEach

fn clone(&self) -> InnerEach

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for InnerEach

impl Debug for InnerEach

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for InnerEach

fn default() -> InnerEach

Returns the “default value” for a type.

impl Eq for InnerEach

impl PartialEq for InnerEach

fn eq(&self, other: &InnerEach) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for InnerEach