Skip to main content

SetArity

Trait SetArity 

Source
pub trait SetArity<S: ElementShape>: PreparedArity<S> {
    // Required method
    fn set<'a>(
        prepared: Self::Prepared<'a>,
    ) -> QueryResult<GrHashSet<<S::ValueDomain as ValueDomain>::Value<'a>>>
       where S: 'a,
             <S::ValueDomain as ValueDomain>::Value<'a>: Eq + Hash;
}

Required Methods§

Source

fn set<'a>( prepared: Self::Prepared<'a>, ) -> QueryResult<GrHashSet<<S::ValueDomain as ValueDomain>::Value<'a>>>
where S: 'a, <S::ValueDomain as ValueDomain>::Value<'a>: Eq + Hash,

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementors§

Source§

impl<I, V, O> SetArity<Indexed<I, V>> for Multiple<O>
where I: IndexDomain, V: ValueDomain, O: OrderState, for<'a> V::Value<'a>: Eq + Hash,

Source§

impl<I, V> SetArity<Indexed<I, V>> for Definite
where I: IndexDomain, V: ValueDomain, for<'a> V::Value<'a>: Eq + Hash,

Source§

impl<I, V> SetArity<Indexed<I, V>> for Single
where I: IndexDomain, V: ValueDomain, for<'a> V::Value<'a>: Eq + Hash,

Source§

impl<V, O> SetArity<Bare<V>> for Multiple<O>
where V: BareValueDomain, O: OrderState, for<'a> V::Value<'a>: Eq + Hash,

Source§

impl<V> SetArity<Bare<V>> for Definite
where V: BareValueDomain, for<'a> V::Value<'a>: Eq + Hash,

Source§

impl<V> SetArity<Bare<V>> for Single
where V: BareValueDomain, for<'a> V::Value<'a>: Eq + Hash,