Trait cp_library_rs::algebraic_structure::ordered_monoid::OrderedMonoid

pub trait OrderedMonoid: Monoid {
    // Required methods
    fn lt(left: &Self::Val, right: &Self::Val) -> bool;
    fn le(left: &Self::Val, right: &Self::Val) -> bool;
}

順序付きモノイド

Required Methods

fn lt(left: &Self::Val, right: &Self::Val) -> bool

fn le(left: &Self::Val, right: &Self::Val) -> bool

Implementors

impl OrderedMonoid for Add<isize>

impl OrderedMonoid for Add<usize>