Struct UpdateFold

pub struct UpdateFold<T>(pub Last<T>);

Range Update Range ~~~ 用のモノイド作用

act_nは時間計算量が$O(\log n)$なので、 遅延セグメント木に載せる場合は、更新・取得はともに$O(\log^2 n)$の計算量になることに注意。

Tuple Fields

0: Last<T>

Trait Implementations

impl<T, M> Act<M> for UpdateFold<T>

where M: Monoid<Element = T>, M::Element: Clone,

type Monoid = Last<T>

作用させるモノイド

type Element = Option<T>

モノイドの元

fn monoid(&self) -> &Self::Monoid

作用させるモノイドへの参照を返す。

fn act( &self, m: &M, val: M::Element, a: Self::Element, len: usize, ) -> M::Element

$val$をn個の値からなる列をモノイド$(\circ, e)$で畳み込んだ値であるとしたとき、 列の各値に$a$を作用させて畳み込んだ値を求める。

fn act_one(&self, m: &M, val: M::Element, a: Self::Element) -> M::Element

self.act(m, val, a, 1)

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算

fn id(&self) -> Self::Element

単位元

impl<T: Clone> Clone for UpdateFold<T>

fn clone(&self) -> UpdateFold<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for UpdateFold<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for UpdateFold<T>

fn default() -> UpdateFold<T>

Returns the “default value” for a type.

impl<T: Hash> Hash for UpdateFold<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq> PartialEq for UpdateFold<T>

fn eq(&self, other: &UpdateFold<T>) -> 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> Copy for UpdateFold<T>

impl<T: Eq> Eq for UpdateFold<T>

impl<T> StructuralPartialEq for UpdateFold<T>