Trait vstd::prelude::SpecOrd

pub trait SpecOrd<Rhs = Self> {
    // Required methods
    fn spec_lt(self, rhs: Rhs) -> bool;
    fn spec_le(self, rhs: Rhs) -> bool;
    fn spec_gt(self, rhs: Rhs) -> bool;
    fn spec_ge(self, rhs: Rhs) -> bool;
}

Required Methods§

fn spec_lt(self, rhs: Rhs) -> bool

fn spec_le(self, rhs: Rhs) -> bool

fn spec_gt(self, rhs: Rhs) -> bool

fn spec_ge(self, rhs: Rhs) -> bool

Implementations on Foreign Types§

§

impl<Rhs> SpecOrd<Rhs> for char
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for i8
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for i16
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for i32
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for i64
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for i128
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for isize
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for u8
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for u16
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for u32
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for u64
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for u128
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecOrd<Rhs> for usize
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

Implementors§

§

impl<Rhs> SpecOrd<Rhs> for int
where Rhs: Integer,

§

impl<Rhs> SpecOrd<Rhs> for nat
where Rhs: Integer,