Struct cp_library_rs::algebraic_structure::operation::Max

pub struct Max<T>(_);

最大値

Trait Implementations

impl<T: Clone> Clone for Max<T>

fn clone(&self) -> Max<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for Max<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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

type Val = T

データの型 （$S$）

fn id() -> Self::Val

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

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

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

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

type Val = T

元の型

fn id() -> Self::Val

単位元

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

可換かつ冪等な二項演算

impl<T: Ord + Bounded + Clone + Debug> CommutativeMonoid for Max<T>