Trait HasLen 

pub trait HasLen<K: ArrayKind> {
    // Required method
    fn len(&self) -> K::I;

    // Provided method
    fn is_empty(&self) -> bool { ... }
}

Required Methods

fn len(&self) -> K::I

Provided Methods

fn is_empty(&self) -> bool

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<K: ArrayKind, F> HasLen<K> for IndexedCoproduct<K, F>

where K::Type<K::I>: NaturalArray<K>,

impl<K: ArrayKind, T> HasLen<K> for SemifiniteFunction<K, T>

where K::Type<T>: Array<K, T>,

impl<K: ArrayKind> HasLen<K> for FiniteFunction<K>