Struct AddMulSemiring

pub struct AddMulSemiring<T>(pub T);

AddとMulの半環

Tuple Fields

0: T

Trait Implementations

impl<T: Clone> Clone for AddMulSemiring<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for AddMulSemiring<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for AddMulSemiring<T>

fn default() -> AddMulSemiring<T>

Returns the “default value” for a type.

impl<T: PartialEq> PartialEq for AddMulSemiring<T>

fn eq(&self, other: &AddMulSemiring<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 Semiring for AddMulSemiring<u128>

fn zero() -> Self

加法の単位元

fn one() -> Self

乗法の単位元

fn add(self, b: Self) -> Self

可換で結合的な二項演算

fn mul(self, b: Self) -> Self

結合的な二項演算

impl Semiring for AddMulSemiring<u16>

fn zero() -> Self

加法の単位元

fn one() -> Self

乗法の単位元

fn add(self, b: Self) -> Self

可換で結合的な二項演算

fn mul(self, b: Self) -> Self

結合的な二項演算

impl Semiring for AddMulSemiring<u32>

fn zero() -> Self

加法の単位元

fn one() -> Self

乗法の単位元

fn add(self, b: Self) -> Self

可換で結合的な二項演算

fn mul(self, b: Self) -> Self

結合的な二項演算

impl Semiring for AddMulSemiring<u64>

fn zero() -> Self

加法の単位元

fn one() -> Self

乗法の単位元

fn add(self, b: Self) -> Self

可換で結合的な二項演算

fn mul(self, b: Self) -> Self

結合的な二項演算

impl Semiring for AddMulSemiring<u8>

fn zero() -> Self

加法の単位元

fn one() -> Self

乗法の単位元

fn add(self, b: Self) -> Self

可換で結合的な二項演算

fn mul(self, b: Self) -> Self

結合的な二項演算

impl Semiring for AddMulSemiring<usize>

fn zero() -> Self

加法の単位元

fn one() -> Self

乗法の単位元

fn add(self, b: Self) -> Self

可換で結合的な二項演算

fn mul(self, b: Self) -> Self

結合的な二項演算

impl<T: Copy> Copy for AddMulSemiring<T>

impl<T: Eq> Eq for AddMulSemiring<T>

impl<T> StructuralPartialEq for AddMulSemiring<T>