Struct sway_core::decl_engine::DeclEngine

pub struct DeclEngine { /* private fields */ }

Used inside of type inference to store declarations.

Implementations

impl DeclEngine

pub fn get_function<'a, T, I>(&self, index: &'a T) -> TyFunctionDeclarationwhere DeclId<I>: From<&'a T>,

pub fn get_trait<'a, T, I>(&self, index: &'a T) -> TyTraitDeclarationwhere DeclId<I>: From<&'a T>,

pub fn get_trait_fn<'a, T, I>(&self, index: &'a T) -> TyTraitFnwhere DeclId<I>: From<&'a T>,

pub fn get_impl_trait<'a, T, I>(&self, index: &'a T) -> TyImplTraitwhere DeclId<I>: From<&'a T>,

pub fn get_struct<'a, T, I>(&self, index: &'a T) -> TyStructDeclarationwhere DeclId<I>: From<&'a T>,

pub fn get_storage<'a, T, I>(&self, index: &'a T) -> TyStorageDeclarationwhere DeclId<I>: From<&'a T>,

pub fn get_abi<'a, T, I>(&self, index: &'a T) -> TyAbiDeclarationwhere DeclId<I>: From<&'a T>,

pub fn get_constant<'a, T, I>(&self, index: &'a T) -> TyConstantDeclarationwhere DeclId<I>: From<&'a T>,

pub fn get_enum<'a, T, I>(&self, index: &'a T) -> TyEnumDeclarationwhere DeclId<I>: From<&'a T>,

Trait Implementations

impl Debug for DeclEngine

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

Formats the value using the given formatter.

impl DeclEngineIndex<TyAbiDeclaration> for DeclEngine

fn get(&self, index: DeclId<TyAbiDeclaration>) -> TyAbiDeclaration

fn replace(&self, index: DeclId<TyAbiDeclaration>, decl: TyAbiDeclaration)

fn insert(&self, decl: TyAbiDeclaration) -> DeclRef<DeclId<TyAbiDeclaration>>

impl DeclEngineIndex<TyConstantDeclaration> for DeclEngine

fn get(&self, index: DeclId<TyConstantDeclaration>) -> TyConstantDeclaration

fn replace( &self, index: DeclId<TyConstantDeclaration>, decl: TyConstantDeclaration )

fn insert( &self, decl: TyConstantDeclaration ) -> DeclRef<DeclId<TyConstantDeclaration>>

impl DeclEngineIndex<TyEnumDeclaration> for DeclEngine

fn get(&self, index: DeclId<TyEnumDeclaration>) -> TyEnumDeclaration

fn replace(&self, index: DeclId<TyEnumDeclaration>, decl: TyEnumDeclaration)

fn insert(&self, decl: TyEnumDeclaration) -> DeclRef<DeclId<TyEnumDeclaration>>

impl DeclEngineIndex<TyFunctionDeclaration> for DeclEngine

fn get(&self, index: DeclId<TyFunctionDeclaration>) -> TyFunctionDeclaration

fn replace( &self, index: DeclId<TyFunctionDeclaration>, decl: TyFunctionDeclaration )

fn insert( &self, decl: TyFunctionDeclaration ) -> DeclRef<DeclId<TyFunctionDeclaration>>

impl DeclEngineIndex<TyImplTrait> for DeclEngine

fn get(&self, index: DeclId<TyImplTrait>) -> TyImplTrait

fn replace(&self, index: DeclId<TyImplTrait>, decl: TyImplTrait)

fn insert(&self, decl: TyImplTrait) -> DeclRef<DeclId<TyImplTrait>>

impl DeclEngineIndex<TyStorageDeclaration> for DeclEngine

fn get(&self, index: DeclId<TyStorageDeclaration>) -> TyStorageDeclaration

fn replace(&self, index: DeclId<TyStorageDeclaration>, decl: TyStorageDeclaration)

fn insert( &self, decl: TyStorageDeclaration ) -> DeclRef<DeclId<TyStorageDeclaration>>

impl DeclEngineIndex<TyStructDeclaration> for DeclEngine

fn get(&self, index: DeclId<TyStructDeclaration>) -> TyStructDeclaration

fn replace(&self, index: DeclId<TyStructDeclaration>, decl: TyStructDeclaration)

fn insert( &self, decl: TyStructDeclaration ) -> DeclRef<DeclId<TyStructDeclaration>>

impl DeclEngineIndex<TyTraitDeclaration> for DeclEngine

fn get(&self, index: DeclId<TyTraitDeclaration>) -> TyTraitDeclaration

fn replace(&self, index: DeclId<TyTraitDeclaration>, decl: TyTraitDeclaration)

fn insert(&self, decl: TyTraitDeclaration) -> DeclRef<DeclId<TyTraitDeclaration>>

impl DeclEngineIndex<TyTraitFn> for DeclEngine

fn get(&self, index: DeclId<TyTraitFn>) -> TyTraitFn

fn replace(&self, index: DeclId<TyTraitFn>, decl: TyTraitFn)

fn insert(&self, decl: TyTraitFn) -> DeclRef<DeclId<TyTraitFn>>

impl Default for DeclEngine

fn default() -> DeclEngine

Returns the “default value” for a type.