Trait SumDomain 

pub trait SumDomain<K> {
    // Required method
    fn keys(&self) -> impl Iterator<Item = K> + '_;
}

Domain over which the sum! macro iterates. Lets a single sum accept either a Set (with typed key decoding via FromIndexKey) or a borrowed slice of Copy keys, without intermediate conversions.

Returns an iterator (rather than taking a callback) so the trait method monomorphizes through to the loop body in [__sum_over], allowing inlining in hot sums. Implementations are typically one line.

Required Methods

fn keys(&self) -> impl Iterator<Item = K> + '_

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl SumDomain<i32> for Range<i32>

fn keys(&self) -> impl Iterator<Item = i32> + '_

impl SumDomain<i64> for Range<i64>

fn keys(&self) -> impl Iterator<Item = i64> + '_

impl SumDomain<usize> for Range<usize>

fn keys(&self) -> impl Iterator<Item = usize> + '_

impl<K, D: SumDomain<K> + ?Sized> SumDomain<K> for &D

fn keys(&self) -> impl Iterator<Item = K> + '_

impl<K: Copy, const N: usize> SumDomain<K> for [K; N]

fn keys(&self) -> impl Iterator<Item = K> + '_

impl<K: Copy> SumDomain<K> for Vec<K>

fn keys(&self) -> impl Iterator<Item = K> + '_

impl<K: Copy> SumDomain<K> for [K]

fn keys(&self) -> impl Iterator<Item = K> + '_

Implementors

impl<K: FromIndexKey> SumDomain<K> for Set<K>