pub enum RangeConstraintIds {
Interval(ConstraintId),
Split {
lower: ConstraintId,
upper: ConstraintId,
},
}Expand description
Model row IDs produced by a two-sided range declaration.
Constant bounds with a linear body produce one interval row. Other ranges produce separate lower and upper rows. You can query each row’s dual individually.
Variants§
Trait Implementations§
Source§impl Clone for RangeConstraintIds
impl Clone for RangeConstraintIds
impl Copy for RangeConstraintIds
Source§impl Debug for RangeConstraintIds
impl Debug for RangeConstraintIds
impl Eq for RangeConstraintIds
Source§impl From<RangeConstraintHandles> for RangeConstraintIds
impl From<RangeConstraintHandles> for RangeConstraintIds
Source§fn from(value: RangeConstraintHandles) -> Self
fn from(value: RangeConstraintHandles) -> Self
Converts to this type from the input type.
Source§impl PartialEq for RangeConstraintIds
impl PartialEq for RangeConstraintIds
impl StructuralPartialEq for RangeConstraintIds
Auto Trait Implementations§
impl Freeze for RangeConstraintIds
impl RefUnwindSafe for RangeConstraintIds
impl Send for RangeConstraintIds
impl Sync for RangeConstraintIds
impl Unpin for RangeConstraintIds
impl UnsafeUnpin for RangeConstraintIds
impl UnwindSafe for RangeConstraintIds
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more