Struct ra_ap_hir::Const

pub struct Const { /* private fields */ }

Implementations

impl Const

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

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

pub fn value(self, db: &dyn HirDatabase) -> Option<Expr>

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

pub fn render_eval(self, db: &dyn HirDatabase) -> Result<String, ConstEvalError>

Trait Implementations

impl AsAssocItem for Const

fn as_assoc_item(self, db: &dyn HirDatabase) -> Option<AssocItem>

impl Clone for Const

fn clone(&self) -> Const

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Const

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

Formats the value using the given formatter.

impl From<Const> for ConstId

fn from(ty: Const) -> ConstId

Converts to this type from the input type.

impl From<Const> for DefWithBody

fn from(it: Const) -> DefWithBody

Converts to this type from the input type.

impl From<Const> for GenericDef

fn from(it: Const) -> GenericDef

Converts to this type from the input type.

impl From<Const> for ModuleDef

fn from(it: Const) -> ModuleDef

Converts to this type from the input type.

impl From<ConstId> for Const

fn from(id: ConstId) -> Const

Converts to this type from the input type.

impl HasAttrs for Const

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<DocLinkDef>

impl HasContainer for Const

fn container(&self, db: &dyn HirDatabase) -> ItemContainer

impl HasCrate for Const

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

impl HasSource for Const

type Ast = Const

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.

impl HasVisibility for Const

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

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

impl Hash for Const

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl HirDisplay for Const

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

fn into_displayable<'a>( &'a self, db: &'a dyn HirDatabase, max_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_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

impl PartialEq<Const> for Const

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

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

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.

impl Copy for Const

impl Eq for Const

impl StructuralEq for Const

impl StructuralPartialEq for Const