pub struct DeclEngine { /* private fields */ }Expand description
Used inside of type inference to store declarations.
Implementations§
Source§impl DeclEngine
impl DeclEngine
pub fn clear_program(&mut self, program_id: &ProgramId)
Source§impl DeclEngine
impl DeclEngine
pub fn clear_module(&mut self, source_id: &SourceId)
Source§impl DeclEngine
impl DeclEngine
Sourcepub fn insert_dummy_func(
&self,
decl: TyFunctionDecl,
) -> DeclRef<DeclId<TyFunctionDecl>>
pub fn insert_dummy_func( &self, decl: TyFunctionDecl, ) -> DeclRef<DeclId<TyFunctionDecl>>
Inserts a trait-interface dummy function into the DeclEngine.
This is a bit of a maverick compared to the regular DeclEngineInsert::insert. It deliberately inserts a ty::TyFunctionDecl without an associated parsed declaration.
Dummy functions are placeholders created from trait interface methods (see ty::TyTraitFn::to_dummy_func). They allow the trait’s provided methods to refer to interface methods before an actual implementation exists. Their parsed origin is a TraitFn (i.e., a parsed trait function), not a FunctionDeclaration, so there is no FunctionDeclaration to associate them with.
This is the only semantically valid case of a ty::TyFunctionDecl having no
corresponding parsed declaration. Everything else must go through
DeclEngineInsert::insert or DeclEngineInsert::insert_modified, which guarantee
(and, for insert_modified, assert) the presence of a parsed declaration.
Panics if the decl is not a trait-interface dummy function.
Sourcepub fn get_function<I>(&self, index: &I) -> Arc<TyFunctionDecl> ⓘ
pub fn get_function<I>(&self, index: &I) -> Arc<TyFunctionDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_trait<I>(&self, index: &I) -> Arc<TyTraitDecl> ⓘ
pub fn get_trait<I>(&self, index: &I) -> Arc<TyTraitDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_traits_by_name(&self, trait_name: &Ident) -> Vec<TyTraitDecl>
pub fn get_traits_by_name(&self, trait_name: &Ident) -> Vec<TyTraitDecl>
Returns all the ty::TyTraitDecls whose name is the same as trait_name.
The method does a linear search over all the declared traits and is meant to be used only for diagnostic purposes.
Sourcepub fn get_trait_fn<I>(&self, index: &I) -> Arc<TyTraitFn> ⓘ
pub fn get_trait_fn<I>(&self, index: &I) -> Arc<TyTraitFn> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_impl_self_or_trait<I>(&self, index: &I) -> Arc<TyImplSelfOrTrait> ⓘ
pub fn get_impl_self_or_trait<I>(&self, index: &I) -> Arc<TyImplSelfOrTrait> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_struct<I>(&self, index: &I) -> Arc<TyStructDecl> ⓘ
pub fn get_struct<I>(&self, index: &I) -> Arc<TyStructDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_storage<I>(&self, index: &I) -> Arc<TyStorageDecl> ⓘ
pub fn get_storage<I>(&self, index: &I) -> Arc<TyStorageDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine.
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_abi<I>(&self, index: &I) -> Arc<TyAbiDecl> ⓘ
pub fn get_abi<I>(&self, index: &I) -> Arc<TyAbiDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_constant<I>(&self, index: &I) -> Arc<TyConstantDecl> ⓘ
pub fn get_constant<I>(&self, index: &I) -> Arc<TyConstantDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_configurable<I>(&self, index: &I) -> Arc<TyConfigurableDecl> ⓘ
pub fn get_configurable<I>(&self, index: &I) -> Arc<TyConfigurableDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_const_generic<I>(&self, index: &I) -> Arc<TyConstGenericDecl> ⓘ
pub fn get_const_generic<I>(&self, index: &I) -> Arc<TyConstGenericDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_type<I>(&self, index: &I) -> Arc<TyTraitType> ⓘ
pub fn get_type<I>(&self, index: &I) -> Arc<TyTraitType> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_enum<I>(&self, index: &I) -> Arc<TyEnumDecl> ⓘ
pub fn get_enum<I>(&self, index: &I) -> Arc<TyEnumDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn get_type_alias<I>(&self, index: &I) -> Arc<TyTypeAliasDecl> ⓘ
pub fn get_type_alias<I>(&self, index: &I) -> Arc<TyTypeAliasDecl> ⓘ
Friendly helper method for calling the get method from the
implementation of DeclEngineGet for DeclEngine
Calling [DeclEngine][get] directly is equivalent to this method, but this method adds additional syntax that some users may find helpful.
Sourcepub fn pretty_print(&self, engines: &Engines) -> String
pub fn pretty_print(&self, engines: &Engines) -> String
Pretty print method for printing the DeclEngine. This method is manually implemented to avoid implementation overhead regarding using [DisplayWithEngines].
pub fn metrics(&self) -> DeclEngineMetrics
Trait Implementations§
Source§impl Clone for DeclEngine
impl Clone for DeclEngine
Source§impl Debug for DeclEngine
impl Debug for DeclEngine
Source§impl DeclEngineGet<DeclId<TyAbiDecl>, TyAbiDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyAbiDecl>, TyAbiDecl> for DeclEngine
Source§impl DeclEngineGet<DeclId<TyConfigurableDecl>, TyConfigurableDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyConfigurableDecl>, TyConfigurableDecl> for DeclEngine
fn get(&self, index: &DeclId<TyConfigurableDecl>) -> Arc<TyConfigurableDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyConfigurableDecl>, f: impl FnOnce(&TyConfigurableDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyConstGenericDecl>, TyConstGenericDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyConstGenericDecl>, TyConstGenericDecl> for DeclEngine
fn get(&self, index: &DeclId<TyConstGenericDecl>) -> Arc<TyConstGenericDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyConstGenericDecl>, f: impl FnOnce(&TyConstGenericDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyConstantDecl>, TyConstantDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyConstantDecl>, TyConstantDecl> for DeclEngine
fn get(&self, index: &DeclId<TyConstantDecl>) -> Arc<TyConstantDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyConstantDecl>, f: impl FnOnce(&TyConstantDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyEnumDecl>, TyEnumDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyEnumDecl>, TyEnumDecl> for DeclEngine
fn get(&self, index: &DeclId<TyEnumDecl>) -> Arc<TyEnumDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyEnumDecl>, f: impl FnOnce(&TyEnumDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyFunctionDecl>, TyFunctionDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyFunctionDecl>, TyFunctionDecl> for DeclEngine
fn get(&self, index: &DeclId<TyFunctionDecl>) -> Arc<TyFunctionDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyFunctionDecl>, f: impl FnOnce(&TyFunctionDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyImplSelfOrTrait>, TyImplSelfOrTrait> for DeclEngine
impl DeclEngineGet<DeclId<TyImplSelfOrTrait>, TyImplSelfOrTrait> for DeclEngine
fn get(&self, index: &DeclId<TyImplSelfOrTrait>) -> Arc<TyImplSelfOrTrait> ⓘ
fn map<R>( &self, index: &DeclId<TyImplSelfOrTrait>, f: impl FnOnce(&TyImplSelfOrTrait) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyStorageDecl>, TyStorageDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyStorageDecl>, TyStorageDecl> for DeclEngine
fn get(&self, index: &DeclId<TyStorageDecl>) -> Arc<TyStorageDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyStorageDecl>, f: impl FnOnce(&TyStorageDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyStructDecl>, TyStructDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyStructDecl>, TyStructDecl> for DeclEngine
fn get(&self, index: &DeclId<TyStructDecl>) -> Arc<TyStructDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyStructDecl>, f: impl FnOnce(&TyStructDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyTraitDecl>, TyTraitDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyTraitDecl>, TyTraitDecl> for DeclEngine
fn get(&self, index: &DeclId<TyTraitDecl>) -> Arc<TyTraitDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyTraitDecl>, f: impl FnOnce(&TyTraitDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyTraitFn>, TyTraitFn> for DeclEngine
impl DeclEngineGet<DeclId<TyTraitFn>, TyTraitFn> for DeclEngine
Source§impl DeclEngineGet<DeclId<TyTraitType>, TyTraitType> for DeclEngine
impl DeclEngineGet<DeclId<TyTraitType>, TyTraitType> for DeclEngine
fn get(&self, index: &DeclId<TyTraitType>) -> Arc<TyTraitType> ⓘ
fn map<R>( &self, index: &DeclId<TyTraitType>, f: impl FnOnce(&TyTraitType) -> R, ) -> R
Source§impl DeclEngineGet<DeclId<TyTypeAliasDecl>, TyTypeAliasDecl> for DeclEngine
impl DeclEngineGet<DeclId<TyTypeAliasDecl>, TyTypeAliasDecl> for DeclEngine
fn get(&self, index: &DeclId<TyTypeAliasDecl>) -> Arc<TyTypeAliasDecl> ⓘ
fn map<R>( &self, index: &DeclId<TyTypeAliasDecl>, f: impl FnOnce(&TyTypeAliasDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyAbiDecl>>, TyAbiDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyAbiDecl>>, TyAbiDecl> for DeclEngine
Source§impl DeclEngineGet<DeclRef<DeclId<TyConfigurableDecl>>, TyConfigurableDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyConfigurableDecl>>, TyConfigurableDecl> for DeclEngine
fn get( &self, index: &DeclRef<DeclId<TyConfigurableDecl>>, ) -> Arc<TyConfigurableDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyConfigurableDecl>>, f: impl FnOnce(&TyConfigurableDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyConstGenericDecl>>, TyConstGenericDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyConstGenericDecl>>, TyConstGenericDecl> for DeclEngine
fn get( &self, index: &DeclRef<DeclId<TyConstGenericDecl>>, ) -> Arc<TyConstGenericDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyConstGenericDecl>>, f: impl FnOnce(&TyConstGenericDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyConstantDecl>>, TyConstantDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyConstantDecl>>, TyConstantDecl> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyConstantDecl>>) -> Arc<TyConstantDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyConstantDecl>>, f: impl FnOnce(&TyConstantDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyEnumDecl>>, TyEnumDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyEnumDecl>>, TyEnumDecl> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyEnumDecl>>) -> Arc<TyEnumDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyEnumDecl>>, f: impl FnOnce(&TyEnumDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyFunctionDecl>>, TyFunctionDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyFunctionDecl>>, TyFunctionDecl> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyFunctionDecl>>) -> Arc<TyFunctionDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyFunctionDecl>>, f: impl FnOnce(&TyFunctionDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyImplSelfOrTrait>>, TyImplSelfOrTrait> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyImplSelfOrTrait>>, TyImplSelfOrTrait> for DeclEngine
fn get( &self, index: &DeclRef<DeclId<TyImplSelfOrTrait>>, ) -> Arc<TyImplSelfOrTrait> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyImplSelfOrTrait>>, f: impl FnOnce(&TyImplSelfOrTrait) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyStorageDecl>>, TyStorageDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyStorageDecl>>, TyStorageDecl> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyStorageDecl>>) -> Arc<TyStorageDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyStorageDecl>>, f: impl FnOnce(&TyStorageDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyStructDecl>>, TyStructDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyStructDecl>>, TyStructDecl> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyStructDecl>>) -> Arc<TyStructDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyStructDecl>>, f: impl FnOnce(&TyStructDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyTraitDecl>>, TyTraitDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyTraitDecl>>, TyTraitDecl> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyTraitDecl>>) -> Arc<TyTraitDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyTraitDecl>>, f: impl FnOnce(&TyTraitDecl) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyTraitFn>>, TyTraitFn> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyTraitFn>>, TyTraitFn> for DeclEngine
Source§impl DeclEngineGet<DeclRef<DeclId<TyTraitType>>, TyTraitType> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyTraitType>>, TyTraitType> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyTraitType>>) -> Arc<TyTraitType> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyTraitType>>, f: impl FnOnce(&TyTraitType) -> R, ) -> R
Source§impl DeclEngineGet<DeclRef<DeclId<TyTypeAliasDecl>>, TyTypeAliasDecl> for DeclEngine
impl DeclEngineGet<DeclRef<DeclId<TyTypeAliasDecl>>, TyTypeAliasDecl> for DeclEngine
fn get(&self, index: &DeclRef<DeclId<TyTypeAliasDecl>>) -> Arc<TyTypeAliasDecl> ⓘ
fn map<R>( &self, index: &DeclRef<DeclId<TyTypeAliasDecl>>, f: impl FnOnce(&TyTypeAliasDecl) -> R, ) -> R
Source§impl DeclEngineGetParsedDecl<TyAbiDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyAbiDecl> for DeclEngine
fn get_parsed_decl(&self, decl_id: &DeclId<TyAbiDecl>) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyConfigurableDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyConfigurableDecl> for DeclEngine
fn get_parsed_decl( &self, decl_id: &DeclId<TyConfigurableDecl>, ) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyConstGenericDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyConstGenericDecl> for DeclEngine
fn get_parsed_decl( &self, decl_id: &DeclId<TyConstGenericDecl>, ) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyConstantDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyConstantDecl> for DeclEngine
fn get_parsed_decl( &self, decl_id: &DeclId<TyConstantDecl>, ) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyEnumDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyEnumDecl> for DeclEngine
fn get_parsed_decl(&self, decl_id: &DeclId<TyEnumDecl>) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyFunctionDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyFunctionDecl> for DeclEngine
fn get_parsed_decl( &self, decl_id: &DeclId<TyFunctionDecl>, ) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyImplSelfOrTrait> for DeclEngine
impl DeclEngineGetParsedDecl<TyImplSelfOrTrait> for DeclEngine
fn get_parsed_decl( &self, decl_id: &DeclId<TyImplSelfOrTrait>, ) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyStorageDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyStorageDecl> for DeclEngine
fn get_parsed_decl( &self, decl_id: &DeclId<TyStorageDecl>, ) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyStructDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyStructDecl> for DeclEngine
fn get_parsed_decl(&self, decl_id: &DeclId<TyStructDecl>) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyTraitDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyTraitDecl> for DeclEngine
fn get_parsed_decl(&self, decl_id: &DeclId<TyTraitDecl>) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyTraitFn> for DeclEngine
impl DeclEngineGetParsedDecl<TyTraitFn> for DeclEngine
fn get_parsed_decl(&self, decl_id: &DeclId<TyTraitFn>) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyTraitType> for DeclEngine
impl DeclEngineGetParsedDecl<TyTraitType> for DeclEngine
fn get_parsed_decl(&self, decl_id: &DeclId<TyTraitType>) -> Option<Declaration>
Source§impl DeclEngineGetParsedDecl<TyTypeAliasDecl> for DeclEngine
impl DeclEngineGetParsedDecl<TyTypeAliasDecl> for DeclEngine
fn get_parsed_decl( &self, decl_id: &DeclId<TyTypeAliasDecl>, ) -> Option<Declaration>
Source§impl DeclEngineGetParsedDeclId<TyAbiDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyAbiDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyAbiDecl>, ) -> Option<ParsedDeclId<<TyAbiDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyConfigurableDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyConfigurableDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyConfigurableDecl>, ) -> Option<ParsedDeclId<<TyConfigurableDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyConstGenericDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyConstGenericDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyConstGenericDecl>, ) -> Option<ParsedDeclId<<TyConstGenericDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyConstantDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyConstantDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyConstantDecl>, ) -> Option<ParsedDeclId<<TyConstantDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyEnumDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyEnumDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyEnumDecl>, ) -> Option<ParsedDeclId<<TyEnumDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyFunctionDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyFunctionDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyFunctionDecl>, ) -> Option<ParsedDeclId<<TyFunctionDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyImplSelfOrTrait> for DeclEngine
impl DeclEngineGetParsedDeclId<TyImplSelfOrTrait> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyImplSelfOrTrait>, ) -> Option<ParsedDeclId<<TyImplSelfOrTrait as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyStorageDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyStorageDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyStorageDecl>, ) -> Option<ParsedDeclId<<TyStorageDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyStructDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyStructDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyStructDecl>, ) -> Option<ParsedDeclId<<TyStructDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyTraitDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyTraitDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyTraitDecl>, ) -> Option<ParsedDeclId<<TyTraitDecl as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyTraitFn> for DeclEngine
impl DeclEngineGetParsedDeclId<TyTraitFn> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyTraitFn>, ) -> Option<ParsedDeclId<<TyTraitFn as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyTraitType> for DeclEngine
impl DeclEngineGetParsedDeclId<TyTraitType> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyTraitType>, ) -> Option<ParsedDeclId<<TyTraitType as TyDeclParsedType>::ParsedType>>
Source§impl DeclEngineGetParsedDeclId<TyTypeAliasDecl> for DeclEngine
impl DeclEngineGetParsedDeclId<TyTypeAliasDecl> for DeclEngine
fn get_parsed_decl_id( &self, decl_id: &DeclId<TyTypeAliasDecl>, ) -> Option<ParsedDeclId<<TyTypeAliasDecl as TyDeclParsedType>::ParsedType>>
impl DeclEngineIndex<TyAbiDecl> for DeclEngine
impl DeclEngineIndex<TyConfigurableDecl> for DeclEngine
impl DeclEngineIndex<TyConstantDecl> for DeclEngine
impl DeclEngineIndex<TyEnumDecl> for DeclEngine
impl DeclEngineIndex<TyFunctionDecl> for DeclEngine
impl DeclEngineIndex<TyImplSelfOrTrait> for DeclEngine
impl DeclEngineIndex<TyStorageDecl> for DeclEngine
impl DeclEngineIndex<TyStructDecl> for DeclEngine
impl DeclEngineIndex<TyTraitDecl> for DeclEngine
impl DeclEngineIndex<TyTraitFn> for DeclEngine
impl DeclEngineIndex<TyTraitType> for DeclEngine
impl DeclEngineIndex<TyTypeAliasDecl> for DeclEngine
Source§impl DeclEngineInsert<TyAbiDecl> for DeclEngine
impl DeclEngineInsert<TyAbiDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyAbiDecl,
parsed_decl_id: ParsedDeclId<<TyAbiDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyAbiDecl>>
fn insert( &self, decl: TyAbiDecl, parsed_decl_id: ParsedDeclId<<TyAbiDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyAbiDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyAbiDecl,
original_decl: DeclId<TyAbiDecl>,
) -> DeclRef<DeclId<TyAbiDecl>>
fn insert_modified( &self, modified_decl: TyAbiDecl, original_decl: DeclId<TyAbiDecl>, ) -> DeclRef<DeclId<TyAbiDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyConfigurableDecl> for DeclEngine
impl DeclEngineInsert<TyConfigurableDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyConfigurableDecl,
parsed_decl_id: ParsedDeclId<<TyConfigurableDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyConfigurableDecl>>
fn insert( &self, decl: TyConfigurableDecl, parsed_decl_id: ParsedDeclId<<TyConfigurableDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyConfigurableDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyConfigurableDecl,
original_decl: DeclId<TyConfigurableDecl>,
) -> DeclRef<DeclId<TyConfigurableDecl>>
fn insert_modified( &self, modified_decl: TyConfigurableDecl, original_decl: DeclId<TyConfigurableDecl>, ) -> DeclRef<DeclId<TyConfigurableDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyConstGenericDecl> for DeclEngine
impl DeclEngineInsert<TyConstGenericDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyConstGenericDecl,
parsed_decl_id: ParsedDeclId<<TyConstGenericDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyConstGenericDecl>>
fn insert( &self, decl: TyConstGenericDecl, parsed_decl_id: ParsedDeclId<<TyConstGenericDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyConstGenericDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyConstGenericDecl,
original_decl: DeclId<TyConstGenericDecl>,
) -> DeclRef<DeclId<TyConstGenericDecl>>
fn insert_modified( &self, modified_decl: TyConstGenericDecl, original_decl: DeclId<TyConstGenericDecl>, ) -> DeclRef<DeclId<TyConstGenericDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyConstantDecl> for DeclEngine
impl DeclEngineInsert<TyConstantDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyConstantDecl,
parsed_decl_id: ParsedDeclId<<TyConstantDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyConstantDecl>>
fn insert( &self, decl: TyConstantDecl, parsed_decl_id: ParsedDeclId<<TyConstantDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyConstantDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyConstantDecl,
original_decl: DeclId<TyConstantDecl>,
) -> DeclRef<DeclId<TyConstantDecl>>
fn insert_modified( &self, modified_decl: TyConstantDecl, original_decl: DeclId<TyConstantDecl>, ) -> DeclRef<DeclId<TyConstantDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyEnumDecl> for DeclEngine
impl DeclEngineInsert<TyEnumDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyEnumDecl,
parsed_decl_id: ParsedDeclId<<TyEnumDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyEnumDecl>>
fn insert( &self, decl: TyEnumDecl, parsed_decl_id: ParsedDeclId<<TyEnumDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyEnumDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyEnumDecl,
original_decl: DeclId<TyEnumDecl>,
) -> DeclRef<DeclId<TyEnumDecl>>
fn insert_modified( &self, modified_decl: TyEnumDecl, original_decl: DeclId<TyEnumDecl>, ) -> DeclRef<DeclId<TyEnumDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyFunctionDecl> for DeclEngine
ty::TyFunctionDecl is intentionally not implemented via the decl_engine_insert!
macro. Unlike all other typed declarations, functions have one legitimate case of not
having a corresponding parsed declaration: the trait-interface dummy functions inserted
via DeclEngine::insert_dummy_func. insert_modified must therefore tolerate a missing
parsed declaration, but only for such dummy functions.
impl DeclEngineInsert<TyFunctionDecl> for DeclEngine
ty::TyFunctionDecl is intentionally not implemented via the decl_engine_insert!
macro. Unlike all other typed declarations, functions have one legitimate case of not
having a corresponding parsed declaration: the trait-interface dummy functions inserted
via DeclEngine::insert_dummy_func. insert_modified must therefore tolerate a missing
parsed declaration, but only for such dummy functions.
Source§fn insert(
&self,
decl: TyFunctionDecl,
parsed_decl_id: ParsedDeclId<<TyFunctionDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyFunctionDecl>>
fn insert( &self, decl: TyFunctionDecl, parsed_decl_id: ParsedDeclId<<TyFunctionDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyFunctionDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyFunctionDecl,
original_decl: DeclId<TyFunctionDecl>,
) -> DeclRef<DeclId<TyFunctionDecl>>
fn insert_modified( &self, modified_decl: TyFunctionDecl, original_decl: DeclId<TyFunctionDecl>, ) -> DeclRef<DeclId<TyFunctionDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyImplSelfOrTrait> for DeclEngine
impl DeclEngineInsert<TyImplSelfOrTrait> for DeclEngine
Source§fn insert(
&self,
decl: TyImplSelfOrTrait,
parsed_decl_id: ParsedDeclId<<TyImplSelfOrTrait as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyImplSelfOrTrait>>
fn insert( &self, decl: TyImplSelfOrTrait, parsed_decl_id: ParsedDeclId<<TyImplSelfOrTrait as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyImplSelfOrTrait>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyImplSelfOrTrait,
original_decl: DeclId<TyImplSelfOrTrait>,
) -> DeclRef<DeclId<TyImplSelfOrTrait>>
fn insert_modified( &self, modified_decl: TyImplSelfOrTrait, original_decl: DeclId<TyImplSelfOrTrait>, ) -> DeclRef<DeclId<TyImplSelfOrTrait>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyStorageDecl> for DeclEngine
impl DeclEngineInsert<TyStorageDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyStorageDecl,
parsed_decl_id: ParsedDeclId<<TyStorageDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyStorageDecl>>
fn insert( &self, decl: TyStorageDecl, parsed_decl_id: ParsedDeclId<<TyStorageDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyStorageDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyStorageDecl,
original_decl: DeclId<TyStorageDecl>,
) -> DeclRef<DeclId<TyStorageDecl>>
fn insert_modified( &self, modified_decl: TyStorageDecl, original_decl: DeclId<TyStorageDecl>, ) -> DeclRef<DeclId<TyStorageDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyStructDecl> for DeclEngine
impl DeclEngineInsert<TyStructDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyStructDecl,
parsed_decl_id: ParsedDeclId<<TyStructDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyStructDecl>>
fn insert( &self, decl: TyStructDecl, parsed_decl_id: ParsedDeclId<<TyStructDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyStructDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyStructDecl,
original_decl: DeclId<TyStructDecl>,
) -> DeclRef<DeclId<TyStructDecl>>
fn insert_modified( &self, modified_decl: TyStructDecl, original_decl: DeclId<TyStructDecl>, ) -> DeclRef<DeclId<TyStructDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyTraitDecl> for DeclEngine
impl DeclEngineInsert<TyTraitDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyTraitDecl,
parsed_decl_id: ParsedDeclId<<TyTraitDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyTraitDecl>>
fn insert( &self, decl: TyTraitDecl, parsed_decl_id: ParsedDeclId<<TyTraitDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyTraitDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyTraitDecl,
original_decl: DeclId<TyTraitDecl>,
) -> DeclRef<DeclId<TyTraitDecl>>
fn insert_modified( &self, modified_decl: TyTraitDecl, original_decl: DeclId<TyTraitDecl>, ) -> DeclRef<DeclId<TyTraitDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyTraitFn> for DeclEngine
impl DeclEngineInsert<TyTraitFn> for DeclEngine
Source§fn insert(
&self,
decl: TyTraitFn,
parsed_decl_id: ParsedDeclId<<TyTraitFn as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyTraitFn>>
fn insert( &self, decl: TyTraitFn, parsed_decl_id: ParsedDeclId<<TyTraitFn as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyTraitFn>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyTraitFn,
original_decl: DeclId<TyTraitFn>,
) -> DeclRef<DeclId<TyTraitFn>>
fn insert_modified( &self, modified_decl: TyTraitFn, original_decl: DeclId<TyTraitFn>, ) -> DeclRef<DeclId<TyTraitFn>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyTraitType> for DeclEngine
impl DeclEngineInsert<TyTraitType> for DeclEngine
Source§fn insert(
&self,
decl: TyTraitType,
parsed_decl_id: ParsedDeclId<<TyTraitType as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyTraitType>>
fn insert( &self, decl: TyTraitType, parsed_decl_id: ParsedDeclId<<TyTraitType as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyTraitType>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyTraitType,
original_decl: DeclId<TyTraitType>,
) -> DeclRef<DeclId<TyTraitType>>
fn insert_modified( &self, modified_decl: TyTraitType, original_decl: DeclId<TyTraitType>, ) -> DeclRef<DeclId<TyTraitType>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineInsert<TyTypeAliasDecl> for DeclEngine
impl DeclEngineInsert<TyTypeAliasDecl> for DeclEngine
Source§fn insert(
&self,
decl: TyTypeAliasDecl,
parsed_decl_id: ParsedDeclId<<TyTypeAliasDecl as TyDeclParsedType>::ParsedType>,
) -> DeclRef<DeclId<TyTypeAliasDecl>>
fn insert( &self, decl: TyTypeAliasDecl, parsed_decl_id: ParsedDeclId<<TyTypeAliasDecl as TyDeclParsedType>::ParsedType>, ) -> DeclRef<DeclId<TyTypeAliasDecl>>
decl that corresponds to the parsed declaration
parsed_decl_it into the DeclEngine for the first time. Read moreSource§fn insert_modified(
&self,
modified_decl: TyTypeAliasDecl,
original_decl: DeclId<TyTypeAliasDecl>,
) -> DeclRef<DeclId<TyTypeAliasDecl>>
fn insert_modified( &self, modified_decl: TyTypeAliasDecl, original_decl: DeclId<TyTypeAliasDecl>, ) -> DeclRef<DeclId<TyTypeAliasDecl>>
modified_decl that represents a modified version of
an original_decl. E.g., during monomorphization, we get an original typed declaration
from the DeclEngine, modify it, and insert the modified_decl into the DeclEngine. Read moreSource§impl DeclEngineReplace<TyAbiDecl> for DeclEngine
impl DeclEngineReplace<TyAbiDecl> for DeclEngine
Source§impl DeclEngineReplace<TyConfigurableDecl> for DeclEngine
impl DeclEngineReplace<TyConfigurableDecl> for DeclEngine
fn replace(&self, index: DeclId<TyConfigurableDecl>, decl: TyConfigurableDecl)
Source§impl DeclEngineReplace<TyConstantDecl> for DeclEngine
impl DeclEngineReplace<TyConstantDecl> for DeclEngine
fn replace(&self, index: DeclId<TyConstantDecl>, decl: TyConstantDecl)
Source§impl DeclEngineReplace<TyEnumDecl> for DeclEngine
impl DeclEngineReplace<TyEnumDecl> for DeclEngine
fn replace(&self, index: DeclId<TyEnumDecl>, decl: TyEnumDecl)
Source§impl DeclEngineReplace<TyFunctionDecl> for DeclEngine
impl DeclEngineReplace<TyFunctionDecl> for DeclEngine
fn replace(&self, index: DeclId<TyFunctionDecl>, decl: TyFunctionDecl)
Source§impl DeclEngineReplace<TyImplSelfOrTrait> for DeclEngine
impl DeclEngineReplace<TyImplSelfOrTrait> for DeclEngine
fn replace(&self, index: DeclId<TyImplSelfOrTrait>, decl: TyImplSelfOrTrait)
Source§impl DeclEngineReplace<TyStorageDecl> for DeclEngine
impl DeclEngineReplace<TyStorageDecl> for DeclEngine
fn replace(&self, index: DeclId<TyStorageDecl>, decl: TyStorageDecl)
Source§impl DeclEngineReplace<TyStructDecl> for DeclEngine
impl DeclEngineReplace<TyStructDecl> for DeclEngine
fn replace(&self, index: DeclId<TyStructDecl>, decl: TyStructDecl)
Source§impl DeclEngineReplace<TyTraitDecl> for DeclEngine
impl DeclEngineReplace<TyTraitDecl> for DeclEngine
fn replace(&self, index: DeclId<TyTraitDecl>, decl: TyTraitDecl)
Source§impl DeclEngineReplace<TyTraitFn> for DeclEngine
impl DeclEngineReplace<TyTraitFn> for DeclEngine
Source§impl DeclEngineReplace<TyTraitType> for DeclEngine
impl DeclEngineReplace<TyTraitType> for DeclEngine
fn replace(&self, index: DeclId<TyTraitType>, decl: TyTraitType)
Source§impl DeclEngineReplace<TyTypeAliasDecl> for DeclEngine
impl DeclEngineReplace<TyTypeAliasDecl> for DeclEngine
fn replace(&self, index: DeclId<TyTypeAliasDecl>, decl: TyTypeAliasDecl)
Source§impl Default for DeclEngine
impl Default for DeclEngine
Source§fn default() -> DeclEngine
fn default() -> DeclEngine
Auto Trait Implementations§
impl !Freeze for DeclEngine
impl !RefUnwindSafe for DeclEngine
impl Send for DeclEngine
impl Sync for DeclEngine
impl Unpin for DeclEngine
impl UnsafeUnpin for DeclEngine
impl UnwindSafe for DeclEngine
Blanket Implementations§
Source§impl<T> AnyDebug for T
impl<T> AnyDebug for T
Source§fn as_any_ref(&self) -> &(dyn Any + 'static)
fn as_any_ref(&self) -> &(dyn Any + 'static)
Any.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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self to use its Binary implementation when Debug-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self to use its Display implementation when
Debug-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self to use its LowerExp implementation when
Debug-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self to use its LowerHex implementation when
Debug-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self to use its Octal implementation when Debug-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self to use its Pointer implementation when
Debug-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self to use its UpperExp implementation when
Debug-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self to use its UpperHex implementation when
Debug-formatted.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> 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> ⓘ
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> ⓘ
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 moreSource§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self, then passes self.as_ref() into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self, then passes self.as_mut() into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self, then passes self.deref() into the pipe function.Source§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<T> StorageAsMut for T
impl<T> StorageAsMut for T
fn storage<Type>(&mut self) -> StorageMut<'_, Self, Type>where
Type: Mappable,
fn storage_as_mut<Type>(&mut self) -> StorageMut<'_, Self, Type>where
Type: Mappable,
Source§impl<T> StorageAsRef for T
impl<T> StorageAsRef for T
fn storage<Type>(&self) -> StorageRef<'_, Self, Type>where
Type: Mappable,
fn storage_as_ref<Type>(&self) -> StorageRef<'_, Self, Type>where
Type: Mappable,
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B> of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B> of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R> view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R> view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap() only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut() only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref() only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut() only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref() only in debug builds, and is erased in release
builds.