Enum nekolib::utils::OpAdd

pub enum OpAdd<T> {
    OpAddV,
    _Marker(T),
}

和を返す演算を持つ。

std::ops::Add により定義される。 単位元は Zero、逆元は std::ops::Neg で定義する。 結合法則を満たすときは AddAssoc、交換法則を満たすときは AddComm を実装することで示す。

Variants

OpAddV

_Marker(T)

Trait Implementations

impl<T: Clone> Clone for OpAdd<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for OpAdd<T>

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

Formats the value using the given formatter.

impl<T> Default for OpAdd<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T> Identity for OpAdd<T>where T: Add<Output = T> + Eq + Sized + Zero,

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

単位元を返す。

impl<T> Magma for OpAdd<T>where T: Add<Output = T> + Eq + Sized,

type Set = T

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

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

$x \circ y$ を返す。

impl<T: PartialEq> PartialEq<OpAdd<T>> for OpAdd<T>

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T> PartialRecip for OpAdd<T>where T: Add<Output = T> + Eq + Sized + Neg<Output = T>,

fn partial_recip(&self, x: Self::Set) -> Option<Self::Set>

impl<T> Recip for OpAdd<T>where T: Add<Output = T> + Eq + Sized + Neg<Output = T>,

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

impl<T> Associative for OpAdd<T>where T: Add<Output = T> + Eq + Sized + AddAssoc,

impl<T> Commutative for OpAdd<T>where T: Add<Output = T> + Eq + Sized + AddComm,

impl<T: Copy> Copy for OpAdd<T>

impl Distributive<OpAdd<i128>> for OpMul<i128>

impl Distributive<OpAdd<i16>> for OpMul<i16>

impl Distributive<OpAdd<i32>> for OpMul<i32>

impl Distributive<OpAdd<i64>> for OpMul<i64>

impl Distributive<OpAdd<i8>> for OpMul<i8>

impl Distributive<OpAdd<isize>> for OpMul<isize>

impl Distributive<OpAdd<u128>> for OpMul<u128>

impl Distributive<OpAdd<u16>> for OpMul<u16>

impl Distributive<OpAdd<u32>> for OpMul<u32>

impl Distributive<OpAdd<u64>> for OpMul<u64>

impl Distributive<OpAdd<u8>> for OpMul<u8>

impl Distributive<OpAdd<usize>> for OpMul<usize>

impl<T: Eq> Eq for OpAdd<T>

impl<T> StructuralEq for OpAdd<T>

impl<T> StructuralPartialEq for OpAdd<T>