pub(crate) fn main() -> Result<()>arguments: Vec<Expression>The arguments passed to the function name.
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 ==.name: IdentifierThe name of the struct member to access.
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
+source. Read moreself and other values to be equal, and is used
by ==.arguments: Vec<Expression>The arguments passed to the function name.
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 ==.name: IdentifierThe name of the struct member to access.
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
+source. Read moreself and other values to be equal, and is used
by ==.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.
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 ==.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.
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 ==.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/common/static_string/struct.StaticString.html b/leo_ast/common/static_string/struct.StaticString.html
index 5cdf549512..9fd3827112 100644
--- a/leo_ast/common/static_string/struct.StaticString.html
+++ b/leo_ast/common/static_string/struct.StaticString.html
@@ -1,5 +1,5 @@
-pub struct StaticString(String);0: Stringsource. Read moreself and other values to be equal, and is used
+pub struct StaticString(String);0: Stringsource. Read moreself and other values to be equal, and is used
by ==.Bitwise XOR, i.e. .xor().
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
+source. Read moreself and other values to be equal, and is used
by ==.op: BinaryOperationThe operand defining the meaning of the resulting binary expression.
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
+source. Read moreself and other values to be equal, and is used
by ==.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 ==.Bitwise XOR, i.e. .xor().
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
+source. Read moreself and other values to be equal, and is used
by ==.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 ==.A scalar literal, e.g. 1scalar.
An unsigned number followed by the keyword scalar.
A string literal, e.g., "foobar".
Converts a literal to a value.
diff --git a/leo_ast/expressions/literal/enum.Literal.html b/leo_ast/expressions/literal/enum.Literal.html index 87e40967a1..0ebb08120b 100644 --- a/leo_ast/expressions/literal/enum.Literal.html +++ b/leo_ast/expressions/literal/enum.Literal.html @@ -17,8 +17,8 @@A scalar literal, e.g. 1scalar.
An unsigned number followed by the keyword scalar.
A string literal, e.g., "foobar".
Converts a literal to a value.
diff --git a/leo_ast/expressions/struct.BinaryExpression.html b/leo_ast/expressions/struct.BinaryExpression.html index d0e41f83af..6df9019ccc 100644 --- a/leo_ast/expressions/struct.BinaryExpression.html +++ b/leo_ast/expressions/struct.BinaryExpression.html @@ -11,8 +11,8 @@op: BinaryOperationThe operand defining the meaning of the resulting binary expression.
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
+source. Read moreself and other values to be equal, and is used
by ==.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 ==.id: NodeIDThe ID of the node.
Returns true if the record has all required fields and visibility.
Returns the struct as a record interface with visibility.
-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 ==.if_false: Box<Expression>The branch the expression evaluates to if condition evaluates to false.
span: SpanThe span from condition to if_false.
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 ==.foo, false, and 42.
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 ==.op: UnaryOperationThe unary operator to apply to inner.
span: SpanThe span covering op inner.
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 ==.id: NodeIDThe ID of the node.
Returns true if the record has all required fields and visibility.
Returns the struct as a record interface with visibility.
-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 ==.if_false: Box<Expression>The branch the expression evaluates to if condition evaluates to false.
span: SpanThe span from condition to if_false.
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 ==.foo, false, and 42.
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 ==.op: UnaryOperationThe unary operator to apply to inner.
span: SpanThe span covering op inner.
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 ==.identifier: IdentifierThe name of the annotation.
span: SpanA span locating where the annotation occurred in the source.
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 ==.type_: TypeWhat’s the parameter’s type?
span: SpanThe parameters span from any annotations to its type.
id: NodeIDThe ID of the node.
-self and other values to be equal, and is used
+The mode associated with a type.
-self and other values to be equal, and is used
+A sign high recovery, i.e. +.
A sign low recovery, i.e., -.
Recovery with an inferred value.
-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 group literal.
Product group literal, e.g., 42group.
An affine group literal with (x, y) coordinates.
-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 ==.value_type: TypeThe type of the value.
span: SpanThe entire span of the mapping declaration.
id: NodeIDThe ID of the node.
-self and other values to be equal, and is used
+An identifier for a program that is eventually deployed to the network.
name: IdentifierThe name of the program.
network: IdentifierThe network associated with the program.
-self and other values to be equal, and is used
by ==.!=. The default implementation is almost always
diff --git a/leo_ast/statement/assert/struct.AssertStatement.html b/leo_ast/statement/assert/struct.AssertStatement.html
index e66383dc47..8b3eb2cbb1 100644
--- a/leo_ast/statement/assert/struct.AssertStatement.html
+++ b/leo_ast/statement/assert/struct.AssertStatement.html
@@ -6,8 +6,8 @@
variant: AssertVariantThe variant of the assert statement.
span: SpanThe span, excluding the semicolon.
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 ==.value: ExpressionThe value to assign to the assignee.
span: SpanThe span, excluding the semicolon.
id: NodeIDThe ID of the node.
-source. Read moreself and other values to be equal, and is used
+