Enum ra_ap_hir::Adt

pub enum Adt {
    Struct(Struct),
    Union(Union),
    Enum(Enum),
}

A Data Type

Variants

Struct(Struct)

Union(Union)

Enum(Enum)

Implementations

impl Adt

pub fn has_non_default_type_params(self, db: &dyn HirDatabase) -> bool

pub fn ty(self, db: &dyn HirDatabase) -> Type

Turns this ADT into a type. Any type parameters of the ADT will be turned into unknown types, which is good for e.g. finding the most general set of completions, but will not look very nice when printed.

pub fn module(self, db: &dyn HirDatabase) -> Module

pub fn name(self, db: &dyn HirDatabase) -> Name

Trait Implementations

impl Clone for Adt

fn clone(&self) -> Adt

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Adt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<Adt> for ModuleDef

fn from(it: Adt) -> ModuleDef

Performs the conversion.

impl From<Adt> for GenericDef

fn from(it: Adt) -> GenericDef

Performs the conversion.

impl From<AdtId> for Adt

fn from(id: AdtId) -> Self

Performs the conversion.

impl From<Enum> for Adt

fn from(it: Enum) -> Adt

Performs the conversion.

impl From<Struct> for Adt

fn from(it: Struct) -> Adt

Performs the conversion.

impl From<Union> for Adt

fn from(it: Union) -> Adt

Performs the conversion.

impl HasAttrs for Adt

fn attrs(self, db: &dyn HirDatabase) -> AttrsWithOwner

fn docs(self, db: &dyn HirDatabase) -> Option<Documentation>

fn resolve_doc_path(
    self,
    db: &dyn HirDatabase,
    link: &str,
    ns: Option<Namespace>
) -> Option<ModuleDef>

impl Hash for Adt

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl HirDisplay for Adt

fn hir_fmt(&self, f: &mut HirFormatter<'_>) -> Result<(), HirDisplayError>

fn into_displayable(
    &'a self,
    db: &'a (dyn HirDatabase + 'a),
    max_size: Option<usize>,
    omit_verbose_types: bool,
    display_target: DisplayTarget
) -> HirDisplayWrapper<'a, Self>

Returns a Displayable type that is human-readable.

fn display(
    &'a self,
    db: &'a (dyn HirDatabase + 'a)
) -> HirDisplayWrapper<'a, Self>

Returns a Displayable type that is human-readable. Use this for showing types to the user (e.g. diagnostics)

fn display_truncated(
    &'a self,
    db: &'a (dyn HirDatabase + 'a),
    max_size: Option<usize>
) -> HirDisplayWrapper<'a, Self>

Returns a Displayable type that is human-readable and tries to be succinct. Use this for showing types to the user where space is constrained (e.g. doc popups)

fn display_source_code(
    &'a self,
    db: &'a (dyn HirDatabase + 'a),
    module_id: ModuleId
) -> Result<String, DisplaySourceCodeError>

Returns a String representation of self that can be inserted into the given module. Use this when generating code (e.g. assists)

fn display_test(
    &'a self,
    db: &'a (dyn HirDatabase + 'a)
) -> HirDisplayWrapper<'a, Self>

Returns a String representation of self for test purposes

impl PartialEq<Adt> for Adt

fn eq(&self, other: &Adt) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Adt) -> bool

This method tests for !=.

impl Copy for Adt

impl Eq for Adt

impl StructuralEq for Adt

impl StructuralPartialEq for Adt