Module move_ir_types::ast
source · [−]Structs
A block is composed of a BlockLabel, followed by 0 or more Statement,
e.g.: label b: s_1; ... s_n;.
A constant declaration in a module or script
Newtype for the name of a constant
A fully-qualified field identifier.
The field newtype
An explicit function dependency
Newtype for the name of a function
The signature of a function
A Move function/procedure
A dependency/import declaration
A Move module
Explicitly given dependency
Newtype of the address + the module name
addr.m
Newtype for a name of a module
A set of Move modules and a Move transaction script
Identifier for a struct definition. Tells us where to look in the storage layer to find the code associated with the interface
The Move transaction script to be executed
A Move struct
An explicit struct dependency
Newtype for the name of a struct
New type that represents a type variable. Used to declare type formals & reference them.
Newtype for a variable/local
Enums
The abilities of a type. Analogous to move_binary_format::file_format::Ability.
Enum for binary operators
Builtin “function”-like operators that often have a signature not expressable in the type system and/or have access to some runtime/storage context
Bottom of the value hierarchy. These values can be trivially copyable and stored in statedb as a single entry.
Enum for all expressions
The body of a Move function
Enum for different function calls
Public or internal modifier for a procedure
Enum for Move lvalues
A script or a module, used to represent the two types of transactions.
A Block_ is composed of zero or more “statements,” which can be translated into one or more
bytecode instructions.
The fields of a Move struct definition
The type of a single value
Enum for unary operators
Type Definitions
The type of a value and its location
The type for a Exp_ and its location
The type for fields and their bound expressions
A field coupled with source location information
A field map
The type of a Function coupled with its source location information.
The type for a function call and its location
A Statement_ with a location.
The type of a StructDefinition along with its source location information
A struct type parameter with its constraints and whether it’s declared as phantom.
The type of a type variable with a location.
The type of a variable with a location