pub enum Binder {
Annotation,
InstanceHead,
MemberSignature,
}Expand description
What a rigid variable was written in: the three kinds of declared type a body is held to.
Variants§
Annotation
A declaration’s annotation, or the answer type of a derivation’s binding.
InstanceHead
An instance’s head.
MemberSignature
The signature of a class member, for the variables it binds beyond the class’s own: the signature an instance’s binding is held to.
Trait Implementations§
impl Copy for Binder
impl Eq for Binder
impl StructuralPartialEq for Binder
Auto Trait Implementations§
impl Freeze for Binder
impl RefUnwindSafe for Binder
impl Send for Binder
impl Sync for Binder
impl Unpin for Binder
impl UnsafeUnpin for Binder
impl UnwindSafe for Binder
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more