Trait MonoidCtx

pub trait MonoidCtx {
    type Val: Clone;

    // Required methods
    fn e(&self) -> Self::Val;
    fn op(&self, 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) -> Self::Val

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

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

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

Implementors

impl<T> MonoidCtx for AddMod<T>

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

type Val = T

impl<T> MonoidCtx for MulMod<T>

where T: Clone + One + Mul + Rem<Output = T>,

type Val = T

impl<const K: usize, T: Clone> MonoidCtx for KBest<K, T>

type Val = [Option<T>; K]