Struct OneCriticalGrade 

pub struct OneCriticalGrade<VF, const N: usize>(pub [VF; N]);

A 1-critical grade. The default order is lexicographic.

Tuple Fields

0: [VF; N]

Implementations

impl<VF: Value, const N: usize> OneCriticalGrade<VF, N>

pub fn iter(&self) -> Iter<'_, VF>

impl<VF: Value, const N: usize> OneCriticalGrade<VF, N>

pub fn cmp_colexicographically(&self, b: &Self) -> Ordering

Trait Implementations

impl<VF: Clone, const N: usize> Clone for OneCriticalGrade<VF, N>

fn clone(&self) -> OneCriticalGrade<VF, N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<VF: Value, const N: usize> CriticalGrade for OneCriticalGrade<VF, N>

fn lte(&self, other: &Self) -> bool

Returns true if, for all i in 0..(N-1), the i’th value of self is less than or equal to the i’th value of the other.

fn min_value() -> OneCriticalGrade<VF, N>

Minimum possible value.

fn max_value() -> OneCriticalGrade<VF, N>

Maximum possible value.

fn zero() -> OneCriticalGrade<VF, N>

Zero value.

fn join(&self, other: &Self) -> Self

The least upper bound of the given grades.

fn gte(&self, other: &Self) -> bool

Grater than or equal to the other grade.

fn parameters() -> usize

Number of parameters.

fn is_incomparable_to(&self, other: &Self) -> bool

Returns true if self is incomparable to other, meaning that neither self <= other and neither self >= other.

impl<VF: Debug, const N: usize> Debug for OneCriticalGrade<VF, N>

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

Formats the value using the given formatter.

impl<VF: Value, const N: usize> Display for OneCriticalGrade<VF, N>

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

Formats the value using the given formatter.

impl<VF: Value, const N: usize> From<[VF; N]> for OneCriticalGrade<VF, N>

fn from(grade: [VF; N]) -> Self

Converts to this type from the input type.

impl<VF: Value> From<VF> for OneCriticalGrade<VF, 1>

fn from(grade: VF) -> Self

Converts to this type from the input type.

impl<VF: Hash, const N: usize> Hash for OneCriticalGrade<VF, N>

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<VF: Value, const N: usize> Index<usize> for OneCriticalGrade<VF, N>

type Output = VF

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<VF: Value, const N: usize> IndexMut<usize> for OneCriticalGrade<VF, N>

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<VF: Ord, const N: usize> Ord for OneCriticalGrade<VF, N>

fn cmp(&self, other: &OneCriticalGrade<VF, N>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<VF: PartialEq, const N: usize> PartialEq for OneCriticalGrade<VF, N>

fn eq(&self, other: &OneCriticalGrade<VF, N>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<VF: PartialOrd, const N: usize> PartialOrd for OneCriticalGrade<VF, N>

fn partial_cmp(&self, other: &OneCriticalGrade<VF, N>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<VF: Copy, const N: usize> Copy for OneCriticalGrade<VF, N>

impl<VF: Eq, const N: usize> Eq for OneCriticalGrade<VF, N>

impl<VF, const N: usize> StructuralPartialEq for OneCriticalGrade<VF, N>