[−][src]Trait lark_hir::HirIndex

pub trait HirIndex: U32Index + Into<MetaIndex> + DebugWith {
    type Data: Clone + DebugWith;
    fn index_vec(hir: &FnBodyTables) -> &IndexVec<Self, Self::Data>;

    fn index_vec_mut(hir: &mut FnBodyTables) -> &mut IndexVec<Self, Self::Data>;
}

Trait implemented by the various kinds of indices that reach into the HIR; allows us to grab the vector that they correspond to.

Associated Types

type Data: Clone + DebugWith

Loading content...

Required methods

fn index_vec(hir: &FnBodyTables) -> &IndexVec<Self, Self::Data>

fn index_vec_mut(hir: &mut FnBodyTables) -> &mut IndexVec<Self, Self::Data>

Loading content...

Implementors

impl HirIndex for Error[src]

type Data = ErrorData

impl HirIndex for Expression[src]

type Data = ExpressionData

impl HirIndex for IdentifiedExpression[src]

type Data = IdentifiedExpressionData

impl HirIndex for Identifier[src]

type Data = IdentifierData

impl HirIndex for Place[src]

type Data = PlaceData

impl HirIndex for Variable[src]

type Data = VariableData

Loading content...