Enum sway_core::TypeInfo

pub enum TypeInfo {
    Unknown,
    UnknownGeneric {
        name: Ident,
    },
    Str(u64),
    UnsignedInteger(IntegerBits),
    Enum {
        name: String,
        variant_types: Vec<OwnedTypedEnumVariant>,
    },
    Struct {
        name: String,
        fields: Vec<OwnedTypedStructField>,
    },
    Boolean,
    Ref(TypeId),
    Tuple(Vec<TypeId>),
    ContractCaller {
        abi_name: OwnedCallPath,
        address: String,
    },
    Custom {
        name: Ident,
    },
    SelfType,
    Byte,
    B256,
    Numeric,
    Contract,
    ErrorRecovery,
    Array(TypeId, usize),
}

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: String

variant_types: Vec<OwnedTypedEnumVariant>

Struct

Fields

name: String

fields: Vec<OwnedTypedStructField>

Boolean

Ref(TypeId)

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

Tuple(Vec<TypeId>)

ContractCaller

Fields

abi_name: OwnedCallPath

address: String

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

Custom

Fields

name: Ident

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)

Implementations

impl TypeInfo

pub fn is_uninhabited(&self) -> bool

pub fn is_zero_sized(&self) -> bool

pub fn is_unit(&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 Hash for TypeInfo

fn hash<__H>(&self, __state: &mut __H) where
    __H: Hasher, 

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 !=.

impl Eq for TypeInfo