Struct Sum

Source
pub struct Sum<T>(/* private fields */);
Expand description

加法を演算とする代数的構造

Implementations§

Source§

impl<T> Sum<T>

Source

pub fn new() -> Self

Sum<T>を返す。

Trait Implementations§

Source§

impl Additive for Sum<f32>

Source§

fn times(&self, a: f32, n: u64) -> f32

Source§

impl Additive for Sum<f64>

Source§

fn times(&self, a: f64, n: u64) -> f64

Source§

impl Additive for Sum<i128>

Source§

fn times(&self, a: i128, n: u64) -> i128

Source§

impl Additive for Sum<i16>

Source§

fn times(&self, a: i16, n: u64) -> i16

Source§

impl Additive for Sum<i32>

Source§

fn times(&self, a: i32, n: u64) -> i32

Source§

impl Additive for Sum<i64>

Source§

fn times(&self, a: i64, n: u64) -> i64

Source§

impl Additive for Sum<i8>

Source§

fn times(&self, a: i8, n: u64) -> i8

Source§

impl Additive for Sum<isize>

Source§

fn times(&self, a: isize, n: u64) -> isize

Source§

impl Additive for Sum<u128>

Source§

fn times(&self, a: u128, n: u64) -> u128

Source§

impl Additive for Sum<u16>

Source§

fn times(&self, a: u16, n: u64) -> u16

Source§

impl Additive for Sum<u32>

Source§

fn times(&self, a: u32, n: u64) -> u32

Source§

impl Additive for Sum<u64>

Source§

fn times(&self, a: u64, n: u64) -> u64

Source§

impl Additive for Sum<u8>

Source§

fn times(&self, a: u8, n: u64) -> u8

Source§

impl Additive for Sum<usize>

Source§

fn times(&self, a: usize, n: u64) -> usize

Source§

impl BinaryOp for Sum<f32>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<f64>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<i128>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<i16>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<i32>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<i64>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<i8>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<isize>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<u128>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<u16>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<u32>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<u64>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<u8>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl BinaryOp for Sum<usize>

Source§

fn op(&self, a: Self::Element, b: Self::Element) -> Self::Element

二項演算
Source§

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。
Source§

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)
where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。
Source§

impl<T: Clone> Clone for Sum<T>

Source§

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

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<T: Debug> Debug for Sum<T>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<T: Default> Default for Sum<T>

Source§

fn default() -> Sum<T>

Returns the “default value” for a type. Read more
Source§

impl<T: Hash> Hash for Sum<T>

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Identity for Sum<f32>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<f64>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<i128>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<i16>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<i32>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<i64>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<i8>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<isize>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<u128>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<u16>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<u32>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<u64>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<u8>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Identity for Sum<usize>

Source§

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

単位元
Source§

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定
Source§

impl Inverse for Sum<f32>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl Inverse for Sum<f64>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl Inverse for Sum<i128>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl Inverse for Sum<i16>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl Inverse for Sum<i32>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl Inverse for Sum<i64>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl Inverse for Sum<i8>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl Inverse for Sum<isize>

Source§

fn inv(&self, a: Self::Element) -> Self::Element

逆元
Source§

impl<T: Ord> Ord for Sum<T>

Source§

fn cmp(&self, other: &Sum<T>) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

impl<T: PartialEq> PartialEq for Sum<T>

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl<T: PartialOrd> PartialOrd for Sum<T>

Source§

fn partial_cmp(&self, other: &Sum<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl Set for Sum<f32>

Source§

type Element = f32

集合の元
Source§

impl Set for Sum<f64>

Source§

type Element = f64

集合の元
Source§

impl Set for Sum<i128>

Source§

type Element = i128

集合の元
Source§

impl Set for Sum<i16>

Source§

type Element = i16

集合の元
Source§

impl Set for Sum<i32>

Source§

type Element = i32

集合の元
Source§

impl Set for Sum<i64>

Source§

type Element = i64

集合の元
Source§

impl Set for Sum<i8>

Source§

type Element = i8

集合の元
Source§

impl Set for Sum<isize>

Source§

type Element = isize

集合の元
Source§

impl Set for Sum<u128>

Source§

type Element = u128

集合の元
Source§

impl Set for Sum<u16>

Source§

type Element = u16

集合の元
Source§

impl Set for Sum<u32>

Source§

type Element = u32

集合の元
Source§

impl Set for Sum<u64>

Source§

type Element = u64

集合の元
Source§

impl Set for Sum<u8>

Source§

type Element = u8

集合の元
Source§

impl Set for Sum<usize>

Source§

type Element = usize

集合の元
Source§

impl Associative for Sum<f32>

Source§

impl Associative for Sum<f64>

Source§

impl Associative for Sum<i128>

Source§

impl Associative for Sum<i16>

Source§

impl Associative for Sum<i32>

Source§

impl Associative for Sum<i64>

Source§

impl Associative for Sum<i8>

Source§

impl Associative for Sum<isize>

Source§

impl Associative for Sum<u128>

Source§

impl Associative for Sum<u16>

Source§

impl Associative for Sum<u32>

Source§

impl Associative for Sum<u64>

Source§

impl Associative for Sum<u8>

Source§

impl Associative for Sum<usize>

Source§

impl Commutative for Sum<f32>

Source§

impl Commutative for Sum<f64>

Source§

impl Commutative for Sum<i128>

Source§

impl Commutative for Sum<i16>

Source§

impl Commutative for Sum<i32>

Source§

impl Commutative for Sum<i64>

Source§

impl Commutative for Sum<i8>

Source§

impl Commutative for Sum<isize>

Source§

impl Commutative for Sum<u128>

Source§

impl Commutative for Sum<u16>

Source§

impl Commutative for Sum<u32>

Source§

impl Commutative for Sum<u64>

Source§

impl Commutative for Sum<u8>

Source§

impl Commutative for Sum<usize>

Source§

impl<T: Copy> Copy for Sum<T>

Source§

impl<T: Eq> Eq for Sum<T>

Source§

impl Ordered for Sum<i128>

Source§

impl Ordered for Sum<i16>

Source§

impl Ordered for Sum<i32>

Source§

impl Ordered for Sum<i64>

Source§

impl Ordered for Sum<i8>

Source§

impl Ordered for Sum<isize>

Source§

impl Ordered for Sum<u128>

Source§

impl Ordered for Sum<u16>

Source§

impl Ordered for Sum<u32>

Source§

impl Ordered for Sum<u64>

Source§

impl Ordered for Sum<u8>

Source§

impl Ordered for Sum<usize>

Source§

impl<T> StructuralPartialEq for Sum<T>

Auto Trait Implementations§

§

impl<T> Freeze for Sum<T>

§

impl<T> RefUnwindSafe for Sum<T>
where T: RefUnwindSafe,

§

impl<T> Send for Sum<T>
where T: Send,

§

impl<T> Sync for Sum<T>
where T: Sync,

§

impl<T> Unpin for Sum<T>
where T: Unpin,

§

impl<T> UnwindSafe for Sum<T>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Monoid for T
where T: Semigroup + Identity,

Source§

fn fold_m<I>(&self, iter: I) -> Self::Element
where I: IntoIterator<Item = Self::Element>,

iterが空のとき、モノイドの単位元を返す。 そうでないとき、iterの中身を二項演算で畳み込んで返す。
Source§

fn times(&self, a: Self::Element, n: u64) -> Self::Element
where Self::Element: Clone,

$\underbrace{a \circ a \circ \dots \circ a \circ a}_{n}$を計算する。
Source§

impl<T> Semigroup for T
where T: BinaryOp + Associative,

Source§

fn reduce<I>(&self, iter: I) -> Option<Self::Element>
where I: IntoIterator<Item = Self::Element>,

iterが空のとき、Noneを返す。 そうでないとき、iterの中身を二項演算で畳み込んでSomeで返す。
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> AbelianGroup for T
where T: Group + Commutative,

Source§

impl<T> AbelianMonoid for T
where T: Monoid + Commutative,

Source§

impl<T> Group for T
where T: Monoid + Inverse,