Enum sway_core::language::ty::TyDeclaration

pub enum TyDeclaration {
    VariableDeclaration(Box<TyVariableDeclaration>),
    ConstantDeclaration(DeclarationId),
    FunctionDeclaration(DeclarationId),
    TraitDeclaration(DeclarationId),
    StructDeclaration(DeclarationId),
    EnumDeclaration(DeclarationId),
    ImplTrait(DeclarationId),
    AbiDeclaration(DeclarationId),
    GenericTypeForFunctionScope {
        name: Ident,
        type_id: TypeId,
    },
    ErrorRecovery(Span),
    StorageDeclaration(DeclarationId),
}

Variants

VariableDeclaration(Box<TyVariableDeclaration>)

ConstantDeclaration(DeclarationId)

FunctionDeclaration(DeclarationId)

TraitDeclaration(DeclarationId)

StructDeclaration(DeclarationId)

EnumDeclaration(DeclarationId)

ImplTrait(DeclarationId)

AbiDeclaration(DeclarationId)

GenericTypeForFunctionScope

Fields

name: Ident

type_id: TypeId

ErrorRecovery(Span)

StorageDeclaration(DeclarationId)

Implementations

impl TyDeclaration

pub fn friendly_name(&self) -> &'static str

friendly name string used for error reporting.

Trait Implementations

impl Clone for TyDeclaration

fn clone(&self) -> TyDeclaration

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TyDeclaration

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

Formats the value using the given formatter.

impl GetDeclIdent for TyDeclaration

fn get_decl_ident(&self) -> Option<Ident>

impl PartialEqWithTypeEngine for TyDeclaration

fn eq(&self, rhs: &Self, type_engine: &TypeEngine) -> bool

impl Spanned for TyDeclaration

fn span(&self) -> Span

impl EqWithTypeEngine for TyDeclaration