Enum erg_common::ty::Constraint
source · [−]Variants
Sandwiched
:> Sub, <: Sup
TypeOf(Type)
: T
Uninited
Implementations
sourceimpl Constraint
impl Constraint
pub const fn sandwiched(sub: Type, sup: Type) -> Self
pub const fn subtype_of(sup: Type) -> Self
pub const fn supertype_of(sub: Type) -> Self
pub const fn is_uninited(&self) -> bool
pub fn typ(&self) -> Option<&Type>
pub fn sub_type(&self) -> Option<&Type>
pub fn super_type(&self) -> Option<&Type>
pub fn sub_sup_type(&self) -> Option<(&Type, &Type)>
pub fn super_type_mut(&mut self) -> Option<&mut Type>
Trait Implementations
sourceimpl Clone for Constraint
impl Clone for Constraint
sourcefn clone(&self) -> Constraint
fn clone(&self) -> Constraint
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for Constraint
impl Debug for Constraint
sourceimpl Display for Constraint
impl Display for Constraint
sourceimpl Hash for Constraint
impl Hash for Constraint
sourceimpl PartialEq<Constraint> for Constraint
impl PartialEq<Constraint> for Constraint
sourcefn 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 ==
. Read more
sourcefn ne(&self, other: &Constraint) -> bool
fn ne(&self, other: &Constraint) -> bool
This method tests for !=
.
impl Eq for Constraint
impl StructuralEq for Constraint
impl StructuralPartialEq for Constraint
Auto Trait Implementations
impl !RefUnwindSafe for Constraint
impl !Send for Constraint
impl !Sync for Constraint
impl Unpin for Constraint
impl !UnwindSafe for Constraint
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more