Trait ra_ap_hir_def::src::HasChildSource

pub trait HasChildSource<ChildId> {
    type Value;
    fn child_source(
        &self, 
        db: &dyn DefDatabase
    ) -> InFile<ArenaMap<ChildId, Self::Value>>;
}

Associated Types

type Value

Required methods

fn child_source(
    &self,
    db: &dyn DefDatabase
) -> InFile<ArenaMap<ChildId, Self::Value>>

Implementors

impl HasChildSource<Idx<EnumVariantData>> for EnumId

type Value = Variant

fn child_source(
    &self,
    db: &dyn DefDatabase
) -> InFile<ArenaMap<LocalEnumVariantId, Self::Value>>

impl HasChildSource<Idx<FieldData>> for VariantId

type Value = Either<TupleField, RecordField>

fn child_source(
    &self,
    db: &dyn DefDatabase
) -> InFile<ArenaMap<LocalFieldId, Self::Value>>

impl HasChildSource<Idx<ConstParamData>> for GenericDefId

type Value = ConstParam

fn child_source(
    &self,
    db: &dyn DefDatabase
) -> InFile<ArenaMap<LocalConstParamId, Self::Value>>

impl HasChildSource<Idx<LifetimeParamData>> for GenericDefId

type Value = LifetimeParam

fn child_source(
    &self,
    db: &dyn DefDatabase
) -> InFile<ArenaMap<LocalLifetimeParamId, Self::Value>>

impl HasChildSource<Idx<TypeParamData>> for GenericDefId

type Value = Either<Trait, TypeParam>

fn child_source(
    &self,
    db: &dyn DefDatabase
) -> InFile<ArenaMap<LocalTypeParamId, Self::Value>>