From dfe1fa4b51538673793d5ca1cd73f80b7b456dd1 Mon Sep 17 00:00:00 2001 From: d0cd Date: Mon, 26 Jun 2023 14:29:30 +0000 Subject: [PATCH] deploy: a117a79d516c243920b1f9115f75f7d43c84da32 --- help.html | 2 +- implementors/clap_builder/derive/trait.Args.js | 2 +- implementors/clap_builder/derive/trait.CommandFactory.js | 2 +- implementors/clap_builder/derive/trait.FromArgMatches.js | 2 +- implementors/clap_builder/derive/trait.Parser.js | 2 +- implementors/core/clone/trait.Clone.js | 8 ++++---- implementors/core/cmp/trait.PartialEq.js | 2 +- implementors/core/default/trait.Default.js | 4 ++-- implementors/core/fmt/trait.Debug.js | 6 +++--- implementors/core/marker/trait.StructuralEq.js | 2 +- implementors/core/marker/trait.StructuralPartialEq.js | 2 +- .../passes/reconstructor/trait.ExpressionReconstructor.js | 2 +- .../passes/reconstructor/trait.ProgramReconstructor.js | 2 +- .../passes/reconstructor/trait.StatementReconstructor.js | 2 +- implementors/serde/de/trait.Deserialize.js | 4 ++-- index.html | 2 +- .../loop_unrolling/range_iterator/trait.LoopBound.html | 2 +- .../struct.StaticSingleAssigner.html | 8 ++++---- leo_passes/type_checking/checker/struct.TypeChecker.html | 4 ++-- settings.html | 2 +- 20 files changed, 31 insertions(+), 31 deletions(-) diff --git a/help.html b/help.html index ff5bf3fe90..d88d49ff7a 100644 --- a/help.html +++ b/help.html @@ -1 +1 @@ -Rustdoc help

Rustdoc help

Back
\ No newline at end of file +Rustdoc help

Rustdoc help

Back
\ No newline at end of file diff --git a/implementors/clap_builder/derive/trait.Args.js b/implementors/clap_builder/derive/trait.Args.js index f5b4a67e84..4a7a598e30 100644 --- a/implementors/clap_builder/derive/trait.Args.js +++ b/implementors/clap_builder/derive/trait.Args.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"leo_lang":[["impl Args for Update"],["impl Args for Clean"],["impl Args for Build"],["impl Args for Run"],["impl Args for BuildOptions"],["impl Args for CLI"],["impl Args for New"]] +"leo_lang":[["impl Args for CLI"],["impl Args for Clean"],["impl Args for BuildOptions"],["impl Args for New"],["impl Args for Run"],["impl Args for Update"],["impl Args for Build"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/clap_builder/derive/trait.CommandFactory.js b/implementors/clap_builder/derive/trait.CommandFactory.js index 7f558f02b4..754907b364 100644 --- a/implementors/clap_builder/derive/trait.CommandFactory.js +++ b/implementors/clap_builder/derive/trait.CommandFactory.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"leo_lang":[["impl CommandFactory for New"],["impl CommandFactory for Commands"],["impl CommandFactory for Update"],["impl CommandFactory for BuildOptions"],["impl CommandFactory for Run"],["impl CommandFactory for Clean"],["impl CommandFactory for Build"],["impl CommandFactory for CLI"]] +"leo_lang":[["impl CommandFactory for Commands"],["impl CommandFactory for BuildOptions"],["impl CommandFactory for Run"],["impl CommandFactory for Update"],["impl CommandFactory for Clean"],["impl CommandFactory for New"],["impl CommandFactory for Build"],["impl CommandFactory for CLI"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/clap_builder/derive/trait.FromArgMatches.js b/implementors/clap_builder/derive/trait.FromArgMatches.js index 1dc8b9939e..c4bab8a42d 100644 --- a/implementors/clap_builder/derive/trait.FromArgMatches.js +++ b/implementors/clap_builder/derive/trait.FromArgMatches.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"leo_lang":[["impl FromArgMatches for Build"],["impl FromArgMatches for Commands"],["impl FromArgMatches for New"],["impl FromArgMatches for BuildOptions"],["impl FromArgMatches for Update"],["impl FromArgMatches for Clean"],["impl FromArgMatches for CLI"],["impl FromArgMatches for Run"]] +"leo_lang":[["impl FromArgMatches for CLI"],["impl FromArgMatches for New"],["impl FromArgMatches for Build"],["impl FromArgMatches for Run"],["impl FromArgMatches for Commands"],["impl FromArgMatches for BuildOptions"],["impl FromArgMatches for Clean"],["impl FromArgMatches for Update"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/clap_builder/derive/trait.Parser.js b/implementors/clap_builder/derive/trait.Parser.js index 1e233423b7..81cac96770 100644 --- a/implementors/clap_builder/derive/trait.Parser.js +++ b/implementors/clap_builder/derive/trait.Parser.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"leo_lang":[["impl Parser for CLI"],["impl Parser for New"],["impl Parser for Run"],["impl Parser for Clean"],["impl Parser for Build"],["impl Parser for BuildOptions"],["impl Parser for Commands"],["impl Parser for Update"]] +"leo_lang":[["impl Parser for CLI"],["impl Parser for Commands"],["impl Parser for Clean"],["impl Parser for BuildOptions"],["impl Parser for Update"],["impl Parser for New"],["impl Parser for Build"],["impl Parser for Run"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/core/clone/trait.Clone.js b/implementors/core/clone/trait.Clone.js index dd001c8746..7b3dbb8c2b 100644 --- a/implementors/core/clone/trait.Clone.js +++ b/implementors/core/clone/trait.Clone.js @@ -1,11 +1,11 @@ (function() {var implementors = { "leo_abnf":[["impl Clone for Scope"],["impl<'a> Clone for Processor<'a>"]], "leo_ast":[["impl Clone for InputAst"],["impl Clone for Ast"],["impl Clone for Annotation"],["impl Clone for AssociatedFunction"],["impl Clone for ErrExpression"],["impl Clone for ProgramId"],["impl Clone for Input"],["impl Clone for StructVariableInitializer"],["impl Clone for ConditionalStatement"],["impl Clone for UnaryOperation"],["impl Clone for DefinitionStatement"],["impl Clone for Finalize"],["impl Clone for CastExpression"],["impl Clone for Value"],["impl Clone for FunctionInput"],["impl Clone for Variant"],["impl Clone for Mapping"],["impl Clone for TupleAccess"],["impl Clone for ConsoleFunction"],["impl Clone for Tuple"],["impl Clone for CoreFunction"],["impl Clone for Section"],["impl Clone for Type"],["impl Clone for AssertStatement"],["impl Clone for UnitExpression"],["impl Clone for MappingType"],["impl Clone for MemberAccess"],["impl Clone for Function"],["impl Clone for ProgramScope"],["impl Clone for UnaryExpression"],["impl Clone for AssignStatement"],["impl Clone for ExpressionStatement"],["impl Clone for Struct"],["impl Clone for Literal"],["impl Clone for FunctionOutput"],["impl Clone for InputValue"],["impl Clone for External"],["impl Clone for Output"],["impl Clone for AssertVariant"],["impl Clone for CallExpression"],["impl Clone for Mode"],["impl Clone for ProgramInput"],["impl Clone for StructExpression"],["impl Clone for GroupCoordinate"],["impl Clone for TernaryExpression"],["impl Clone for Expression"],["impl Clone for BinaryExpression"],["impl Clone for StaticString"],["impl Clone for IterationStatement"],["impl Clone for ReturnStatement"],["impl Clone for BinaryOperation"],["impl Clone for AssociatedConstant"],["impl Clone for Identifier"],["impl Clone for InputData"],["impl Clone for Definition"],["impl Clone for IntegerType"],["impl Clone for GroupLiteral"],["impl Clone for DeclarationType"],["impl Clone for PositiveNumber"],["impl Clone for Program"],["impl Clone for Statement"],["impl Clone for GroupTuple"],["impl Clone for Member"],["impl Clone for ConsoleStatement"],["impl Clone for Block"],["impl Clone for TupleExpression"],["impl Clone for AccessExpression"],["impl Clone for CoreConstant"]], -"leo_compiler":[["impl Clone for CompilerOptions"],["impl Clone for BuildOptions"],["impl<'a> Clone for Compiler<'a>"],["impl Clone for OutputOptions"]], +"leo_compiler":[["impl<'a> Clone for Compiler<'a>"],["impl Clone for BuildOptions"],["impl Clone for OutputOptions"],["impl Clone for CompilerOptions"]], "leo_errors":[["impl Clone for TypeCheckerError"],["impl Clone for PackageError"],["impl Clone for AstError"],["impl Clone for Backtraced"],["impl Clone for ParserWarning"],["impl Clone for Formatted"],["impl Clone for InputError"],["impl Clone for BufferEmitter"],["impl Clone for FlattenError"],["impl Clone for ParserError"],["impl Clone for CompilerError"],["impl Clone for CliError"]], -"leo_lang":[["impl Clone for BuildOptions"],["impl<F: Clone, T: Clone> Clone for Format<F, T>"],["impl Clone for Context"]], -"leo_parser":[["impl Clone for Delimiter"],["impl Clone for Token"],["impl Clone for SpannedToken"]], -"leo_passes":[["impl Clone for FunctionSymbol"],["impl Clone for FinalizeData"],["impl Clone for SymbolTable"],["impl Clone for RenameTable"],["impl Clone for VariableType"],["impl Clone for VariableSymbol"]], +"leo_lang":[["impl Clone for BuildOptions"],["impl Clone for Context"],["impl<F: Clone, T: Clone> Clone for Format<F, T>"]], +"leo_parser":[["impl Clone for Delimiter"],["impl Clone for SpannedToken"],["impl Clone for Token"]], +"leo_passes":[["impl Clone for FunctionSymbol"],["impl Clone for VariableSymbol"],["impl Clone for RenameTable"],["impl Clone for VariableType"],["impl Clone for SymbolTable"],["impl Clone for FinalizeData"]], "leo_span":[["impl Clone for MultiByteChar"],["impl Clone for CharPos"],["impl Clone for BytePos"],["impl Clone for Span"],["impl Clone for FileName"],["impl Clone for Symbol"]], "leo_test_framework":[["impl Clone for TestConfig"],["impl Clone for ParseType"],["impl Clone for TestExpectation"],["impl Clone for TestExpectationMode"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/core/cmp/trait.PartialEq.js b/implementors/core/cmp/trait.PartialEq.js index 97d6487777..aeee37e069 100644 --- a/implementors/core/cmp/trait.PartialEq.js +++ b/implementors/core/cmp/trait.PartialEq.js @@ -2,7 +2,7 @@ "leo_ast":[["impl PartialEq<Definition> for Definition"],["impl PartialEq<IterationStatement> for IterationStatement"],["impl PartialEq<DefinitionStatement> for DefinitionStatement"],["impl PartialEq<AssertStatement> for AssertStatement"],["impl PartialEq<Identifier> for Identifier"],["impl PartialEq<BinaryOperation> for BinaryOperation"],["impl PartialEq<Tuple> for Tuple"],["impl PartialEq<CastExpression> for CastExpression"],["impl PartialEq<StructExpression> for StructExpression"],["impl PartialEq<ProgramId> for ProgramId"],["impl PartialEq<AssignStatement> for AssignStatement"],["impl PartialEq<Function> for Function"],["impl PartialEq<Variant> for Variant"],["impl PartialEq<AssertVariant> for AssertVariant"],["impl PartialEq<PositiveNumber> for PositiveNumber"],["impl PartialEq<GroupLiteral> for GroupLiteral"],["impl PartialEq<External> for External"],["impl PartialEq<AssociatedFunction> for AssociatedFunction"],["impl PartialEq<AccessExpression> for AccessExpression"],["impl PartialEq<Statement> for Statement"],["impl PartialEq<MappingType> for MappingType"],["impl PartialEq<Member> for Member"],["impl PartialEq<ProgramScope> for ProgramScope"],["impl PartialEq<UnitExpression> for UnitExpression"],["impl PartialEq<Value> for Value"],["impl PartialEq<Annotation> for Annotation"],["impl PartialEq<Mode> for Mode"],["impl PartialEq<TupleExpression> for TupleExpression"],["impl PartialEq<TupleAccess> for TupleAccess"],["impl PartialEq<ConsoleFunction> for ConsoleFunction"],["impl PartialEq<DeclarationType> for DeclarationType"],["impl PartialEq<GroupCoordinate> for GroupCoordinate"],["impl PartialEq<ConsoleStatement> for ConsoleStatement"],["impl PartialEq<Expression> for Expression"],["impl PartialEq<MemberAccess> for MemberAccess"],["impl PartialEq<StructVariableInitializer> for StructVariableInitializer"],["impl PartialEq<CoreFunction> for CoreFunction"],["impl PartialEq<AssociatedConstant> for AssociatedConstant"],["impl PartialEq<Finalize> for Finalize"],["impl PartialEq<FunctionInput> for FunctionInput"],["impl PartialEq<Output> for Output"],["impl PartialEq<Program> for Program"],["impl PartialEq<Ast> for Ast"],["impl PartialEq<IntegerType> for IntegerType"],["impl PartialEq<Input> for Input"],["impl PartialEq<UnaryOperation> for UnaryOperation"],["impl PartialEq<ErrExpression> for ErrExpression"],["impl PartialEq<TernaryExpression> for TernaryExpression"],["impl PartialEq<CoreConstant> for CoreConstant"],["impl PartialEq<UnaryExpression> for UnaryExpression"],["impl PartialEq<Type> for Type"],["impl PartialEq<ConditionalStatement> for ConditionalStatement"],["impl PartialEq<StaticString> for StaticString"],["impl PartialEq<InputValue> for InputValue"],["impl PartialEq<Block> for Block"],["impl PartialEq<ReturnStatement> for ReturnStatement"],["impl PartialEq<Mapping> for Mapping"],["impl PartialEq<Struct> for Struct"],["impl PartialEq<BinaryExpression> for BinaryExpression"],["impl PartialEq<FunctionOutput> for FunctionOutput"],["impl PartialEq<GroupTuple> for GroupTuple"],["impl PartialEq<ExpressionStatement> for ExpressionStatement"],["impl PartialEq<Literal> for Literal"],["impl PartialEq<CallExpression> for CallExpression"]], "leo_errors":[["impl PartialEq<Formatted> for Formatted"],["impl PartialEq<Backtraced> for Backtraced"]], "leo_parser":[["impl PartialEq<Token> for Token"]], -"leo_passes":[["impl PartialEq<VariableType> for VariableType"],["impl PartialEq<VariableSymbol> for VariableSymbol"],["impl PartialEq<RenameTable> for RenameTable"]], +"leo_passes":[["impl PartialEq<VariableType> for VariableType"],["impl PartialEq<RenameTable> for RenameTable"],["impl PartialEq<VariableSymbol> for VariableSymbol"]], "leo_span":[["impl PartialEq<Symbol> for Symbol"],["impl PartialEq<InternedStr> for InternedStr"],["impl PartialEq<CharPos> for CharPos"],["impl PartialEq<Span> for Span"],["impl PartialEq<BytePos> for BytePos"],["impl PartialEq<MultiByteChar> for MultiByteChar"]], "leo_test_framework":[["impl PartialEq<TestExpectationMode> for TestExpectationMode"],["impl PartialEq<ParseType> for ParseType"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/core/default/trait.Default.js b/implementors/core/default/trait.Default.js index f25a8b2024..661409a88c 100644 --- a/implementors/core/default/trait.Default.js +++ b/implementors/core/default/trait.Default.js @@ -1,9 +1,9 @@ (function() {var implementors = { "leo_ast":[["impl Default for Ast"],["impl Default for Program"],["impl Default for InputData"],["impl Default for StaticString"],["impl Default for ProgramInput"]], -"leo_compiler":[["impl Default for BuildOptions"],["impl Default for CompilerOptions"],["impl Default for OutputOptions"]], +"leo_compiler":[["impl Default for CompilerOptions"],["impl Default for BuildOptions"],["impl Default for OutputOptions"]], "leo_errors":[["impl Default for BufferEmitter"],["impl Default for Handler"],["impl<T> Default for Buffer<T>"],["impl Default for Formatted"],["impl Default for Backtraced"]], "leo_lang":[["impl Default for Format<Full, SystemTime>"],["impl Default for BuildOptions"]], "leo_package":[["impl Default for Gitignore"]], -"leo_passes":[["impl Default for DeadCodeEliminator"],["impl Default for SymbolTable"],["impl Default for RenameTable"],["impl Default for Assigner"]], +"leo_passes":[["impl Default for Assigner"],["impl Default for RenameTable"],["impl Default for DeadCodeEliminator"],["impl Default for SymbolTable"]], "leo_span":[["impl Default for SourceMap"],["impl Default for SessionGlobals"],["impl Default for Span"],["impl Default for BytePos"],["impl Default for SourceMapInner"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/core/fmt/trait.Debug.js b/implementors/core/fmt/trait.Debug.js index 49db44e4f5..3a87702df3 100644 --- a/implementors/core/fmt/trait.Debug.js +++ b/implementors/core/fmt/trait.Debug.js @@ -2,9 +2,9 @@ "leo_abnf":[["impl<'a> Debug for Processor<'a>"],["impl Debug for Scope"]], "leo_ast":[["impl Debug for StructExpression"],["impl Debug for Block"],["impl Debug for Finalize"],["impl Debug for AssociatedFunction"],["impl Debug for ReturnStatement"],["impl Debug for UnaryExpression"],["impl Debug for Output"],["impl Debug for IterationStatement"],["impl Debug for Identifier"],["impl Debug for Ast"],["impl Debug for Tuple"],["impl Debug for PositiveNumber"],["impl Debug for InputAst"],["impl Debug for FunctionInput"],["impl Debug for TupleAccess"],["impl Debug for Expression"],["impl Debug for InputValue"],["impl Debug for AssignStatement"],["impl Debug for CallExpression"],["impl Debug for Definition"],["impl Debug for MappingType"],["impl Debug for BinaryOperation"],["impl Debug for Member"],["impl Debug for DeclarationType"],["impl Debug for Section"],["impl Debug for StaticString"],["impl Debug for FunctionOutput"],["impl Debug for CastExpression"],["impl Debug for Mode"],["impl Debug for GroupLiteral"],["impl Debug for ConsoleStatement"],["impl Debug for UnitExpression"],["impl Debug for IntegerType"],["impl Debug for Mapping"],["impl Debug for Literal"],["impl Debug for Type"],["impl Debug for AssertStatement"],["impl Debug for Statement"],["impl Debug for Value"],["impl Debug for ExpressionStatement"],["impl Debug for External"],["impl Debug for ProgramId"],["impl Debug for AccessExpression"],["impl Debug for StructVariableInitializer"],["impl Debug for AssociatedConstant"],["impl Debug for TernaryExpression"],["impl Debug for BinaryExpression"],["impl Debug for ConditionalStatement"],["impl Debug for Function"],["impl Debug for DefinitionStatement"],["impl Debug for UnaryOperation"],["impl Debug for ProgramInput"],["impl Debug for Struct"],["impl Debug for InputData"],["impl Debug for ProgramScope"],["impl Debug for GroupTuple"],["impl Debug for MemberAccess"],["impl Debug for Variant"],["impl Debug for TupleExpression"],["impl Debug for AssertVariant"],["impl Debug for Input"],["impl Debug for GroupCoordinate"],["impl Debug for Annotation"],["impl Debug for ErrExpression"],["impl Debug for Program"],["impl Debug for ConsoleFunction"]], "leo_errors":[["impl Debug for FlattenError"],["impl<T: Debug> Debug for Buffer<T>"],["impl Debug for Formatted"],["impl Debug for PackageError"],["impl Debug for InputError"],["impl Debug for ParserWarning"],["impl Debug for CliError"],["impl Debug for Backtraced"],["impl Debug for ParserError"],["impl Debug for AstError"],["impl Debug for LeoError"],["impl Debug for CompilerError"],["impl Debug for LeoWarning"],["impl Debug for TypeCheckerError"]], -"leo_lang":[["impl Debug for Build"],["impl Debug for Run"],["impl Debug for Clean"],["impl Debug for CLI"],["impl Debug for Commands"],["impl<F: Debug, T: Debug> Debug for Format<F, T>"],["impl Debug for New"],["impl Debug for Update"],["impl Debug for BuildOptions"]], -"leo_parser":[["impl Debug for SpannedToken"],["impl Debug for Token"]], -"leo_passes":[["impl Debug for FinalizeData"],["impl Debug for FunctionSymbol"],["impl Debug for VariableSymbol"],["impl<N: Debug + Node> Debug for DiGraphError<N>"],["impl Debug for SymbolTable"],["impl Debug for VariableType"],["impl<N: Debug + Node> Debug for DiGraph<N>"],["impl Debug for RenameTable"]], +"leo_lang":[["impl Debug for Build"],["impl Debug for Commands"],["impl Debug for Update"],["impl Debug for Clean"],["impl Debug for Run"],["impl<F: Debug, T: Debug> Debug for Format<F, T>"],["impl Debug for New"],["impl Debug for CLI"],["impl Debug for BuildOptions"]], +"leo_parser":[["impl Debug for Token"],["impl Debug for SpannedToken"]], +"leo_passes":[["impl<N: Debug + Node> Debug for DiGraphError<N>"],["impl Debug for VariableType"],["impl Debug for RenameTable"],["impl Debug for FunctionSymbol"],["impl Debug for FinalizeData"],["impl Debug for VariableSymbol"],["impl<N: Debug + Node> Debug for DiGraph<N>"],["impl Debug for SymbolTable"]], "leo_span":[["impl Debug for MultiByteChar"],["impl Debug for BytePos"],["impl Debug for Symbol"],["impl Debug for Span"],["impl Debug for CharPos"]], "leo_test_framework":[["impl Debug for TestError"],["impl Debug for TestExpectationMode"],["impl Debug for ParseType"],["impl Debug for TestConfig"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/core/marker/trait.StructuralEq.js b/implementors/core/marker/trait.StructuralEq.js index b2eb2bff3f..909a24f40b 100644 --- a/implementors/core/marker/trait.StructuralEq.js +++ b/implementors/core/marker/trait.StructuralEq.js @@ -1,7 +1,7 @@ (function() {var implementors = { "leo_ast":[["impl StructuralEq for StructVariableInitializer"],["impl StructuralEq for Value"],["impl StructuralEq for BinaryOperation"],["impl StructuralEq for AssertStatement"],["impl StructuralEq for Member"],["impl StructuralEq for AssociatedFunction"],["impl StructuralEq for Program"],["impl StructuralEq for PositiveNumber"],["impl StructuralEq for ProgramScope"],["impl StructuralEq for CoreConstant"],["impl StructuralEq for UnaryExpression"],["impl StructuralEq for UnitExpression"],["impl StructuralEq for ConsoleFunction"],["impl StructuralEq for TupleExpression"],["impl StructuralEq for ProgramId"],["impl StructuralEq for StructExpression"],["impl StructuralEq for IntegerType"],["impl StructuralEq for External"],["impl StructuralEq for AssignStatement"],["impl StructuralEq for ConsoleStatement"],["impl StructuralEq for ErrExpression"],["impl StructuralEq for Mode"],["impl StructuralEq for TupleAccess"],["impl StructuralEq for InputValue"],["impl StructuralEq for FunctionInput"],["impl StructuralEq for Finalize"],["impl StructuralEq for CallExpression"],["impl StructuralEq for GroupTuple"],["impl StructuralEq for Annotation"],["impl StructuralEq for ReturnStatement"],["impl StructuralEq for Input"],["impl StructuralEq for Definition"],["impl StructuralEq for DeclarationType"],["impl StructuralEq for AccessExpression"],["impl StructuralEq for IterationStatement"],["impl StructuralEq for MemberAccess"],["impl StructuralEq for AssertVariant"],["impl StructuralEq for ConditionalStatement"],["impl StructuralEq for DefinitionStatement"],["impl StructuralEq for AssociatedConstant"],["impl StructuralEq for Literal"],["impl StructuralEq for Ast"],["impl StructuralEq for FunctionOutput"],["impl StructuralEq for ExpressionStatement"],["impl StructuralEq for BinaryExpression"],["impl StructuralEq for Expression"],["impl StructuralEq for GroupLiteral"],["impl StructuralEq for Type"],["impl StructuralEq for UnaryOperation"],["impl StructuralEq for StaticString"],["impl StructuralEq for Mapping"],["impl StructuralEq for MappingType"],["impl StructuralEq for Statement"],["impl StructuralEq for GroupCoordinate"],["impl StructuralEq for CastExpression"],["impl StructuralEq for Output"],["impl StructuralEq for Variant"],["impl StructuralEq for CoreFunction"],["impl StructuralEq for TernaryExpression"],["impl StructuralEq for Tuple"],["impl StructuralEq for Block"]], "leo_parser":[["impl StructuralEq for Token"]], -"leo_passes":[["impl StructuralEq for VariableType"],["impl StructuralEq for VariableSymbol"],["impl StructuralEq for RenameTable"]], +"leo_passes":[["impl StructuralEq for VariableType"],["impl StructuralEq for RenameTable"],["impl StructuralEq for VariableSymbol"]], "leo_span":[["impl StructuralEq for Symbol"],["impl StructuralEq for InternedStr"],["impl StructuralEq for Span"],["impl StructuralEq for MultiByteChar"],["impl StructuralEq for BytePos"],["impl StructuralEq for CharPos"]], "leo_test_framework":[["impl StructuralEq for TestExpectationMode"],["impl StructuralEq for ParseType"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/core/marker/trait.StructuralPartialEq.js b/implementors/core/marker/trait.StructuralPartialEq.js index 0c616aaba3..8573b40239 100644 --- a/implementors/core/marker/trait.StructuralPartialEq.js +++ b/implementors/core/marker/trait.StructuralPartialEq.js @@ -2,7 +2,7 @@ "leo_ast":[["impl StructuralPartialEq for Value"],["impl StructuralPartialEq for GroupLiteral"],["impl StructuralPartialEq for IntegerType"],["impl StructuralPartialEq for ConditionalStatement"],["impl StructuralPartialEq for CoreFunction"],["impl StructuralPartialEq for TernaryExpression"],["impl StructuralPartialEq for ErrExpression"],["impl StructuralPartialEq for Tuple"],["impl StructuralPartialEq for Type"],["impl StructuralPartialEq for PositiveNumber"],["impl StructuralPartialEq for FunctionInput"],["impl StructuralPartialEq for AssertVariant"],["impl StructuralPartialEq for GroupCoordinate"],["impl StructuralPartialEq for AccessExpression"],["impl StructuralPartialEq for Ast"],["impl StructuralPartialEq for AssignStatement"],["impl StructuralPartialEq for BinaryOperation"],["impl StructuralPartialEq for MemberAccess"],["impl StructuralPartialEq for IterationStatement"],["impl StructuralPartialEq for CoreConstant"],["impl StructuralPartialEq for Statement"],["impl StructuralPartialEq for StructExpression"],["impl StructuralPartialEq for Member"],["impl StructuralPartialEq for DefinitionStatement"],["impl StructuralPartialEq for CallExpression"],["impl StructuralPartialEq for AssociatedConstant"],["impl StructuralPartialEq for StructVariableInitializer"],["impl StructuralPartialEq for Input"],["impl StructuralPartialEq for MappingType"],["impl StructuralPartialEq for Expression"],["impl StructuralPartialEq for Variant"],["impl StructuralPartialEq for Program"],["impl StructuralPartialEq for ConsoleStatement"],["impl StructuralPartialEq for UnaryExpression"],["impl StructuralPartialEq for Definition"],["impl StructuralPartialEq for ExpressionStatement"],["impl StructuralPartialEq for ProgramId"],["impl StructuralPartialEq for InputValue"],["impl StructuralPartialEq for Finalize"],["impl StructuralPartialEq for External"],["impl StructuralPartialEq for FunctionOutput"],["impl StructuralPartialEq for BinaryExpression"],["impl StructuralPartialEq for GroupTuple"],["impl StructuralPartialEq for AssertStatement"],["impl StructuralPartialEq for CastExpression"],["impl StructuralPartialEq for TupleExpression"],["impl StructuralPartialEq for StaticString"],["impl StructuralPartialEq for Output"],["impl StructuralPartialEq for AssociatedFunction"],["impl StructuralPartialEq for ReturnStatement"],["impl StructuralPartialEq for TupleAccess"],["impl StructuralPartialEq for UnaryOperation"],["impl StructuralPartialEq for ConsoleFunction"],["impl StructuralPartialEq for ProgramScope"],["impl StructuralPartialEq for UnitExpression"],["impl StructuralPartialEq for Mapping"],["impl StructuralPartialEq for Literal"],["impl StructuralPartialEq for Annotation"],["impl StructuralPartialEq for DeclarationType"],["impl StructuralPartialEq for Mode"],["impl StructuralPartialEq for Block"]], "leo_errors":[["impl StructuralPartialEq for Formatted"]], "leo_parser":[["impl StructuralPartialEq for Token"]], -"leo_passes":[["impl StructuralPartialEq for VariableSymbol"],["impl StructuralPartialEq for VariableType"],["impl StructuralPartialEq for RenameTable"]], +"leo_passes":[["impl StructuralPartialEq for RenameTable"],["impl StructuralPartialEq for VariableType"],["impl StructuralPartialEq for VariableSymbol"]], "leo_span":[["impl StructuralPartialEq for MultiByteChar"],["impl StructuralPartialEq for BytePos"],["impl StructuralPartialEq for CharPos"],["impl StructuralPartialEq for Symbol"],["impl StructuralPartialEq for Span"]], "leo_test_framework":[["impl StructuralPartialEq for ParseType"],["impl StructuralPartialEq for TestExpectationMode"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/leo_ast/passes/reconstructor/trait.ExpressionReconstructor.js b/implementors/leo_ast/passes/reconstructor/trait.ExpressionReconstructor.js index 3dea4c6687..2e6b09ec45 100644 --- a/implementors/leo_ast/passes/reconstructor/trait.ExpressionReconstructor.js +++ b/implementors/leo_ast/passes/reconstructor/trait.ExpressionReconstructor.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"leo_passes":[["impl ExpressionReconstructor for DeadCodeEliminator"],["impl ExpressionReconstructor for Unroller<'_>"],["impl ExpressionReconstructor for Flattener<'_>"],["impl ExpressionReconstructor for FunctionInliner<'_>"],["impl ExpressionReconstructor for AssignmentRenamer"],["impl<F> ExpressionReconstructor for Replacer<F>where\n F: Fn(&Identifier) -> Expression,"]] +"leo_passes":[["impl ExpressionReconstructor for FunctionInliner<'_>"],["impl ExpressionReconstructor for Unroller<'_>"],["impl<F> ExpressionReconstructor for Replacer<F>where\n F: Fn(&Identifier) -> Expression,"],["impl ExpressionReconstructor for AssignmentRenamer"],["impl ExpressionReconstructor for DeadCodeEliminator"],["impl ExpressionReconstructor for Flattener<'_>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/leo_ast/passes/reconstructor/trait.ProgramReconstructor.js b/implementors/leo_ast/passes/reconstructor/trait.ProgramReconstructor.js index 090bcabd58..4666dacc29 100644 --- a/implementors/leo_ast/passes/reconstructor/trait.ProgramReconstructor.js +++ b/implementors/leo_ast/passes/reconstructor/trait.ProgramReconstructor.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"leo_passes":[["impl ProgramReconstructor for DeadCodeEliminator"],["impl ProgramReconstructor for Unroller<'_>"],["impl ProgramReconstructor for FunctionInliner<'_>"],["impl<F> ProgramReconstructor for Replacer<F>where\n F: Fn(&Identifier) -> Expression,"],["impl ProgramReconstructor for AssignmentRenamer"],["impl ProgramReconstructor for Flattener<'_>"]] +"leo_passes":[["impl ProgramReconstructor for AssignmentRenamer"],["impl ProgramReconstructor for FunctionInliner<'_>"],["impl ProgramReconstructor for DeadCodeEliminator"],["impl ProgramReconstructor for Unroller<'_>"],["impl<F> ProgramReconstructor for Replacer<F>where\n F: Fn(&Identifier) -> Expression,"],["impl ProgramReconstructor for Flattener<'_>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/leo_ast/passes/reconstructor/trait.StatementReconstructor.js b/implementors/leo_ast/passes/reconstructor/trait.StatementReconstructor.js index e1fad898bd..c7139f0da2 100644 --- a/implementors/leo_ast/passes/reconstructor/trait.StatementReconstructor.js +++ b/implementors/leo_ast/passes/reconstructor/trait.StatementReconstructor.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"leo_passes":[["impl StatementReconstructor for Flattener<'_>"],["impl<F> StatementReconstructor for Replacer<F>where\n F: Fn(&Identifier) -> Expression,"],["impl StatementReconstructor for AssignmentRenamer"],["impl StatementReconstructor for FunctionInliner<'_>"],["impl StatementReconstructor for DeadCodeEliminator"],["impl StatementReconstructor for Unroller<'_>"]] +"leo_passes":[["impl StatementReconstructor for AssignmentRenamer"],["impl StatementReconstructor for DeadCodeEliminator"],["impl StatementReconstructor for Flattener<'_>"],["impl<F> StatementReconstructor for Replacer<F>where\n F: Fn(&Identifier) -> Expression,"],["impl StatementReconstructor for FunctionInliner<'_>"],["impl StatementReconstructor for Unroller<'_>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/implementors/serde/de/trait.Deserialize.js b/implementors/serde/de/trait.Deserialize.js index 4efc8594c4..4cb1b360ec 100644 --- a/implementors/serde/de/trait.Deserialize.js +++ b/implementors/serde/de/trait.Deserialize.js @@ -1,7 +1,7 @@ (function() {var implementors = { "leo_ast":[["impl<'de> Deserialize<'de> for DefinitionStatement"],["impl<'de> Deserialize<'de> for GroupCoordinate"],["impl<'de> Deserialize<'de> for AssertStatement"],["impl<'de> Deserialize<'de> for StructVariableInitializer"],["impl<'de> Deserialize<'de> for DeclarationType"],["impl<'de> Deserialize<'de> for Annotation"],["impl<'de> Deserialize<'de> for CastExpression"],["impl<'de> Deserialize<'de> for AssociatedFunction"],["impl<'de> Deserialize<'de> for MappingType"],["impl<'de> Deserialize<'de> for Tuple"],["impl<'de> Deserialize<'de> for ProgramInput"],["impl<'de> Deserialize<'de> for ConsoleFunction"],["impl<'de> Deserialize<'de> for Variant"],["impl<'de> Deserialize<'de> for BinaryOperation"],["impl<'de> Deserialize<'de> for Member"],["impl<'de> Deserialize<'de> for CallExpression"],["impl<'de> Deserialize<'de> for FunctionInput"],["impl<'de> Deserialize<'de> for FunctionOutput"],["impl<'de> Deserialize<'de> for TupleExpression"],["impl<'de> Deserialize<'de> for AssertVariant"],["impl<'de> Deserialize<'de> for Finalize"],["impl<'de> Deserialize<'de> for Struct"],["impl<'de> Deserialize<'de> for ConditionalStatement"],["impl<'de> Deserialize<'de> for ExpressionStatement"],["impl<'de> Deserialize<'de> for AccessExpression"],["impl<'de> Deserialize<'de> for StaticString"],["impl<'de> Deserialize<'de> for InputData"],["impl<'de> Deserialize<'de> for IntegerType"],["impl<'de> Deserialize<'de> for ReturnStatement"],["impl<'de> Deserialize<'de> for Type"],["impl<'de> Deserialize<'de> for Function"],["impl<'de> Deserialize<'de> for Statement"],["impl<'de> Deserialize<'de> for TupleAccess"],["impl<'de> Deserialize<'de> for GroupTuple"],["impl<'de> Deserialize<'de> for Identifier"],["impl<'de> Deserialize<'de> for ProgramId"],["impl<'de> Deserialize<'de> for ErrExpression"],["impl<'de> Deserialize<'de> for Output"],["impl<'de> Deserialize<'de> for Block"],["impl<'de> Deserialize<'de> for Section"],["impl<'de> Deserialize<'de> for MemberAccess"],["impl<'de> Deserialize<'de> for ProgramScope"],["impl<'de> Deserialize<'de> for IterationStatement"],["impl<'de> Deserialize<'de> for Input"],["impl<'de> Deserialize<'de> for InputValue"],["impl<'de> Deserialize<'de> for TernaryExpression"],["impl<'de> Deserialize<'de> for StructExpression"],["impl<'de> Deserialize<'de> for Mode"],["impl<'de> Deserialize<'de> for AssignStatement"],["impl<'de> Deserialize<'de> for UnaryOperation"],["impl<'de> Deserialize<'de> for UnaryExpression"],["impl<'de> Deserialize<'de> for BinaryExpression"],["impl<'de> Deserialize<'de> for External"],["impl<'de> Deserialize<'de> for InputAst"],["impl<'de> Deserialize<'de> for Definition"],["impl<'de> Deserialize<'de> for GroupLiteral"],["impl<'de> Deserialize<'de> for PositiveNumber"],["impl<'de> Deserialize<'de> for Mapping"],["impl<'de> Deserialize<'de> for UnitExpression"],["impl<'de> Deserialize<'de> for Literal"],["impl<'de> Deserialize<'de> for ConsoleStatement"],["impl<'de> Deserialize<'de> for Program"],["impl<'de> Deserialize<'de> for AssociatedConstant"],["impl<'de> Deserialize<'de> for Expression"]], -"leo_package":[["impl<'de> Deserialize<'de> for MainFile"],["impl<'de> Deserialize<'de> for Snapshot"],["impl<'de> Deserialize<'de> for Gitignore"],["impl<'de> Deserialize<'de> for Package"],["impl<'de> Deserialize<'de> for CircuitFile"],["impl<'de> Deserialize<'de> for InputFile"],["impl<'de> Deserialize<'de> for SnapshotFile"],["impl<'de> Deserialize<'de> for ChecksumFile"]], -"leo_parser":[["impl<'de> Deserialize<'de> for Token"],["impl<'de> Deserialize<'de> for SpannedToken"]], +"leo_package":[["impl<'de> Deserialize<'de> for ChecksumFile"],["impl<'de> Deserialize<'de> for Package"],["impl<'de> Deserialize<'de> for MainFile"],["impl<'de> Deserialize<'de> for Gitignore"],["impl<'de> Deserialize<'de> for InputFile"],["impl<'de> Deserialize<'de> for Snapshot"],["impl<'de> Deserialize<'de> for CircuitFile"],["impl<'de> Deserialize<'de> for SnapshotFile"]], +"leo_parser":[["impl<'de> Deserialize<'de> for SpannedToken"],["impl<'de> Deserialize<'de> for Token"]], "leo_span":[["impl<'de> Deserialize<'de> for BytePos"],["impl<'de> Deserialize<'de> for Span"],["impl<'de> Deserialize<'de> for Symbol"]], "leo_test_framework":[["impl<'de> Deserialize<'de> for TestExpectationMode"],["impl<'de> Deserialize<'de> for TestExpectation"],["impl<'de> Deserialize<'de> for TestConfig"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/index.html b/index.html index 3ec524203c..0d2f08d5b9 100644 --- a/index.html +++ b/index.html @@ -1 +1 @@ -Index of crates

List of all crates

\ No newline at end of file +Index of crates

List of all crates

\ No newline at end of file diff --git a/leo_passes/loop_unrolling/range_iterator/trait.LoopBound.html b/leo_passes/loop_unrolling/range_iterator/trait.LoopBound.html index 73c545be7d..f78f15fa3c 100644 --- a/leo_passes/loop_unrolling/range_iterator/trait.LoopBound.html +++ b/leo_passes/loop_unrolling/range_iterator/trait.LoopBound.html @@ -1,2 +1,2 @@ LoopBound in leo_passes::loop_unrolling::range_iterator - Rust

Trait leo_passes::loop_unrolling::range_iterator::LoopBound

source · 
pub(crate) trait LoopBound: Add<Output = Self> + Copy + Display + One + PartialOrd + TryFrom<Value, Error = LeoError> { }
Expand description

A trait for whose implementors are concrete values for loop bounds.

-

Implementations on Foreign Types§

source§

impl LoopBound for u128

source§

impl LoopBound for i128

Implementors§

\ No newline at end of file +

Implementations on Foreign Types§

source§

impl LoopBound for i128

source§

impl LoopBound for u128

Implementors§

\ No newline at end of file diff --git a/leo_passes/static_single_assignment/static_single_assigner/struct.StaticSingleAssigner.html b/leo_passes/static_single_assignment/static_single_assigner/struct.StaticSingleAssigner.html index b4a406a0f6..a9da20bcdb 100644 --- a/leo_passes/static_single_assignment/static_single_assigner/struct.StaticSingleAssigner.html +++ b/leo_passes/static_single_assignment/static_single_assigner/struct.StaticSingleAssigner.html @@ -20,8 +20,8 @@
source§

fn consume_ternary(&mut self, input: TernaryExpression) -> Self::Output

Consumes a ternary expression, accumulating any statements that are generated.

source§

fn consume_tuple(&mut self, input: TupleExpression) -> Self::Output

Consumes a tuple expression, accumulating any statements that are generated

source§

fn consume_unary(&mut self, input: UnaryExpression) -> Self::Output

Consumes a unary expression, accumulating any statements that are generated.

-
§

type Output = (Expression, Vec<Statement, Global>)

source§

fn consume_unit(&mut self, input: UnitExpression) -> Self::Output

source§

fn consume_expression(&mut self, input: Expression) -> Self::Output

source§

fn consume_err(&mut self, _input: ErrExpression) -> Self::Output

source§

impl FunctionConsumer for StaticSingleAssigner<'_>

source§

fn consume_function(&mut self, function: Function) -> Self::Output

Reconstructs the Functions in the Program, while allocating the appropriate RenameTables.

-
§

type Output = Function

source§

impl<'a> Pass for StaticSingleAssigner<'a>

§

type Input = (Ast, &'a SymbolTable)

§

type Output = Result<(Ast, Assigner), LeoError>

source§

fn do_pass((ast, symbol_table): Self::Input) -> Self::Output

Runs the compiler pass.
source§

impl ProgramConsumer for StaticSingleAssigner<'_>

§

type Output = Program

source§

fn consume_program(&mut self, input: Program) -> Self::Output

source§

impl ProgramScopeConsumer for StaticSingleAssigner<'_>

§

type Output = ProgramScope

source§

fn consume_program_scope(&mut self, input: ProgramScope) -> Self::Output

source§

impl StatementConsumer for StaticSingleAssigner<'_>

source§

fn consume_assert(&mut self, input: AssertStatement) -> Self::Output

Consumes the expressions in an AssertStatement, returning the list of simplified statements.

+
§

type Output = (Expression, Vec<Statement, Global>)

source§

fn consume_unit(&mut self, input: UnitExpression) -> Self::Output

source§

fn consume_expression(&mut self, input: Expression) -> Self::Output

source§

fn consume_err(&mut self, _input: ErrExpression) -> Self::Output

source§

impl FunctionConsumer for StaticSingleAssigner<'_>

source§

fn consume_function(&mut self, function: Function) -> Self::Output

Reconstructs the Functions in the Program, while allocating the appropriate RenameTables.

+
§

type Output = Function

source§

impl<'a> Pass for StaticSingleAssigner<'a>

§

type Input = (Ast, &'a SymbolTable)

§

type Output = Result<(Ast, Assigner), LeoError>

source§

fn do_pass((ast, symbol_table): Self::Input) -> Self::Output

Runs the compiler pass.
source§

impl ProgramConsumer for StaticSingleAssigner<'_>

§

type Output = Program

source§

fn consume_program(&mut self, input: Program) -> Self::Output

source§

impl ProgramScopeConsumer for StaticSingleAssigner<'_>

§

type Output = ProgramScope

source§

fn consume_program_scope(&mut self, input: ProgramScope) -> Self::Output

source§

impl StatementConsumer for StaticSingleAssigner<'_>

source§

fn consume_assert(&mut self, input: AssertStatement) -> Self::Output

Consumes the expressions in an AssertStatement, returning the list of simplified statements.

source§

fn consume_assign(&mut self, assign: AssignStatement) -> Self::Output

Consume all AssignStatements, renaming as necessary.

source§

fn consume_block(&mut self, block: Block) -> Self::Output

Consumes a Block, flattening its constituent ConditionalStatements.

source§

fn consume_conditional( @@ -47,8 +47,8 @@ ) -> Self::Output

Consumes the expressions associated with ExpressionStatement, returning the simplified ExpressionStatement.

source§

fn consume_return(&mut self, input: ReturnStatement) -> Self::Output

Reconstructs the expression associated with the return statement, returning a simplified ReturnStatement. Note that type checking guarantees that there is at most one ReturnStatement in a block.

-
§

type Output = Vec<Statement, Global>

source§

fn consume_iteration(&mut self, _input: IterationStatement) -> Self::Output

source§

fn consume_statement(&mut self, input: Statement) -> Self::Output

source§

impl StructConsumer for StaticSingleAssigner<'_>

source§

fn consume_struct(&mut self, struct_: Struct) -> Self::Output

Reconstructs records in the program, ordering its fields such that owner and is the first field.

-
§

type Output = Struct

Auto Trait Implementations§

§

impl<'a> !RefUnwindSafe for StaticSingleAssigner<'a>

§

impl<'a> !Send for StaticSingleAssigner<'a>

§

impl<'a> !Sync for StaticSingleAssigner<'a>

§

impl<'a> Unpin for StaticSingleAssigner<'a>

§

impl<'a> !UnwindSafe for StaticSingleAssigner<'a>

Blanket Implementations§

source§

impl<T> Any for Twhere +

§

type Output = Vec<Statement, Global>

source§

fn consume_iteration(&mut self, _input: IterationStatement) -> Self::Output

source§

fn consume_statement(&mut self, input: Statement) -> Self::Output

source§

impl StructConsumer for StaticSingleAssigner<'_>

source§

fn consume_struct(&mut self, struct_: Struct) -> Self::Output

Reconstructs records in the program, ordering its fields such that owner and is the first field.

+
§

type Output = Struct

Auto Trait Implementations§

§

impl<'a> !RefUnwindSafe for StaticSingleAssigner<'a>

§

impl<'a> !Send for StaticSingleAssigner<'a>

§

impl<'a> !Sync for StaticSingleAssigner<'a>

§

impl<'a> Unpin for StaticSingleAssigner<'a>

§

impl<'a> !UnwindSafe for StaticSingleAssigner<'a>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/leo_passes/type_checking/checker/struct.TypeChecker.html b/leo_passes/type_checking/checker/struct.TypeChecker.html index 2801786be3..7d9e73a568 100644 --- a/leo_passes/type_checking/checker/struct.TypeChecker.html +++ b/leo_passes/type_checking/checker/struct.TypeChecker.html @@ -121,7 +121,7 @@ type_: &Option<Type>, span: Span ) -> Option<MappingType>

Emits an error if the type is not a mapping.

-

Trait Implementations§

source§

impl<'a> ExpressionVisitor<'a> for TypeChecker<'a>

§

type AdditionalInput = Option<Type>

§

type Output = Option<Type>

source§

fn visit_access( +

Trait Implementations§

source§

impl<'a> ExpressionVisitor<'a> for TypeChecker<'a>

§

type AdditionalInput = Option<Type>

§

type Output = Option<Type>

source§

fn visit_access( &mut self, input: &'a AccessExpression, expected: &Self::AdditionalInput @@ -173,7 +173,7 @@ &mut self, input: &'a Expression, additional: &Self::AdditionalInput -) -> Self::Output

source§

impl<'a> Pass for TypeChecker<'a>

§

type Input = (&'a Ast, &'a Handler, SymbolTable)

§

type Output = Result<(SymbolTable, DiGraph<Symbol>, DiGraph<Symbol>), LeoError>

source§

fn do_pass((ast, handler, st): Self::Input) -> Self::Output

Runs the compiler pass.
source§

impl<'a> ProgramVisitor<'a> for TypeChecker<'a>

source§

fn visit_program(&mut self, input: &'a Program)

source§

fn visit_program_scope(&mut self, input: &'a ProgramScope)

source§

fn visit_struct(&mut self, input: &'a Struct)

source§

fn visit_mapping(&mut self, input: &'a Mapping)

source§

fn visit_function(&mut self, function: &'a Function)

source§

fn visit_import(&mut self, input: &'a Program)

source§

impl<'a> StatementVisitor<'a> for TypeChecker<'a>

source§

fn visit_statement(&mut self, input: &'a Statement)

source§

fn visit_assert(&mut self, input: &'a AssertStatement)

source§

fn visit_assign(&mut self, input: &'a AssignStatement)

source§

fn visit_block(&mut self, input: &'a Block)

source§

fn visit_conditional(&mut self, input: &'a ConditionalStatement)

source§

fn visit_console(&mut self, _: &'a ConsoleStatement)

source§

fn visit_definition(&mut self, input: &'a DefinitionStatement)

source§

fn visit_expression_statement(&mut self, input: &'a ExpressionStatement)

source§

fn visit_iteration(&mut self, input: &'a IterationStatement)

source§

fn visit_return(&mut self, input: &'a ReturnStatement)

Auto Trait Implementations§

§

impl<'a> !RefUnwindSafe for TypeChecker<'a>

§

impl<'a> !Send for TypeChecker<'a>

§

impl<'a> !Sync for TypeChecker<'a>

§

impl<'a> Unpin for TypeChecker<'a>

§

impl<'a> !UnwindSafe for TypeChecker<'a>

Blanket Implementations§

source§

impl<T> Any for Twhere +) -> Self::Output

source§

impl<'a> Pass for TypeChecker<'a>

§

type Input = (&'a Ast, &'a Handler, SymbolTable)

§

type Output = Result<(SymbolTable, DiGraph<Symbol>, DiGraph<Symbol>), LeoError>

source§

fn do_pass((ast, handler, st): Self::Input) -> Self::Output

Runs the compiler pass.
source§

impl<'a> ProgramVisitor<'a> for TypeChecker<'a>

source§

fn visit_program(&mut self, input: &'a Program)

source§

fn visit_program_scope(&mut self, input: &'a ProgramScope)

source§

fn visit_struct(&mut self, input: &'a Struct)

source§

fn visit_mapping(&mut self, input: &'a Mapping)

source§

fn visit_function(&mut self, function: &'a Function)

source§

fn visit_import(&mut self, input: &'a Program)

source§

impl<'a> StatementVisitor<'a> for TypeChecker<'a>

source§

fn visit_statement(&mut self, input: &'a Statement)

source§

fn visit_assert(&mut self, input: &'a AssertStatement)

source§

fn visit_assign(&mut self, input: &'a AssignStatement)

source§

fn visit_block(&mut self, input: &'a Block)

source§

fn visit_conditional(&mut self, input: &'a ConditionalStatement)

source§

fn visit_console(&mut self, _: &'a ConsoleStatement)

source§

fn visit_definition(&mut self, input: &'a DefinitionStatement)

source§

fn visit_expression_statement(&mut self, input: &'a ExpressionStatement)

source§

fn visit_iteration(&mut self, input: &'a IterationStatement)

source§

fn visit_return(&mut self, input: &'a ReturnStatement)

Auto Trait Implementations§

§

impl<'a> !RefUnwindSafe for TypeChecker<'a>

§

impl<'a> !Send for TypeChecker<'a>

§

impl<'a> !Sync for TypeChecker<'a>

§

impl<'a> Unpin for TypeChecker<'a>

§

impl<'a> !UnwindSafe for TypeChecker<'a>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

diff --git a/settings.html b/settings.html index da4ca94310..d5c390b5f2 100644 --- a/settings.html +++ b/settings.html @@ -1 +1 @@ -Rustdoc settings

Rustdoc settings

Back
\ No newline at end of file +Rustdoc settings

Rustdoc settings

Back
\ No newline at end of file