[−][src]Struct ra_ap_hir::Type
Implementations
impl Type
[src]
pub fn is_unit(&self) -> bool
[src]
pub fn is_bool(&self) -> bool
[src]
pub fn is_mutable_reference(&self) -> bool
[src]
pub fn is_unknown(&self) -> bool
[src]
pub fn impls_future(&self, db: &dyn HirDatabase) -> bool
[src]
Checks that particular type ty
implements std::future::Future
.
This function is used in .await
syntax completion.
pub fn impls_trait(
&self,
db: &dyn HirDatabase,
trait_: Trait,
args: &[Type]
) -> bool
[src]
&self,
db: &dyn HirDatabase,
trait_: Trait,
args: &[Type]
) -> bool
pub fn is_copy(&self, db: &dyn HirDatabase) -> bool
[src]
pub fn as_callable(&self, db: &dyn HirDatabase) -> Option<Callable>
[src]
pub fn is_closure(&self) -> bool
[src]
pub fn is_fn(&self) -> bool
[src]
pub fn is_packed(&self, db: &dyn HirDatabase) -> bool
[src]
pub fn is_raw_ptr(&self) -> bool
[src]
pub fn contains_unknown(&self) -> bool
[src]
pub fn fields(&self, db: &dyn HirDatabase) -> Vec<(Field, Type)>
[src]
pub fn tuple_fields(&self, _db: &dyn HirDatabase) -> Vec<Type>
[src]
pub fn autoderef<'a>(
&'a self,
db: &'a dyn HirDatabase
) -> impl Iterator<Item = Type> + 'a
[src]
&'a self,
db: &'a dyn HirDatabase
) -> impl Iterator<Item = Type> + 'a
pub fn iterate_assoc_items<T>(
self,
db: &dyn HirDatabase,
krate: Crate,
callback: impl FnMut(AssocItem) -> Option<T>
) -> Option<T>
[src]
self,
db: &dyn HirDatabase,
krate: Crate,
callback: impl FnMut(AssocItem) -> Option<T>
) -> Option<T>
pub fn iterate_method_candidates<T>(
&self,
db: &dyn HirDatabase,
krate: Crate,
traits_in_scope: &FxHashSet<TraitId>,
name: Option<&Name>,
callback: impl FnMut(&Ty, Function) -> Option<T>
) -> Option<T>
[src]
&self,
db: &dyn HirDatabase,
krate: Crate,
traits_in_scope: &FxHashSet<TraitId>,
name: Option<&Name>,
callback: impl FnMut(&Ty, Function) -> Option<T>
) -> Option<T>
pub fn iterate_path_candidates<T>(
&self,
db: &dyn HirDatabase,
krate: Crate,
traits_in_scope: &FxHashSet<TraitId>,
name: Option<&Name>,
callback: impl FnMut(&Ty, AssocItem) -> Option<T>
) -> Option<T>
[src]
&self,
db: &dyn HirDatabase,
krate: Crate,
traits_in_scope: &FxHashSet<TraitId>,
name: Option<&Name>,
callback: impl FnMut(&Ty, AssocItem) -> Option<T>
) -> Option<T>
pub fn as_adt(&self) -> Option<Adt>
[src]
pub fn as_dyn_trait(&self) -> Option<Trait>
[src]
pub fn as_impl_traits(&self, db: &dyn HirDatabase) -> Option<Vec<Trait>>
[src]
pub fn as_associated_type_parent_trait(
&self,
db: &dyn HirDatabase
) -> Option<Trait>
[src]
&self,
db: &dyn HirDatabase
) -> Option<Trait>
pub fn is_equal_for_find_impls(&self, other: &Type) -> bool
[src]
pub fn walk(&self, db: &dyn HirDatabase, cb: impl FnMut(Type))
[src]
Trait Implementations
impl Clone for Type
[src]
impl Debug for Type
[src]
impl Eq for Type
[src]
impl HirDisplay for Type
[src]
fn hir_fmt(&self, f: &mut HirFormatter<'_>) -> Result<(), HirDisplayError>
[src]
fn display(
&'a self,
db: &'a (dyn HirDatabase + 'static)
) -> HirDisplayWrapper<'a, Self>
[src]
&'a self,
db: &'a (dyn HirDatabase + 'static)
) -> HirDisplayWrapper<'a, Self>
fn display_truncated(
&'a self,
db: &'a (dyn HirDatabase + 'static),
max_size: Option<usize>
) -> HirDisplayWrapper<'a, Self>
[src]
&'a self,
db: &'a (dyn HirDatabase + 'static),
max_size: Option<usize>
) -> HirDisplayWrapper<'a, Self>
fn display_source_code(
&'a self,
db: &'a (dyn HirDatabase + 'static),
module_id: ModuleId
) -> Result<String, DisplaySourceCodeError>
[src]
&'a self,
db: &'a (dyn HirDatabase + 'static),
module_id: ModuleId
) -> Result<String, DisplaySourceCodeError>
impl PartialEq<Type> for Type
[src]
impl StructuralEq for Type
[src]
impl StructuralPartialEq for Type
[src]
Auto Trait Implementations
impl RefUnwindSafe for Type
impl Send for Type
impl Sync for Type
impl Unpin for Type
impl UnwindSafe for Type
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Any for T where
T: Any,
T: Any,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Cast for T
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Self: CastTo<U>,
U: HasInterner,
impl<T> CloneAny for T where
T: Clone + Any,
T: Clone + Any,
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
fn equivalent(&self, key: &K) -> bool
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,