Struct AppendId

Source

pub struct AppendId<M>(pub M);

Expand description

単位元を追加したモノイド

Tuple Fields§

§0: M

Trait Implementations§

Source §

impl<M: BinaryOp> BinaryOp for AppendId<M>

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<M: Set> Identity for AppendId<M>

Source §

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

単位元

Source §

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

単位元の判定

Source §

impl<M: Set> Set for AppendId<M>

Source §

type Element = Option<<M as Set>::Element>

集合の元

Source §

impl<M: Associative> Associative for AppendId<M>

Source §

impl<M: Commutative> Commutative for AppendId<M>

Source §

impl<M: Idempotence> Idempotence for AppendId<M>

Auto Trait Implementations§

§

impl<M> UnwindSafe for AppendId<M>
where M: 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> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into 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(&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(&self, iter: I) -> Option<Self::Element>
where I: IntoIterator<Item = Self::Element>,

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

Source §

impl<T, U> TryFrom 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>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Source §

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

Source §

Struct AppendIdCopy item path

Tuple Fields§

Trait Implementations§

impl<M: BinaryOp> BinaryOp for AppendId<M>

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

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

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

impl<M: Set> Identity for AppendId<M>

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

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

impl<M: Set> Set for AppendId<M>

type Element = Option<<M as Set>::Element>

impl<M: Associative> Associative for AppendId<M>

impl<M: Commutative> Commutative for AppendId<M>

impl<M: Idempotence> Idempotence for AppendId<M>

Auto Trait Implementations§

impl<M> Freeze for AppendId<M>where M: Freeze,

impl<M> RefUnwindSafe for AppendId<M>where M: RefUnwindSafe,

impl<M> Send for AppendId<M>where M: Send,

impl<M> Sync for AppendId<M>where M: Sync,

impl<M> Unpin for AppendId<M>where M: Unpin,

impl<M> UnwindSafe for AppendId<M>where M: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

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

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

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

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

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

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

type Error = Infallible

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

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

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

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

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

impl<T> Semilattice for Twhere T: Semigroup + Commutative + Idempotence,

Struct AppendId

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

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

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

impl<M> Freeze for AppendId<M>
where M: Freeze,

impl<M> RefUnwindSafe for AppendId<M>
where M: RefUnwindSafe,

impl<M> Send for AppendId<M>
where M: Send,

impl<M> Sync for AppendId<M>
where M: Sync,

impl<M> Unpin for AppendId<M>
where M: Unpin,

impl<M> UnwindSafe for AppendId<M>
where M: UnwindSafe,

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

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

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

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

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

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

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

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

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

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

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

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

impl<T> Semilattice for T
where T: Semigroup + Commutative + Idempotence,