Enum erg_compiler::ty::typaram::TyParamOrdering

#[repr(u8)]
pub enum TyParamOrdering {
    Less = 0,
    Equal = 1,
    Greater = 2,
    LessEqual = 3,
    NotEqual = 4,
    GreaterEqual = 5,
    Any = 6,
    NoRelation = 7,
}

Variants

Less = 0

Equal = 1

Greater = 2

LessEqual = 3

NotEqual = 4

GreaterEqual = 5

Any = 6

NoRelation = 7

Implementations

impl TyParamOrdering

pub const fn canbe_eq(self) -> bool

pub const fn canbe_lt(self) -> bool

pub const fn canbe_gt(self) -> bool

pub const fn canbe_le(self) -> bool

pub const fn canbe_ge(self) -> bool

pub const fn canbe_ne(self) -> bool

pub const fn is_lt(&self) -> bool

pub const fn is_le(&self) -> bool

pub const fn is_gt(&self) -> bool

pub const fn is_ge(&self) -> bool

pub const fn is_eq(&self) -> bool

pub const fn is_ne(&self) -> bool

pub const fn reverse(&self) -> Self

Trait Implementations

impl Clone for TyParamOrdering

fn clone(&self) -> TyParamOrdering

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyParamOrdering

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<Ordering> for TyParamOrdering

fn from(o: Ordering) -> Self

Converts to this type from the input type.

impl Hash for TyParamOrdering

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TyParamOrdering

fn eq(&self, other: &TyParamOrdering) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<TyParamOrdering> for Ordering

type Error = ()

The type returned in the event of a conversion error.

fn try_from(o: TyParamOrdering) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for TyParamOrdering

impl Eq for TyParamOrdering

impl StructuralPartialEq for TyParamOrdering