data_structure_traits 0.1.12

data structure collection traits
Documentation
use core::borrow::Borrow;

use super::{AddImmut, RemoveImmut, Set};

pub trait SetImmut<'a, V, Q>: Set<'a, V, Q> + RemoveImmut<&'a Q> + AddImmut<V>
where
    V: 'a + ?Sized + Borrow<Q>,
    Q: 'a + ?Sized,
{
}

impl<'a, V, Q, T> SetImmut<'a, V, Q> for T
where
    T: 'a + SetImmut<'a, V, Q> + RemoveImmut<&'a Q> + AddImmut<V>,
    V: 'a + ?Sized + Borrow<Q>,
    Q: 'a + ?Sized,
{}