Enum leo_ast::types::type_::Type

pub enum Type {
    Address,
    Array(ArrayType),
    Boolean,
    Composite(CompositeType),
    Field,
    Group,
    Identifier(Identifier),
    Integer(IntegerType),
    Mapping(MappingType),
    Scalar,
    Signature,
    String,
    Tuple(TupleType),
    Unit,
    Err,
}

Explicit type used for defining a variable or expression type

Variants

Address

The address type.

Array(ArrayType)

The array type.

Boolean

The bool type.

Composite(CompositeType)

The struct type.

Field

The field type.

Group

The group type.

Identifier(Identifier)

A reference to a built in type.

Integer(IntegerType)

An integer type.

Mapping(MappingType)

A mapping type.

Scalar

The scalar type.

Signature

The signature type.

String

The string type.

Tuple(TupleType)

A static tuple of at least one type.

Unit

The unit type.

Err

Placeholder for a type that could not be resolved or was not well-formed. Will eventually lead to a compile error.

Implementations

impl Type

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

Returns true if the self Type is equal to the other Type.

Flattens array syntax: [[u8; 1]; 2] == [u8; (2, 1)] == true

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

Returns true if the self Type is equal to the other Type in all aspects besides composite program of origin.

Flattens array syntax: [[u8; 1]; 2] == [u8; (2, 1)] == true

pub fn from_snarkvm<N: Network>( t: &PlaintextType<N>, program: Option<Symbol> ) -> Self

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Type

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Type

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

Formats the value using the given formatter.

impl From<&Value> for Type

fn from(v: &Value) -> Self

Converts to this type from the input type.

impl From<Value> for Type

fn from(v: Value) -> Self

Converts to this type from the input type.

impl Hash for Type

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Type

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Type

impl StructuralPartialEq for Type