pub struct ArrayAccess {
pub array: Box<Expression>,
pub index: Box<Expression>,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}An array access expression, e.g., foo[index].
array: Box<Expression>An expression evaluating to some array type, e.g., [false, true].
index: Box<Expression>The index to access in the array expression. E.g., 0 for [false, true] would yield false.
span: SpanThe span for the entire expression foo[index].
span: SpanThe span for the entire expression foo[index].
id: NodeIDThe ID of the node.
source. Read moreself and other values to be equal, and is used
by ==.pub struct AssociatedConstant {
pub ty: Type,
pub name: Identifier,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}An access expression to an struct constant., e.g. u8::MAX.
ty: TypeThe inner struct type.
name: IdentifierThe struct constant that is being accessed.
-span: SpanThe span for the entire expression Foo::bar().
span: SpanThe span for the entire expression Foo::bar().
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.An access expression to an associated function in a struct, e.g.Pedersen64::hash().
variant: IdentifierThe inner struct variant.
name: IdentifierThe static struct member function that is being accessed.
arguments: Vec<Expression>The arguments passed to the function name.
span: SpanThe span for the entire expression Foo::bar().
span: SpanThe span for the entire expression Foo::bar().
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.pub struct MemberAccess {
pub inner: Box<Expression>,
pub name: Identifier,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}A struct member access expression inner.name to some structure with named members.
inner: Box<Expression>The inner struct that is being accessed.
name: IdentifierThe name of the struct member to access.
-span: SpanThe span covering all of inner.name.
span: SpanThe span covering all of inner.name.
id: NodeIDThe ID of the node.
source. Read moreself and other values to be equal, and is used
by ==.pub struct ArrayAccess {
pub array: Box<Expression>,
pub index: Box<Expression>,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}An array access expression, e.g., foo[index].
array: Box<Expression>An expression evaluating to some array type, e.g., [false, true].
index: Box<Expression>The index to access in the array expression. E.g., 0 for [false, true] would yield false.
span: SpanThe span for the entire expression foo[index].
span: SpanThe span for the entire expression foo[index].
id: NodeIDThe ID of the node.
source. Read moreself and other values to be equal, and is used
by ==.pub struct AssociatedConstant {
pub ty: Type,
pub name: Identifier,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}An access expression to an struct constant., e.g. u8::MAX.
ty: TypeThe inner struct type.
name: IdentifierThe struct constant that is being accessed.
-span: SpanThe span for the entire expression Foo::bar().
span: SpanThe span for the entire expression Foo::bar().
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.An access expression to an associated function in a struct, e.g.Pedersen64::hash().
variant: IdentifierThe inner struct variant.
name: IdentifierThe static struct member function that is being accessed.
arguments: Vec<Expression>The arguments passed to the function name.
span: SpanThe span for the entire expression Foo::bar().
span: SpanThe span for the entire expression Foo::bar().
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.pub struct MemberAccess {
pub inner: Box<Expression>,
pub name: Identifier,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}A struct member access expression inner.name to some structure with named members.
inner: Box<Expression>The inner struct that is being accessed.
name: IdentifierThe name of the struct member to access.
-span: SpanThe span covering all of inner.name.
span: SpanThe span covering all of inner.name.
id: NodeIDThe ID of the node.
source. Read moreself and other values to be equal, and is used
by ==.pub struct TupleAccess {
pub tuple: Box<Expression>,
pub index: NonNegativeNumber,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}A tuple access expression, e.g., tuple.index.
tuple: Box<Expression>An expression evaluating to some tuple type, e.g., (5, 2).
index: NonNegativeNumberThe index to access in the tuple expression. E.g., 0 for (5, 2) would yield 5.
span: SpanThe span for the entire expression tuple.index.
span: SpanThe span for the entire expression tuple.index.
id: NodeIDThe ID of the node.
source. Read moreself and other values to be equal, and is used
by ==.pub struct TupleAccess {
pub tuple: Box<Expression>,
pub index: NonNegativeNumber,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}A tuple access expression, e.g., tuple.index.
tuple: Box<Expression>An expression evaluating to some tuple type, e.g., (5, 2).
index: NonNegativeNumberThe index to access in the tuple expression. E.g., 0 for (5, 2) would yield 5.
span: SpanThe span for the entire expression tuple.index.
span: SpanThe span for the entire expression tuple.index.
id: NodeIDThe ID of the node.
source. Read moreself and other values to be equal, and is used
by ==.pub struct Identifier {
- pub name: Symbol,
- pub span: Span,
+ pub name: Symbol,
+ pub span: Span,
pub id: NodeID,
}An identifier in a program.
Attention - When adding or removing fields from this struct, please remember to update its Serialize and Deserialize implementation to reflect the new struct instantiation.
-name: SymbolThe symbol that the user wrote, e.g., foo.
span: SpanA span locating where the identifier occurred in the source.
+name: SymbolThe symbol that the user wrote, e.g., foo.
span: SpanA span locating where the identifier occurred in the source.
id: NodeIDThe ID of the node.
-Constructs a new identifier with name and id and a default span.
source. Read moresource. Read morepub fn deserialize<'de, D: Deserializer<'de>>(
deserializer: D,
-) -> Result<IndexMap<Vec<Symbol>, Program>, D::Error>pub struct Location {
- pub program: Option<Symbol>,
- pub name: Symbol,
-}program: Option<Symbol>§name: Symbolprogram: Option<Symbol>§name: Symbolpub trait Node: Debug + Display + Clone + PartialEq + Eq + Serialize + DeserializeOwned {
// Required methods
- fn span(&self) -> Span;
- fn set_span(&mut self, span: Span);
+ fn span(&self) -> Span;
+ fn set_span(&mut self, span: Span);
fn id(&self) -> NodeID;
fn set_id(&mut self, id: NodeID);
}A node in the AST.
-source. Read moresource. Read moreself and other values to be equal, and is used
by ==.!=. The default implementation is almost always
diff --git a/leo_ast/expressions/access/enum.AccessExpression.html b/leo_ast/expressions/access/enum.AccessExpression.html
index e573bb0b78..4a61820d98 100644
--- a/leo_ast/expressions/access/enum.AccessExpression.html
+++ b/leo_ast/expressions/access/enum.AccessExpression.html
@@ -10,8 +10,8 @@
Access to an associated function of a struct e.g Pedersen64::hash().
An expression accessing a field in a structure, e.g., struct_var.field.
Access to a tuple field using its position, e.g., tuple.1.
source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.pub struct ArrayExpression {
pub elements: Vec<Expression>,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}An array expression, e.g., [true, false, true, false].
elements: Vec<Expression>The elements of the array.
-span: SpanThe span from [ to ].
span: SpanThe span from [ to ].
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.Subtraction, i.e. -, .sub().
Wrapped subtraction, i.e. .sub_wrapped().
Bitwise XOR, i.e. .xor().
Returns a BinaryOperation from the given Symbol.
+
Returns a BinaryOperation from the given Symbol.
This is used to resolve native operators invoked as method calls, e.g. a.add_wrapped(b).
source. Read moreself and other values to be equal, and is used
diff --git a/leo_ast/expressions/binary/struct.BinaryExpression.html b/leo_ast/expressions/binary/struct.BinaryExpression.html
index 3cb894da4c..4de58a5bfd 100644
--- a/leo_ast/expressions/binary/struct.BinaryExpression.html
+++ b/leo_ast/expressions/binary/struct.BinaryExpression.html
@@ -2,17 +2,17 @@
pub left: Box<Expression>,
pub right: Box<Expression>,
pub op: BinaryOperation,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}A binary expression left op right of two operands separated by some operator.
For example, foo + bar.
left: Box<Expression>The left operand of the expression.
right: Box<Expression>The right operand of the expression.
op: BinaryOperationThe operand defining the meaning of the resulting binary expression.
-span: SpanThe span from left to right.
span: SpanThe span from left to right.
id: NodeIDThe ID of the expression.
source. Read moreself and other values to be equal, and is used
by ==.pub struct CallExpression {
pub function: Box<Expression>,
pub arguments: Vec<Expression>,
- pub program: Option<Symbol>,
- pub span: Span,
+ pub program: Option<Symbol>,
+ pub span: Span,
pub id: NodeID,
}A function call expression, e.g.foo(args) or Foo::bar(args).
function: Box<Expression>An expression evaluating to a callable function, either a member of a structure or a free function.
arguments: Vec<Expression>Expressions for the arguments passed to the functions parameters.
-program: Option<Symbol>The name of the parent program call, e.g.bar in bar.aleo.
span: SpanSpan of the entire call function(arguments).
program: Option<Symbol>The name of the parent program call, e.g.bar in bar.aleo.
span: SpanSpan of the entire call function(arguments).
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.pub struct CastExpression {
pub expression: Box<Expression>,
pub type_: Type,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}A cast expression, e.g. 42u8 as u16.
expression: Box<Expression>The expression to be casted, e.g.42u8 in 42u8 as u16.
type_: TypeThe type to be casted to, e.g. u16 in 42u8 as u16.
span: SpanSpan of the entire cast 42u8 as u16.
span: SpanSpan of the entire cast 42u8 as u16.
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.Access to an associated function of a struct e.g Pedersen64::hash().
An expression accessing a field in a structure, e.g., struct_var.field.
Access to a tuple field using its position, e.g., tuple.1.
source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.Subtraction, i.e. -, .sub().
Wrapped subtraction, i.e. .sub_wrapped().
Bitwise XOR, i.e. .xor().
Returns a BinaryOperation from the given Symbol.
+
Returns a BinaryOperation from the given Symbol.
This is used to resolve native operators invoked as method calls, e.g. a.add_wrapped(b).
source. Read moreself and other values to be equal, and is used
diff --git a/leo_ast/expressions/enum.Expression.html b/leo_ast/expressions/enum.Expression.html
index 7630e0472b..c44de6c6a4 100644
--- a/leo_ast/expressions/enum.Expression.html
+++ b/leo_ast/expressions/enum.Expression.html
@@ -29,8 +29,8 @@
A tuple expression e.g., (foo, 42, true).
An unary expression.
A unit expression e.g. ()
source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.pub enum Literal {
- Address(String, Span, NodeID),
- Boolean(bool, Span, NodeID),
- Field(String, Span, NodeID),
+ Address(String, Span, NodeID),
+ Boolean(bool, Span, NodeID),
+ Field(String, Span, NodeID),
Group(Box<GroupLiteral>),
- Integer(IntegerType, String, Span, NodeID),
- Scalar(String, Span, NodeID),
- String(String, Span, NodeID),
+ Integer(IntegerType, String, Span, NodeID),
+ Scalar(String, Span, NodeID),
+ String(String, Span, NodeID),
}A literal.
-An address literal, e.g., aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9 or hello.aleo.
A boolean literal, either true or false.
A field literal, e.g., 42field.
+
An address literal, e.g., aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9 or hello.aleo.
A boolean literal, either true or false.
A field literal, e.g., 42field.
A signed number followed by the keyword field.
A group literal, either product or affine.
For example, 42group or (12, 52)group.
An integer literal, e.g., 42.
A scalar literal, e.g. 1scalar.
+
An integer literal, e.g., 42.
A scalar literal, e.g. 1scalar.
An unsigned number followed by the keyword scalar.
A string literal, e.g., "foobar".
A string literal, e.g., "foobar".
Square root operation, i.e. .sqrt().
Converts a group element to its x-coordinate, i.e. .to_x_coordinate().
Converts a group element to its y-coordinate, i.e. .to_y_coordinate().
Returns a UnaryOperation from the given Symbol.
source. Read moreself and other values to be equal, and is used
diff --git a/leo_ast/expressions/err/struct.ErrExpression.html b/leo_ast/expressions/err/struct.ErrExpression.html
index 0911a5d456..9a5da1f5cb 100644
--- a/leo_ast/expressions/err/struct.ErrExpression.html
+++ b/leo_ast/expressions/err/struct.ErrExpression.html
@@ -1,11 +1,11 @@
pub struct ErrExpression {
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}Represents a syntactically invalid expression.
-span: SpanThe span of the invalid expression.
+span: SpanThe span of the invalid expression.
id: NodeIDThe ID of the node.
source. Read moreself and other values to be equal, and is used
by ==.pub enum Literal {
- Address(String, Span, NodeID),
- Boolean(bool, Span, NodeID),
- Field(String, Span, NodeID),
+ Address(String, Span, NodeID),
+ Boolean(bool, Span, NodeID),
+ Field(String, Span, NodeID),
Group(Box<GroupLiteral>),
- Integer(IntegerType, String, Span, NodeID),
- Scalar(String, Span, NodeID),
- String(String, Span, NodeID),
+ Integer(IntegerType, String, Span, NodeID),
+ Scalar(String, Span, NodeID),
+ String(String, Span, NodeID),
}A literal.
-An address literal, e.g., aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9 or hello.aleo.
A boolean literal, either true or false.
A field literal, e.g., 42field.
+
An address literal, e.g., aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9 or hello.aleo.
A boolean literal, either true or false.
A field literal, e.g., 42field.
A signed number followed by the keyword field.
A group literal, either product or affine.
For example, 42group or (12, 52)group.
An integer literal, e.g., 42.
A scalar literal, e.g. 1scalar.
+
An integer literal, e.g., 42.
A scalar literal, e.g. 1scalar.
An unsigned number followed by the keyword scalar.
A string literal, e.g., "foobar".
A string literal, e.g., "foobar".
pub struct LocatorExpression {
pub program: ProgramId,
- pub name: Symbol,
- pub span: Span,
+ pub name: Symbol,
+ pub span: Span,
pub id: NodeID,
}A locator that references an external resource.
program: ProgramIdThe program that the resource is in.
-name: SymbolThe name of the resource.
-span: SpanA span indicating where the locator occurred in the source.
+name: SymbolThe name of the resource.
+span: SpanA span indicating where the locator occurred in the source.
id: NodeIDThe ID of the node.
-Constructs a new Locator with name, program and id and a default span.
source. Read moreself and other values to be equal, and is used
by ==.pub struct ArrayExpression {
pub elements: Vec<Expression>,
- pub span: Span,
+ pub span: Span,
pub id: NodeID,
}An array expression, e.g., [true, false, true, false].
elements: Vec<Expression>The elements of the array.
-span: SpanThe span from [ to ].
span: SpanThe span from [ to ].
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+source. Read moreself and other values to be equal, and is used
by ==.A binary expression left op right of two operands separated by some operator.
For example, foo + bar.
left: Box<Expression>The left operand of the expression.
right: Box<Expression>The right operand of the expression.
op: BinaryOperationThe operand defining the meaning of the resulting binary expression.
-span: SpanThe span from left to right.
span: SpanThe span from left to right.
id: NodeIDThe ID of the expression.