Reduce

standing_relations::core

Struct Reduce 

Source 
pub struct Reduce<K, X, C: Op<D = (K, X)>, M: CountMap<X> + Observable, Y, OM: OutputMap<K, Y>, F: Fn(&K, &M) -> Y> { /* private fields */ }

Trait Implementations§

Source§

impl<K: Clone + Eq + Hash, X, C: Op<D = (K, X)>, M: CountMap<X> + Observable, Y: Clone + Eq, OM: OutputMap<K, Y>, F: Fn(&K, &M) -> Y> IsReduce for Reduce<K, X, C, M, Y, OM, F>

Source§

type OM = OM

Source§

fn get_map(&self) -> &OM

Source§

impl<K: Clone + Eq + Hash, X, C: Op<D = (K, X)>, M: CountMap<X> + Observable, Y: Clone + Eq, OM: OutputMap<K, Y>, F: Fn(&K, &M) -> Y> Op_ for Reduce<K, X, C, M, Y, OM, F>

Source§

type T = ((K, Y), isize)

Source§

fn foreach<'a>(&'a mut self, continuation: impl FnMut(Self::T) + 'a)

Source§

fn get_type_name() -> &'static str

Auto Trait Implementations§

§

impl<K, X, C, M, Y, OM, F> Freeze for Reduce<K, X, C, M, Y, OM, F>
where OM: Freeze, F: Freeze, C: Freeze,

§

impl<K, X, C, M, Y, OM, F> RefUnwindSafe for Reduce<K, X, C, M, Y, OM, F>
where OM: RefUnwindSafe, F: RefUnwindSafe, C: RefUnwindSafe, K: RefUnwindSafe, M: RefUnwindSafe,

§

impl<K, X, C, M, Y, OM, F> Send for Reduce<K, X, C, M, Y, OM, F>
where OM: Send, F: Send, C: Send, K: Send, M: Send,

§

impl<K, X, C, M, Y, OM, F> Sync for Reduce<K, X, C, M, Y, OM, F>
where OM: Sync, F: Sync, C: Sync, K: Sync, M: Sync,

§

impl<K, X, C, M, Y, OM, F> Unpin for Reduce<K, X, C, M, Y, OM, F>
where OM: Unpin, F: Unpin, C: Unpin, K: Unpin, M: Unpin,

§

impl<K, X, C, M, Y, OM, F> UnwindSafe for Reduce<K, X, C, M, Y, OM, F>
where OM: UnwindSafe, F: UnwindSafe, C: UnwindSafe, K: UnwindSafe, M: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Is for T

Source§

type Myself = T

Source§

impl<C, D> Op for C
where C: Op_<T = (D, isize)>,

Source§

type D = D

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.