Trait cp_library_rs::algebraic_structure::monoid::Monoid

pub trait Monoid {
    type Val: Clone;

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

モノイド

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

Required Associated Types

type Val: Clone

データの型 （$S$）

Required Methods

fn id() -> Self::Val

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

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

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

Implementations on Foreign Types

impl Monoid for ()

type Val = ()

fn id() -> Self::Val

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

Implementors

impl Monoid for Add<f64>

type Val = f64

impl Monoid for Add<isize>

type Val = isize

impl Monoid for Add<usize>

type Val = usize

impl Monoid for Add<M107>

type Val = Modint<MOD107>

impl Monoid for Add<M998>

type Val = Modint<MOD998>

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: One + Clone> Monoid for Mul<T>

type Val = 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)