Enum OpMax 

pub enum OpMax<T> {
    OpMaxV,
    _Marker(T),
}

最大値を返す演算を持つ。

単位元は Min で定義する。

Variants

OpMaxV

_Marker(T)

Trait Implementations

impl<T: Clone> Clone for OpMax<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for OpMax<T>

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

Formats the value using the given formatter.

impl<T> Default for OpMax<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T> Identity for OpMax<T>

where T: Ord + Eq + Sized + Min,

fn id(&self) -> Self::Set

単位元を返す。

impl<T> Magma for OpMax<T>

where T: Ord + Eq + Sized,

type Set = T

集合 $M$ に対応する型。

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

$x \circ y$ を返す。

impl<T: PartialEq> PartialEq for OpMax<T>

fn eq(&self, other: &OpMax<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T> Associative for OpMax<T>

where T: Ord + Eq + Sized,

impl<T> Commutative for OpMax<T>

where T: Ord + Eq + Sized,

impl<T: Copy> Copy for OpMax<T>

impl<T: Eq> Eq for OpMax<T>

impl<T> StructuralPartialEq for OpMax<T>