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 ==
.