Struct ra_ap_hir_def::body::Body[−][src]

pub struct Body {
    pub exprs: Arena<Expr>,
    pub pats: Arena<Pat>,
    pub labels: Arena<Label>,
    pub params: Vec<PatId>,
    pub body_expr: ExprId,
    // some fields omitted
}

Expand description

The body of an item (function, const etc.).

Fields

exprs: Arena<Expr>pats: Arena<Pat>labels: Arena<Label>params: Vec<PatId>

The patterns for the function’s parameters. While the parameter types are part of the function signature, the patterns are not (they don’t change the external type of the function).

If this Body is for the body of a constant, this will just be empty.

body_expr: ExprId

The ExprId of the actual body expression.

Implementations

[src]

impl Body

[src]

pub fn blocks<'a>(
    &'a self, 
    db: &'a dyn DefDatabase
) -> impl Iterator<Item = (BlockId, Arc<DefMap>)> + '_

Returns an iterator over all block expressions in this body that define inner items.

Trait Implementations

[src]

impl Debug for Body

[src]

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

Formats the value using the given formatter. Read more

[src]

impl Index<Idx<Expr>> for Body

type Output = Expr

The returned type after indexing.

[src]

fn index(&self, expr: ExprId) -> &Expr

Performs the indexing (container[index]) operation. Read more

[src]

impl Index<Idx<Label>> for Body

type Output = Label

The returned type after indexing.

[src]

fn index(&self, label: LabelId) -> &Label

Performs the indexing (container[index]) operation. Read more

[src]

impl Index<Idx<Pat>> for Body

type Output = Pat

The returned type after indexing.

[src]

fn index(&self, pat: PatId) -> &Pat

Performs the indexing (container[index]) operation. Read more

[src]

impl PartialEq<Body> for Body

[src]

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

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

[src]

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

This method tests for !=.

[src]

impl Eq for Body

[src]

impl StructuralEq for Body

[src]

impl StructuralPartialEq for Body

Auto Trait Implementations

impl RefUnwindSafe for Body

impl Send for Body

impl Sync for Body

impl Unpin for Body

impl UnwindSafe for Body

Blanket Implementations

[src]

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

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

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

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

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

[src]

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

Mutably borrows from an owned value. Read more

[src]

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

[src]

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

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

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

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

[src]

pub fn into(self) -> U

Performs the conversion.

[src]

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

type Error = Infallible

The type returned in the event of a conversion error.

[src]

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

Performs the conversion.

[src]

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.

[src]

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

Performs the conversion.

[src]

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