Enum Type

pub enum Type {
    Address,
    AddressPayable,
    Payable,
    Bool,
    String,
    Int(u16),
    Uint(u16),
    Bytes(u8),
    Rational,
    DynamicBytes,
    Mapping {
        loc: Loc,
        key: Box<Expression>,
        key_name: Option<Identifier>,
        value: Box<Expression>,
        value_name: Option<Identifier>,
    },
    Function {
        params: ParameterList,
        attributes: Vec<FunctionAttribute>,
        returns: Option<(ParameterList, Vec<FunctionAttribute>)>,
    },
}

A type.

Variants

Address

address

AddressPayable

address payable

Payable

payable

Only used as a cast.

Bool

bool

String

string

Int(u16)

int<n>

Uint(u16)

uint<n>

Bytes(u8)

bytes<n>

Rational

fixed

DynamicBytes

bytes

Mapping

mapping(<key> [key_name] => <value> [value_name])

Fields

loc: Loc

The code location.

key: Box<Expression>

The key expression.

This is only allowed to be an elementary type or a user defined type.

key_name: Option<Identifier>

The optional key identifier.

value: Box<Expression>

The value expression.

value_name: Option<Identifier>

The optional value identifier.

Function

function (<params>) <attributes> [returns]

Fields

params: ParameterList

The list of parameters.

attributes: Vec<FunctionAttribute>

The list of attributes.

returns: Option<(ParameterList, Vec<FunctionAttribute>)>

The optional list of return parameters.

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 Display for Type

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

Formats the value using the given formatter.

impl PartialEq for Type

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

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

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 Type

impl StructuralPartialEq for Type