Trait prcn_lib::monoid::Monoid

pub trait Monoid: Sized {
    fn identity() -> Self;
    fn op(x: &Self, y: &Self) -> Self;

    fn fold(v: &[Self]) -> Self { ... }
}

単位元が定義される T -> T -> T型の演算

Required methods

fn identity() -> Self

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

Loading content...

Provided methods

fn fold(v: &[Self]) -> Self

Loading content...

Implementors

impl Monoid for BoolAnd

fn identity() -> Self

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

impl Monoid for BoolOr

fn identity() -> Self

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

impl Monoid for BoolXor

fn identity() -> Self

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

impl<T> Monoid for And<T> where
    T: Copy + Clone + BitAnd<Output = T> + Bounded + Sub<Output = T> + One, 

fn identity() -> Self

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

impl<T: Integer> Monoid for Gcd<T>

fn identity() -> Self

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

impl<T: Integer> Monoid for Lcm<T>

fn identity() -> Self

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

impl<T: Clone + Copy + Zero + Add<Output = T>> Monoid for Sum<T>

fn identity() -> Self

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

impl<T: Clone + Copy + One + Mul<Output = T>> Monoid for Product<T>

fn identity() -> Self

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

impl<T: Copy + Clone + BitOr<Output = T> + Zero> Monoid for Or<T>

fn identity() -> Self

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

impl<T: Copy + Clone + BitXor<Output = T> + Zero> Monoid for Xor<T>

fn identity() -> Self

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

impl<T: Copy + Clone + Bounded + Ord> Monoid for Max<T>

fn identity() -> Self

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

impl<T: Copy + Clone + Bounded + Ord> Monoid for Min<T>

fn identity() -> Self

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

Loading content...