Struct TyAbiDecl

pub struct TyAbiDecl {
    pub name: Ident,
    pub interface_surface: Vec<TyTraitInterfaceItem>,
    pub supertraits: Vec<Supertrait>,
    pub items: Vec<TyTraitItem>,
    pub span: Span,
    pub attributes: AttributesMap,
}

A TyAbiDecl contains the type-checked version of the parse tree’s AbiDeclaration.

Fields

name: Ident

The name of the abi trait (also known as a “contract trait”)

interface_surface: Vec<TyTraitInterfaceItem>

The methods a contract is required to implement in order opt in to this interface

supertraits: Vec<Supertrait>

items: Vec<TyTraitItem>

span: Span

attributes: AttributesMap

Trait Implementations

impl Clone for TyAbiDecl

fn clone(&self) -> TyAbiDecl

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyAbiDecl

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

Formats the value using the given formatter.

impl DeclEngineGet<DeclId<TyAbiDecl>, TyAbiDecl> for DeclEngine

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

impl DeclEngineGet<DeclRef<DeclId<TyAbiDecl>>, TyAbiDecl> for DeclEngine

fn get(&self, index: &DeclRef<DeclId<TyAbiDecl>>) -> Arc<TyAbiDecl>

impl DeclEngineGetParsedDecl<TyAbiDecl> for DeclEngine

fn get_parsed_decl(&self, decl_id: &DeclId<TyAbiDecl>) -> Option<Declaration>

impl DeclEngineGetParsedDeclId<TyAbiDecl> for DeclEngine

fn get_parsed_decl_id( &self, decl_id: &DeclId<TyAbiDecl>, ) -> Option<ParsedDeclId<<TyAbiDecl as TyDeclParsedType>::ParsedType>>

impl DeclEngineInsert<TyAbiDecl> for DeclEngine

fn insert( &self, decl: TyAbiDecl, parsed_decl_id: Option<&ParsedDeclId<<TyAbiDecl as TyDeclParsedType>::ParsedType>>, ) -> DeclRef<DeclId<TyAbiDecl>>

impl DeclEngineInsertArc<TyAbiDecl> for DeclEngine

fn insert_arc( &self, decl: Arc<TyAbiDecl>, parsed_decl_id: Option<&ParsedDeclId<<TyAbiDecl as TyDeclParsedType>::ParsedType>>, ) -> DeclRef<DeclId<TyAbiDecl>>

impl DeclEngineReplace<TyAbiDecl> for DeclEngine

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

impl HashWithEngines for TyAbiDecl

fn hash<H: Hasher>(&self, state: &mut H, engines: &Engines)

impl Named for TyAbiDecl

fn name(&self) -> &Ident

impl PartialEqWithEngines for TyAbiDecl

fn eq(&self, other: &Self, ctx: &PartialEqWithEnginesContext<'_>) -> bool

impl Spanned for TyAbiDecl

fn span(&self) -> Span

impl TyDeclParsedType for TyAbiDecl

type ParsedType = AbiDeclaration

impl DeclEngineIndex<TyAbiDecl> for DeclEngine

impl EqWithEngines for TyAbiDecl