Struct erg_type::QuantifiedType
source · [−]Expand description
e.g.
|T: Type| T -> T == Quantified{ unbound_t: (T -> T), bounds: [T: Type] }
Fields
unbound_callable: Box<Type>
bounds: Set<TyBound>
Implementations
Trait Implementations
sourceimpl Clone for QuantifiedType
impl Clone for QuantifiedType
sourcefn clone(&self) -> QuantifiedType
fn clone(&self) -> QuantifiedType
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 moresourceimpl Debug for QuantifiedType
impl Debug for QuantifiedType
sourceimpl Display for QuantifiedType
impl Display for QuantifiedType
sourceimpl Hash for QuantifiedType
impl Hash for QuantifiedType
sourceimpl LimitedDisplay for QuantifiedType
impl LimitedDisplay for QuantifiedType
fn limited_fmt(&self, f: &mut Formatter<'_>, limit: usize) -> Result
sourceimpl PartialEq<QuantifiedType> for QuantifiedType
impl PartialEq<QuantifiedType> for QuantifiedType
sourcefn eq(&self, other: &QuantifiedType) -> bool
fn eq(&self, other: &QuantifiedType) -> bool
impl Eq for QuantifiedType
impl StructuralEq for QuantifiedType
impl StructuralPartialEq for QuantifiedType
Auto Trait Implementations
impl !RefUnwindSafe for QuantifiedType
impl !Send for QuantifiedType
impl !Sync for QuantifiedType
impl Unpin for QuantifiedType
impl !UnwindSafe for QuantifiedType
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
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