Trait Monoid

pub trait Monoid {
    type Val: Clone;

    // Required methods
    fn e() -> Self::Val;
    fn op(left: &Self::Val, right: &Self::Val) -> Self::Val;
}

モノイド

• Monoid::Val ： データの型 $S$
• Monoid::e ： 単位元を返す関数 $\varnothing \to S$
• Monoid::op ： 演算 $S\times S \to S$

Required Associated Types

type Val: Clone

データの型 （$S$）

Required Methods

fn e() -> Self::Val

単位元 （$\varnothing \to S$）

fn op(left: &Self::Val, right: &Self::Val) -> Self::Val

演算 （$S \times S \to S$）

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.

Implementations on Foreign Types

impl Monoid for ()

type Val = ()

fn e() -> Self::Val

fn op(_: &Self::Val, _: &Self::Val) -> Self::Val

Implementors

impl Monoid for WrappingAdd

type Val = usize

impl Monoid for Xor

type Val = usize

impl<T> Monoid for GCD<T>

type Val = usize

impl<T> Monoid for Affine<T>

where T: Clone + Debug, Affine<T>: AffineTransform<T>,

type Val = (T, T)

impl<T: Ord + Bounded + Clone> Monoid for Indexed<Max<T>>

type Val = (T, usize)

impl<T: Ord + Bounded + Clone> Monoid for Indexed<Min<T>>

type Val = (T, usize)

impl<T: Ord + Bounded + Clone> Monoid for Max<T>

type Val = T

impl<T: Ord + Bounded + Clone> Monoid for Min<T>

type Val = T

impl<T: Ord + Bounded + Clone> Monoid for MinMax<T>

type Val = (T, T)

impl<T: One + Clone> Monoid for Mul<T>

type Val = T

impl<T: Zero + Clone> Monoid for Add<T>

type Val = T