Enum sway_core::language::ty::TyExpressionVariant

pub enum TyExpressionVariant {
    Literal(Literal),
    FunctionApplication {
        call_path: CallPath,
        contract_call_params: HashMap<String, TyExpression>,
        arguments: Vec<(Ident, TyExpression)>,
        function_decl_id: DeclarationId,
        self_state_idx: Option<StateIndex>,
        selector: Option<ContractCallParams>,
    },
    LazyOperator {
        op: LazyOp,
        lhs: Box<TyExpression>,
        rhs: Box<TyExpression>,
    },
    VariableExpression {
        name: Ident,
        span: Span,
        mutability: VariableMutability,
    },
    Tuple {
        fields: Vec<TyExpression>,
    },
    Array {
        contents: Vec<TyExpression>,
    },
    ArrayIndex {
        prefix: Box<TyExpression>,
        index: Box<TyExpression>,
    },
    StructExpression {
        struct_name: Ident,
        fields: Vec<TyStructExpressionField>,
        span: Span,
    },
    CodeBlock(TyCodeBlock),
    FunctionParameter,
    IfExp {
        condition: Box<TyExpression>,
        then: Box<TyExpression>,
        else: Option<Box<TyExpression>>,
    },
    AsmExpression {
        registers: Vec<TyAsmRegisterDeclaration>,
        body: Vec<AsmOp>,
        returns: Option<(AsmRegister, Span)>,
        whole_block_span: Span,
    },
    StructFieldAccess {
        prefix: Box<TyExpression>,
        field_to_access: TyStructField,
        field_instantiation_span: Span,
        resolved_type_of_parent: TypeId,
    },
    TupleElemAccess {
        prefix: Box<TyExpression>,
        elem_to_access_num: usize,
        resolved_type_of_parent: TypeId,
        elem_to_access_span: Span,
    },
    EnumInstantiation {
        enum_decl: TyEnumDeclaration,
        variant_name: Ident,
        tag: usize,
        contents: Option<Box<TyExpression>>,
        enum_instantiation_span: Span,
        variant_instantiation_span: Span,
    },
    AbiCast {
        abi_name: CallPath,
        address: Box<TyExpression>,
        span: Span,
    },
    StorageAccess(TyStorageAccess),
    IntrinsicFunction(TyIntrinsicFunctionKind),
    AbiName(AbiName),
    EnumTag {
        exp: Box<TyExpression>,
    },
    UnsafeDowncast {
        exp: Box<TyExpression>,
        variant: TyEnumVariant,
    },
    WhileLoop {
        condition: Box<TyExpression>,
        body: TyCodeBlock,
    },
    Break,
    Continue,
    Reassignment(Box<TyReassignment>),
    StorageReassignment(Box<TyStorageReassignment>),
    Return(Box<TyExpression>),
}

Variants

Literal(Literal)

FunctionApplication

Fields

call_path: CallPath

contract_call_params: HashMap<String, TyExpression>

arguments: Vec<(Ident, TyExpression)>

function_decl_id: DeclarationId

self_state_idx: Option<StateIndex>

If this is Some(val) then val is the metadata. If this is None, then there is no selector.

selector: Option<ContractCallParams>

LazyOperator

Fields

op: LazyOp

lhs: Box<TyExpression>

rhs: Box<TyExpression>

VariableExpression

Fields

name: Ident

span: Span

mutability: VariableMutability

Tuple

Fields

fields: Vec<TyExpression>

Array

Fields

contents: Vec<TyExpression>

ArrayIndex

Fields

prefix: Box<TyExpression>

index: Box<TyExpression>

StructExpression

Fields

struct_name: Ident

fields: Vec<TyStructExpressionField>

span: Span

CodeBlock(TyCodeBlock)

FunctionParameter

IfExp

Fields

condition: Box<TyExpression>

then: Box<TyExpression>

else: Option<Box<TyExpression>>

AsmExpression

Fields

registers: Vec<TyAsmRegisterDeclaration>

body: Vec<AsmOp>

returns: Option<(AsmRegister, Span)>

whole_block_span: Span

StructFieldAccess

Fields

prefix: Box<TyExpression>

field_to_access: TyStructField

field_instantiation_span: Span

resolved_type_of_parent: TypeId

TupleElemAccess

Fields

prefix: Box<TyExpression>

elem_to_access_num: usize

resolved_type_of_parent: TypeId

elem_to_access_span: Span

EnumInstantiation

Fields

enum_decl: TyEnumDeclaration

for printing

variant_name: Ident

for printing

tag: usize

contents: Option<Box<TyExpression>>

enum_instantiation_span: Span

If there is an error regarding this instantiation of the enum, use these spans as it points to the call site and not the declaration. They are also used in the language server.

variant_instantiation_span: Span

AbiCast

Fields

abi_name: CallPath

address: Box<TyExpression>

span: Span

StorageAccess(TyStorageAccess)

IntrinsicFunction(TyIntrinsicFunctionKind)

AbiName(AbiName)

a zero-sized type-system-only compile-time thing that is used for constructing ABI casts.

EnumTag

Fields

exp: Box<TyExpression>

grabs the enum tag from the particular enum and variant of the exp

UnsafeDowncast

Fields

exp: Box<TyExpression>

variant: TyEnumVariant

performs an unsafe cast from the exp to the type of the given enum variant

WhileLoop

Fields

condition: Box<TyExpression>

body: TyCodeBlock

Break

Continue

Reassignment(Box<TyReassignment>)

StorageReassignment(Box<TyStorageReassignment>)

Return(Box<TyExpression>)

Trait Implementations

impl Clone for TyExpressionVariant

fn clone(&self) -> TyExpressionVariant

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TyExpressionVariant

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

Formats the value using the given formatter.

impl Display for TyExpressionVariant

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

Formats the value using the given formatter.

impl PartialEq<TyExpressionVariant> for TyExpressionVariant

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TyExpressionVariant