Struct AddSum

pub struct AddSum<T, U = T>(/* private fields */);

Range Add Range Sum用の代数的構造

Trait Implementations

impl<T, U> Action for AddSum<T, U>

where Sum<T>: Monoid, Sum<U>: Monoid, T: Add<Output = T> + TryFrom<U, Error: Debug>, U: Mul<Output = U> + TryFrom<usize, Error: Debug>,

type Output = Sum<T>

範囲取得の型

type Lazy = Sum<U>

範囲更新の型

fn convert(value: Self::Output, lazy: Self::Lazy, len: usize) -> Self::Output

範囲更新を範囲取得に反映させる。

fn fold_id() -> Self::Output

範囲取得のモノイドの単位元を返す。

fn fold(a: Self::Output, b: Self::Output) -> Self::Output

範囲取得のモノイドの二項演算を適用させる。

fn update_id() -> Self::Lazy

範囲更新のモノイドの単位元を返す。

fn update(cur: Self::Lazy, next: Self::Lazy) -> Self::Lazy

範囲更新のモノイドの二項演算を適用させる。

impl<T: Clone, U: Clone> Clone for AddSum<T, U>

fn clone(&self) -> AddSum<T, U>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, U: Debug> Debug for AddSum<T, U>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default, U: Default> Default for AddSum<T, U>

fn default() -> AddSum<T, U>

Returns the “default value” for a type.

impl<T: PartialEq, U: PartialEq> PartialEq for AddSum<T, U>

fn eq(&self, other: &AddSum<T, U>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Copy, U: Copy> Copy for AddSum<T, U>

impl<T: Eq, U: Eq> Eq for AddSum<T, U>

impl<T, U> StructuralPartialEq for AddSum<T, U>