Struct TypeInfo

pub struct TypeInfo {
    pub _type: VariableType,
    pub source: Option<Module<()>>,
}

Struct containing type information about a certain expression.

Fields

_type: VariableType

The concrete type of the expression associated with this type information.

source: Option<Module<()>>

The module, where this expression (or at least the value of this expression) originates from.

Implementations

impl TypeInfo

pub fn var_size(&self) -> usize

The size of the type of this expression in memory.

pub fn source(&self) -> Option<Module<()>>

Trait Implementations

impl Clone for TypeInfo

fn clone(&self) -> TypeInfo

Returns a duplicate of the value.

const 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() -> TypeInfo

Returns the “default value” for a type.

impl PartialEq for TypeInfo

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for TypeInfo

impl StructuralPartialEq for TypeInfo