catlog::zero::set

Trait FinSet

pub trait FinSet: Set {
    // Required method
    fn iter(&self) -> impl Iterator<Item = Self::Elem>;

    // Provided methods
    fn len(&self) -> usize { ... }
    fn is_empty(&self) -> bool { ... }
}

Expand description

A finite set.

In addition to checking for element containment, finite sets know their size and are iterable. The elements of a finite set are assumed to be cheaply cloneable values, such as integers or interned strings. Thus, iteration of elements is by value, not by reference.

Required Methods§

Source

fn iter(&self) -> impl Iterator<Item = Self::Elem>

Iterates over elements of the finite set.

Though finite sets have a definite size, the iterator is not required to be an ExactSizeIterator because they are not stable under even predictable operations like chaining. Instead, retrieve the size of the set through the separate method len.