Trait ActedMonoid

pub trait ActedMonoid {
    type Val: Clone + PartialEq;
    type Act: Clone + PartialEq;

    // Required methods
    fn e() -> Self::Val;
    fn id() -> Self::Act;
    fn op(x: &Self::Val, y: &Self::Val) -> Self::Val;
    fn mapping(x: &Self::Val, y: &Self::Act) -> Self::Val;
    fn compose(x: &Self::Act, y: &Self::Act) -> Self::Act;
}

作用付きモノイド

Required Associated Types

type Val: Clone + PartialEq

要素のデータ型

type Act: Clone + PartialEq

作用素のデータ型

Required Methods

fn e() -> Self::Val

要素Xの単位元を返す

fn id() -> Self::Act

作用素Fの単位元を返す

fn op(x: &Self::Val, y: &Self::Val) -> Self::Val

要素同士の演算

fn mapping(x: &Self::Val, y: &Self::Act) -> Self::Val

要素に対する作用

fn compose(x: &Self::Act, y: &Self::Act) -> Self::Act

作用素同士の演算

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> ActedMonoid for ToActed<M>

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

type Val = <M as Monoid>::Val

type Act = ()

impl<T> ActedMonoid for AffineSum<T>

where T: Add<Output = T> + Mul<Output = T> + Zero + One + Copy + PartialEq + Mul<usize, Output = T>,

type Val = (T, usize)

type Act = (T, T)

impl<T> ActedMonoid for AffineUpdateComposite<T>

where T: Add<Output = T> + Mul<Output = T> + Zero + One + Copy + PartialEq,

type Val = (T, T)

type Act = (T, T)

impl<T> ActedMonoid for AddMax<T>

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

type Val = T

type Act = T

impl<T> ActedMonoid for AddMin<T>

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

type Val = T

type Act = T

impl<T> ActedMonoid for AddSum<T>

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

type Val = (T, usize)

type Act = T

impl<T> ActedMonoid for ArithSum<T>

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

type Val = ArithVal<T>

type Act = ArithAct<T>

impl<T> ActedMonoid for UpdateSum<T>

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

type Val = (T, usize)

type Act = Option<T>

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

type Val = (T, T)

type Act = Option<(T, T)>

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

type Val = T

type Act = T

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

type Val = T

type Act = T