Enum sway_core::TypeInfo

pub enum TypeInfo {
    Unknown,
    UnknownGeneric {
        name: Ident,
    },
    Str(u64),
    UnsignedInteger(IntegerBits),
    Enum {
        name: Ident,
        type_parameters: Vec<TypeParameter>,
        variant_types: Vec<TypedEnumVariant>,
    },
    Struct {
        name: Ident,
        type_parameters: Vec<TypeParameter>,
        fields: Vec<TypedStructField>,
    },
    Boolean,
    Ref(TypeId, Span),
    Tuple(Vec<TypeArgument>),
    ContractCaller {
        abi_name: AbiName,
        address: Option<Box<TypedExpression>>,
    },
    Custom {
        name: Ident,
        type_arguments: Option<Vec<TypeArgument>>,
    },
    SelfType,
    Byte,
    B256,
    Numeric,
    Contract,
    ErrorRecovery,
    Array(TypeId, usize, TypeId),
    Storage {
        fields: Vec<TypedStructField>,
    },
}

Type information without an associated value, used for type inferencing and definition.

Variants

Unknown

UnknownGeneric

Fields

name: Ident

Str(u64)

UnsignedInteger(IntegerBits)

Enum

Fields

name: Ident

type_parameters: Vec<TypeParameter>

variant_types: Vec<TypedEnumVariant>

Struct

Fields

name: Ident

type_parameters: Vec<TypeParameter>

fields: Vec<TypedStructField>

Boolean

Ref(TypeId, Span)

For the type inference engine to use when a type references another type

Tuple(Vec<TypeArgument>)

ContractCaller

Fields

abi_name: AbiName

address: Option<Box<TypedExpression>>

Represents a type which contains methods to issue a contract call. The specific contract is identified via the Ident within.

Custom

Fields

name: Ident

type_arguments: Option<Vec<TypeArgument>>

A custom type could be a struct or similar if the name is in scope, or just a generic parameter if it is not. At parse time, there is no sense of scope, so this determination is not made until the semantic analysis stage.

SelfType

Byte

B256

Numeric

This means that specific type of a number is not yet known. It will be determined via inference at a later time.

Contract

ErrorRecovery

Array(TypeId, usize, TypeId)

Storage

Fields

fields: Vec<TypedStructField>

Represents the entire storage declaration struct Stored without initializers here, as typed struct fields, so type checking is able to treat it as a struct with fields.

Implementations

impl TypeInfo

pub fn json_abi_str(&self) -> String

pub fn is_uninhabited(&self) -> bool

pub fn is_zero_sized(&self) -> bool

pub fn is_unit(&self) -> bool

pub fn is_copy_type(&self) -> bool

Trait Implementations

impl Clone for TypeInfo

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeInfo

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

Formats the value using the given formatter.

impl Default for TypeInfo

fn default() -> Self

Returns the “default value” for a type.

impl Display for TypeInfo

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

Formats the value using the given formatter.

impl Hash for TypeInfo

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

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<TypeInfo> for TypeInfo

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

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

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 TypeInfo