Skip to main content

oxilean_std/decidable/
finiteset_traits.rs

1//! # FiniteSet - Trait Implementations
2//!
3//! This module contains trait implementations for `FiniteSet`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//! - `FromIterator`
9//!
10//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
11
12use super::types::FiniteSet;
13
14impl<T: PartialEq> Default for FiniteSet<T> {
15    fn default() -> Self {
16        Self::new()
17    }
18}
19
20impl<T: PartialEq> FromIterator<T> for FiniteSet<T> {
21    fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> Self {
22        let mut set = Self::new();
23        for x in iter {
24            set.insert(x);
25        }
26        set
27    }
28}