Trait ActedMonoidWithSize

pub trait ActedMonoidWithSize: ActedMonoid {
    // Provided method
    fn e_with_size(_size: usize) -> Self::Val { ... }
}

長さを保持した作用付きモノイド

Provided Methods

fn e_with_size(_size: usize) -> Self::Val

区間長 size の「単位区間」を表す集約値を返す

例：Val = (sum, size) のとき，e_with_size(size) = (0, size) のようなもの

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<M> ActedMonoidWithSize for ToActed<M>

where M: Monoid, M::Val: PartialEq,

impl<T> ActedMonoidWithSize for AddMin<T>

where T: Zero + Clone + Add<Output = T> + Ord + Bounded,

impl<T> ActedMonoidWithSize for AddSum<T>

where T: Zero + Clone + Add<Output = T> + Mul<Output = T> + FromPrimitive + PartialEq,

impl<T> ActedMonoidWithSize for UpdateSum<T>

where T: Zero + Clone + Add<Output = T> + Mul<Output = T> + FromPrimitive + PartialEq,

impl<T: Bounded + Ord + Clone> ActedMonoidWithSize for UpdateMax<T>

impl<T: Bounded + Ord + Clone> ActedMonoidWithSize for UpdateMin<T>

impl<T: Bounded + Ord + Clone> ActedMonoidWithSize for UpdateMinMax<T>