Struct cairo_lang_sierra::extensions::types::TypeInfo

pub struct TypeInfo {
    pub long_id: ConcreteTypeLongId,
    pub storable: bool,
    pub droppable: bool,
    pub duplicatable: bool,
    pub zero_sized: bool,
}

Information on Sierra types required for generic libfunc calls.

Fields

long_id: ConcreteTypeLongId

The long ID of the concrete type.

storable: bool

Can the type be stored by any of the store commands.

droppable: bool

Can the type be (trivially) dropped.

duplicatable: bool

Can the type be (trivially) duplicated.

zero_sized: bool

Is the type zero sized.

Trait Implementations

impl Clone for TypeInfo

fn clone(&self) -> TypeInfo

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 PartialEq for TypeInfo

fn eq(&self, other: &TypeInfo) -> 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

impl StructuralEq for TypeInfo

impl StructuralPartialEq for TypeInfo