pub enum DeclarationGroup {
Type(GDeclarationGroup<TypeDeclId>),
Fun(GDeclarationGroup<FunDeclId>),
Global(GDeclarationGroup<GlobalDeclId>),
TraitDecl(GDeclarationGroup<TraitDeclId>),
TraitImpl(GDeclarationGroup<TraitImplId>),
Mixed(GDeclarationGroup<ItemId>),
}Expand description
A (group of) top-level declaration(s), properly reordered.
Variants§
Type(GDeclarationGroup<TypeDeclId>)
A type declaration group
Fun(GDeclarationGroup<FunDeclId>)
A function declaration group
Global(GDeclarationGroup<GlobalDeclId>)
A global declaration group
TraitDecl(GDeclarationGroup<TraitDeclId>)
TraitImpl(GDeclarationGroup<TraitImplId>)
Mixed(GDeclarationGroup<ItemId>)
Anything that doesn’t fit into these categories.
Implementations§
Source§impl DeclarationGroup
impl DeclarationGroup
pub fn variant_index_arity(&self) -> (u32, usize)
Source§impl DeclarationGroup
impl DeclarationGroup
pub fn variant_name(&self) -> &'static str
Source§impl DeclarationGroup
impl DeclarationGroup
pub fn as_type(&self) -> Option<&GDeclarationGroup<TypeDeclId>>
pub fn as_fun(&self) -> Option<&GDeclarationGroup<FunDeclId>>
pub fn as_global(&self) -> Option<&GDeclarationGroup<GlobalDeclId>>
pub fn as_trait_decl(&self) -> Option<&GDeclarationGroup<TraitDeclId>>
pub fn as_trait_impl(&self) -> Option<&GDeclarationGroup<TraitImplId>>
pub fn as_mixed(&self) -> Option<&GDeclarationGroup<ItemId>>
Source§impl DeclarationGroup
impl DeclarationGroup
pub fn as_type_mut(&mut self) -> Option<&mut GDeclarationGroup<TypeDeclId>>
pub fn as_fun_mut(&mut self) -> Option<&mut GDeclarationGroup<FunDeclId>>
pub fn as_global_mut(&mut self) -> Option<&mut GDeclarationGroup<GlobalDeclId>>
pub fn as_trait_decl_mut( &mut self, ) -> Option<&mut GDeclarationGroup<TraitDeclId>>
pub fn as_trait_impl_mut( &mut self, ) -> Option<&mut GDeclarationGroup<TraitImplId>>
pub fn as_mixed_mut(&mut self) -> Option<&mut GDeclarationGroup<ItemId>>
Source§impl DeclarationGroup
impl DeclarationGroup
fn make_group(is_rec: bool, ids: Vec<ItemId>) -> Self
pub fn to_mixed_group(&self) -> GDeclarationGroup<ItemId>
pub fn get_ids(&self) -> Vec<ItemId>
Trait Implementations§
Source§impl AstVisitable for DeclarationGroup
impl AstVisitable for DeclarationGroup
Source§fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn drive_two<V: ZipAst>(&self, other: &Self, v: &mut V) -> ControlFlow<V::Break>
fn drive_two<V: ZipAst>(&self, other: &Self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))where
Self: Sized,
fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))where
Self: Sized,
Visit all occurrences of that type inside
self, in pre-order traversal.Source§fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))where
Self: Sized,
fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))where
Self: Sized,
Visit all occurrences of that type inside
self, in pre-order traversal.Source§impl Clone for DeclarationGroup
impl Clone for DeclarationGroup
Source§fn clone(&self) -> DeclarationGroup
fn clone(&self) -> DeclarationGroup
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for DeclarationGroup
impl Debug for DeclarationGroup
Source§impl<'de> Deserialize<'de> for DeclarationGroup
impl<'de> Deserialize<'de> for DeclarationGroup
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Display for DeclarationGroup
impl Display for DeclarationGroup
Source§impl<C: AstFormatter> FmtWithCtx<C> for DeclarationGroup
impl<C: AstFormatter> FmtWithCtx<C> for DeclarationGroup
Auto Trait Implementations§
impl Freeze for DeclarationGroup
impl RefUnwindSafe for DeclarationGroup
impl Send for DeclarationGroup
impl Sync for DeclarationGroup
impl Unpin for DeclarationGroup
impl UnsafeUnpin for DeclarationGroup
impl UnwindSafe for DeclarationGroup
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreimpl<T> Mappable for T
Source§impl<T> TyVisitable for Twhere
T: AstVisitable,
impl<T> TyVisitable for Twhere
T: AstVisitable,
Source§fn visit_vars(&mut self, v: &mut impl VarsVisitor)
fn visit_vars(&mut self, v: &mut impl VarsVisitor)
Visit the variables contained in
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen De Bruijn indices
will count from the outside of self.Source§fn substitute(self, generics: &GenericArgs) -> Self
fn substitute(self, generics: &GenericArgs) -> Self
Substitute the generic variables inside
self by replacing them with the provided values.
Note: if self is an item that comes from a TraitDecl, you must use
substitute_with_self or substitute_inner_binder, otherwise you’ll get panics.Source§fn substitute_inner_binder(self, generics: &GenericArgs) -> Self
fn substitute_inner_binder(self, generics: &GenericArgs) -> Self
Substitute the generic variables inside
self by replacing them with the provided values.
This is appropriate when substituting an inner binder.Source§fn substitute_explicits(self, generics: &GenericArgs) -> Self
fn substitute_explicits(self, generics: &GenericArgs) -> Self
Substitute only the type, region and const generic args.
Source§fn substitute_with_self(
self,
generics: &GenericArgs,
self_ref: &TraitRefKind,
) -> Self
fn substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Self
Substitute the generic variables as well as the
TraitRefKind::SelfId trait ref.Source§fn substitute_with_tref(self, tref: &TraitRef) -> Self
fn substitute_with_tref(self, tref: &TraitRef) -> Self
Substitute the generic variables as well as the
TraitRefKind::SelfId trait ref.Source§fn try_substitute_with_tref(
self,
tref: &TraitRef,
) -> Result<Self, GenericsMismatch>
fn try_substitute_with_tref( self, tref: &TraitRef, ) -> Result<Self, GenericsMismatch>
Substitute the generic variables as well as the
TraitRefKind::SelfId trait ref.fn try_substitute( self, generics: &GenericArgs, ) -> Result<Self, GenericsMismatch>
fn try_substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Result<Self, GenericsMismatch>
Source§fn move_under_binder(self) -> Self
fn move_under_binder(self) -> Self
Move under one binder.
Source§fn move_under_binders(self, depth: DeBruijnId) -> Self
fn move_under_binders(self, depth: DeBruijnId) -> Self
Move under
depth binders.Source§fn move_from_under_binder(self) -> Option<Self>
fn move_from_under_binder(self) -> Option<Self>
Move from under one binder.
Source§fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
Move the value out of
depth binders. Returns None if it contains a variable bound in
one of these depth binders.Source§fn visit_db_id<B>(
&mut self,
f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>,
) -> ControlFlow<B>
fn visit_db_id<B>( &mut self, f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>, ) -> ControlFlow<B>
Visit the de Bruijn ids contained in
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen indices will count
from the outside of self.Source§fn replace_erased_regions(self, f: impl FnMut() -> Region) -> Self
fn replace_erased_regions(self, f: impl FnMut() -> Region) -> Self
Replace all the erased regions by the output of the provided function. Binders levels are
handled automatically.