[][src]Enum solana_libra_ir_to_bytecode_syntax::ast::Type

pub enum Type {
    Normal(KindTag),
    Reference {
        is_mutable: bool,
        kind: Kind,
        tag: Tag,
    },
}

The type of a single value

Variants

Normal(KindTag)

A non reference type g or k#d.n

Reference

A reference type &t or &mut t

Fields of Reference

is_mutable: bool

true if &mut and false if &

kind: Kind

the kind, value or resource

tag: Tag

the "name" of the type

Methods

impl Type[src]

pub fn nonreference(kind: Kind, tag: Tag) -> Type[src]

Creates a new non-reference type from the type's kind and tag

pub fn reference(is_mutable: bool, annot: Type) -> Type[src]

Creates a new reference type from its mutability and underlying type

pub fn address() -> Type[src]

Creates a new address type

pub fn u64() -> Type[src]

Creates a new u64 type

pub fn bool() -> Type[src]

Creates a new bool type

pub fn bytearray() -> Type[src]

Creates a new bytearray type

Trait Implementations

impl Clone for Type[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl PartialEq<Type> for Type[src]

impl Display for Type[src]

impl Debug for Type[src]

Auto Trait Implementations

impl Sync for Type

impl Send for Type

impl Unpin for Type

impl RefUnwindSafe for Type

impl UnwindSafe for Type

Blanket Implementations

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, 

impl<T> Erased for T

impl<T> SendSyncUnwindSafe for T where
    T: Send + Sync + UnwindSafe + ?Sized