Enum erg_compiler::ty::free::Constraint
source · Variants§
Implementations§
source§impl Constraint
impl Constraint
pub const fn new_sandwiched(sub: Type, sup: Type) -> Self
pub fn new_type_of(t: Type) -> Self
pub const fn new_subtype_of(sup: Type) -> Self
pub const fn new_supertype_of(sub: Type) -> Self
pub const fn is_uninited(&self) -> bool
pub fn lift(&self)
pub fn get_type(&self) -> Option<&Type>
pub fn get_sub_sup(&self) -> Option<(&Type, &Type)>
pub fn get_super_mut(&mut self) -> Option<&mut Type>
Trait Implementations§
source§impl Clone for Constraint
impl Clone for Constraint
source§fn clone(&self) -> Constraint
fn clone(&self) -> Constraint
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 Constraint
impl Debug for Constraint
source§impl Display for Constraint
impl Display for Constraint
source§impl Hash for Constraint
impl Hash for Constraint
source§impl LimitedDisplay for Constraint
impl LimitedDisplay for Constraint
source§impl PartialEq<Constraint> for Constraint
impl PartialEq<Constraint> for Constraint
source§fn eq(&self, other: &Constraint) -> bool
fn eq(&self, other: &Constraint) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.