cp_library_rs::algebraic_structure::ordered_monoid

Trait OrderedMonoid

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

順序付きモノイド

Required Methods§

Source

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

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§