Struct hir::Enum

source ·
pub struct Enum { /* private fields */ }

Implementations§

source§

impl Enum

source

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

source

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

source

pub fn variants(self, db: &dyn HirDatabase) -> Vec<Variant>

source

pub fn repr(self, db: &dyn HirDatabase) -> Option<ReprOptions>

source

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

source

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

The type of the enum variant bodies.

source

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

Returns true if at least one variant of this enum is a non-unit variant.

source

pub fn layout(self, db: &dyn HirDatabase) -> Result<Layout, LayoutError>

source

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

Trait Implementations§

source§

impl Clone for Enum

source§

fn clone(&self) -> Enum

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Enum

source§

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

Formats the value using the given formatter. Read more
source§

impl From<Enum> for Adt

source§

fn from(it: Enum) -> Adt

Converts to this type from the input type.
source§

impl From<Enum> for EnumId

source§

fn from(ty: Enum) -> EnumId

Converts to this type from the input type.
source§

impl From<Enum> for GenericDef

source§

fn from(it: Enum) -> GenericDef

Converts to this type from the input type.
source§

impl From<Enum> for ModuleDef

source§

fn from(it: Enum) -> ModuleDef

Converts to this type from the input type.
source§

impl From<EnumId> for Enum

source§

fn from(id: EnumId) -> Enum

Converts to this type from the input type.
source§

impl HasAttrs for Enum

source§

impl HasContainer for Enum

source§

impl HasCrate for Enum

source§

fn krate(&self, db: &dyn HirDatabase) -> Crate

source§

impl HasSource for Enum

§

type Ast = Enum

source§

fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>>

Fetches the definition’s source node. Using [crate::Semantics::source] is preferred when working with crate::Semantics, as that caches the parsed file in the semantics’ cache. Read more
source§

impl HasVisibility for Enum

source§

fn visibility(&self, db: &dyn HirDatabase) -> Visibility

source§

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

source§

impl Hash for Enum

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl HirDisplay for Enum

source§

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

§

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

Returns a Displayable type that is human-readable.
§

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

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

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

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_limited<'a>( &'a self, db: &'a dyn HirDatabase, limited_size: Option<usize> ) -> HirDisplayWrapper<'a, Self>
where Self: Sized,

Returns a Displayable type that is human-readable and tries to limit the number of items inside. Use this for showing definitions which may contain too many items, like trait, struct, enum
§

fn display_source_code<'a>( &'a self, db: &'a dyn HirDatabase, module_id: ModuleId, allow_opaque: bool ) -> 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>( &'a self, db: &'a dyn HirDatabase ) -> HirDisplayWrapper<'a, Self>
where Self: Sized,

Returns a String representation of self for test purposes
source§

impl PartialEq for Enum

source§

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Copy for Enum

source§

impl Eq for Enum

source§

impl StructuralPartialEq for Enum

Auto Trait Implementations§

§

impl RefUnwindSafe for Enum

§

impl Send for Enum

§

impl Sync for Enum

§

impl Unpin for Enum

§

impl UnwindSafe for Enum

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Cast for T

§

fn cast<U>(self, interner: <U as HasInterner>::Interner) -> U
where Self: CastTo<U>, U: HasInterner,

Cast a value to type U using CastTo.
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

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
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> IntoBox<dyn Any> for T
where T: Any,

§

fn into_box(self) -> Box<dyn Any>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn Any + Send> for T
where T: Any + Send,

§

fn into_box(self) -> Box<dyn Any + Send>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn Any + Send + Sync> for T
where T: Any + Send + Sync,

§

fn into_box(self) -> Box<dyn Any + Send + Sync>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn CloneAny> for T
where T: CloneAny,

§

fn into_box(self) -> Box<dyn CloneAny>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn CloneAny + Send> for T
where T: CloneAny + Send,

§

fn into_box(self) -> Box<dyn CloneAny + Send>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn CloneAny + Send + Sync> for T
where T: CloneAny + Send + Sync,

§

fn into_box(self) -> Box<dyn CloneAny + Send + Sync>

Convert self into the appropriate boxed form.
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

§

impl<T> CloneAny for T
where T: Any + Clone,

§

impl<T> Idx for T
where T: Copy + PartialEq + Eq + Hash,