Enum erg_compiler::ty::RefineKind
source · pub enum RefineKind {
Interval {
min: TyParam,
max: TyParam,
},
Enum(Set<TyParam>),
Complex,
}
Variants§
Trait Implementations§
source§impl Clone for RefineKind
impl Clone for RefineKind
source§fn clone(&self) -> RefineKind
fn clone(&self) -> RefineKind
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for RefineKind
impl Debug for RefineKind
source§impl Hash for RefineKind
impl Hash for RefineKind
source§impl PartialEq<RefineKind> for RefineKind
impl PartialEq<RefineKind> for RefineKind
source§fn eq(&self, other: &RefineKind) -> bool
fn eq(&self, other: &RefineKind) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for RefineKind
impl StructuralEq for RefineKind
impl StructuralPartialEq for RefineKind
Auto Trait Implementations§
impl RefUnwindSafe for RefineKind
impl Send for RefineKind
impl Sync for RefineKind
impl Unpin for RefineKind
impl UnwindSafe for RefineKind
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