deploy: 6f320e2

ProvableHQ · Jun 10, 2024 · 9c0d542 · 9c0d542
1 parent 0b13434
commit 9c0d542
Show file tree

Hide file tree

Showing 55 changed files with 180 additions and 180 deletions.
diff --git a/leo_ast/access/member_access/struct.MemberAccess.html b/leo_ast/access/member_access/struct.MemberAccess.html
diff --git a/leo_ast/access/struct.MemberAccess.html b/leo_ast/access/struct.MemberAccess.html
diff --git a/leo_ast/access/struct.TupleAccess.html b/leo_ast/access/struct.TupleAccess.html
diff --git a/leo_ast/access/tuple_access/struct.TupleAccess.html b/leo_ast/access/tuple_access/struct.TupleAccess.html
diff --git a/leo_ast/common/identifier/struct.Identifier.html b/leo_ast/common/identifier/struct.Identifier.html
diff --git a/leo_ast/common/positive_number/struct.NonNegativeNumber.html b/leo_ast/common/positive_number/struct.NonNegativeNumber.html
diff --git a/leo_ast/common/static_string/struct.StaticString.html b/leo_ast/common/static_string/struct.StaticString.html
diff --git a/leo_ast/expressions/access/enum.AccessExpression.html b/leo_ast/expressions/access/enum.AccessExpression.html
diff --git a/leo_ast/expressions/binary/enum.BinaryOperation.html b/leo_ast/expressions/binary/enum.BinaryOperation.html
diff --git a/leo_ast/expressions/binary/struct.BinaryExpression.html b/leo_ast/expressions/binary/struct.BinaryExpression.html
diff --git a/leo_ast/expressions/call/struct.CallExpression.html b/leo_ast/expressions/call/struct.CallExpression.html
diff --git a/leo_ast/expressions/enum.AccessExpression.html b/leo_ast/expressions/enum.AccessExpression.html
diff --git a/leo_ast/expressions/enum.BinaryOperation.html b/leo_ast/expressions/enum.BinaryOperation.html
diff --git a/leo_ast/expressions/struct.BinaryExpression.html b/leo_ast/expressions/struct.BinaryExpression.html
diff --git a/leo_ast/expressions/struct.CallExpression.html b/leo_ast/expressions/struct.CallExpression.html
diff --git a/leo_ast/expressions/struct.StructVariableInitializer.html b/leo_ast/expressions/struct.StructVariableInitializer.html
diff --git a/leo_ast/expressions/struct.TernaryExpression.html b/leo_ast/expressions/struct.TernaryExpression.html
diff --git a/leo_ast/expressions/struct.TupleExpression.html b/leo_ast/expressions/struct.TupleExpression.html
diff --git a/leo_ast/expressions/struct.UnaryExpression.html b/leo_ast/expressions/struct.UnaryExpression.html
diff --git a/leo_ast/expressions/struct_init/struct.StructVariableInitializer.html b/leo_ast/expressions/struct_init/struct.StructVariableInitializer.html
diff --git a/leo_ast/expressions/ternary/struct.TernaryExpression.html b/leo_ast/expressions/ternary/struct.TernaryExpression.html
diff --git a/leo_ast/expressions/tuple/struct.TupleExpression.html b/leo_ast/expressions/tuple/struct.TupleExpression.html
diff --git a/leo_ast/expressions/unary/struct.UnaryExpression.html b/leo_ast/expressions/unary/struct.UnaryExpression.html
diff --git a/leo_ast/functions/annotation/struct.Annotation.html b/leo_ast/functions/annotation/struct.Annotation.html
diff --git a/leo_ast/functions/output/struct.Output.html b/leo_ast/functions/output/struct.Output.html
diff --git a/leo_ast/groups/group_coordinate/enum.GroupCoordinate.html b/leo_ast/groups/group_coordinate/enum.GroupCoordinate.html
diff --git a/leo_ast/groups/group_literal/enum.GroupLiteral.html b/leo_ast/groups/group_literal/enum.GroupLiteral.html
diff --git a/leo_ast/mapping/struct.Mapping.html b/leo_ast/mapping/struct.Mapping.html
diff --git a/leo_ast/program/program_id/struct.ProgramId.html b/leo_ast/program/program_id/struct.ProgramId.html
diff --git a/leo_ast/program/program_scope/struct.ProgramScope.html b/leo_ast/program/program_scope/struct.ProgramScope.html
diff --git a/leo_ast/statement/assert/struct.AssertStatement.html b/leo_ast/statement/assert/struct.AssertStatement.html
diff --git a/leo_ast/statement/assign/struct.AssignStatement.html b/leo_ast/statement/assign/struct.AssignStatement.html
diff --git a/leo_ast/statement/conditional/struct.ConditionalStatement.html b/leo_ast/statement/conditional/struct.ConditionalStatement.html
diff --git a/leo_ast/statement/console/console_function/enum.ConsoleFunction.html b/leo_ast/statement/console/console_function/enum.ConsoleFunction.html
diff --git a/leo_ast/statement/const_/struct.ConstDeclaration.html b/leo_ast/statement/const_/struct.ConstDeclaration.html
diff --git a/leo_ast/statement/expression/struct.ExpressionStatement.html b/leo_ast/statement/expression/struct.ExpressionStatement.html
diff --git a/leo_ast/struct/struct.Composite.html b/leo_ast/struct/struct.Composite.html
diff --git a/leo_ast/stub/function_stub/struct.FunctionStub.html b/leo_ast/stub/function_stub/struct.FunctionStub.html
diff --git a/leo_ast/types/array/struct.ArrayType.html b/leo_ast/types/array/struct.ArrayType.html
diff --git a/leo_ast/types/mapping/struct.MappingType.html b/leo_ast/types/mapping/struct.MappingType.html
diff --git a/leo_ast/types/type_/enum.Type.html b/leo_ast/types/type_/enum.Type.html
diff --git a/leo_ast/value/enum.Value.html b/leo_ast/value/enum.Value.html
diff --git a/leo_compiler/compiler/struct.Compiler.html b/leo_compiler/compiler/struct.Compiler.html
diff --git a/leo_compiler/compiler/struct.SymbolTable.html b/leo_compiler/compiler/struct.SymbolTable.html
diff --git a/leo_compiler/struct.Compiler.html b/leo_compiler/struct.Compiler.html
@@ -8,8 +8,8 @@
     pub ast: <a class="struct" href="struct.Ast.html" title="struct leo_compiler::Ast">Ast</a>,
     compiler_options: <a class="struct" href="options/struct.CompilerOptions.html" title="struct leo_compiler::options::CompilerOptions">CompilerOptions</a>,
     node_builder: <a class="struct" href="../leo_ast/common/node_builder/struct.NodeBuilder.html" title="struct leo_ast::common::node_builder::NodeBuilder">NodeBuilder</a>,
-    assigner: Assigner,
-    type_table: TypeTable,
+    assigner: <a class="struct" href="../leo_passes/common/assigner/struct.Assigner.html" title="struct leo_passes::common::assigner::Assigner">Assigner</a>,
+    type_table: <a class="struct" href="../leo_passes/common/type_table/struct.TypeTable.html" title="struct leo_passes::common::type_table::TypeTable">TypeTable</a>,
     import_stubs: <a class="struct" href="https://docs.rs/indexmap/1/indexmap/map/struct.IndexMap.html" title="struct indexmap::map::IndexMap">IndexMap</a>&lt;<a class="struct" href="../leo_span/symbol/struct.Symbol.html" title="struct leo_span::symbol::Symbol">Symbol</a>, <a class="struct" href="../leo_ast/stub/struct.Stub.html" title="struct leo_ast::stub::Stub">Stub</a>&gt;,
     phantom: <a class="struct" href="https://doc.rust-lang.org/1.78.0/core/marker/struct.PhantomData.html" title="struct core::marker::PhantomData">PhantomData</a>&lt;N&gt;,
 }</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>The primary entry point of the Leo compiler.</p>
@@ -21,8 +21,8 @@
 </div><span id="structfield.ast" class="structfield section-header"><a href="#structfield.ast" class="anchor field">§</a><code>ast: <a class="struct" href="struct.Ast.html" title="struct leo_compiler::Ast">Ast</a></code></span><div class="docblock"><p>The AST for the program.</p>
 </div><span id="structfield.compiler_options" class="structfield section-header"><a href="#structfield.compiler_options" class="anchor field">§</a><code>compiler_options: <a class="struct" href="options/struct.CompilerOptions.html" title="struct leo_compiler::options::CompilerOptions">CompilerOptions</a></code></span><div class="docblock"><p>Options configuring compilation.</p>
 </div><span id="structfield.node_builder" class="structfield section-header"><a href="#structfield.node_builder" class="anchor field">§</a><code>node_builder: <a class="struct" href="../leo_ast/common/node_builder/struct.NodeBuilder.html" title="struct leo_ast::common::node_builder::NodeBuilder">NodeBuilder</a></code></span><div class="docblock"><p>The <code>NodeCounter</code> used to generate sequentially increasing <code>NodeID</code>s.</p>
-</div><span id="structfield.assigner" class="structfield section-header"><a href="#structfield.assigner" class="anchor field">§</a><code>assigner: Assigner</code></span><div class="docblock"><p>The <code>Assigner</code> is used to construct (unique) assignment statements.</p>
-</div><span id="structfield.type_table" class="structfield section-header"><a href="#structfield.type_table" class="anchor field">§</a><code>type_table: TypeTable</code></span><div class="docblock"><p>The type table.</p>
+</div><span id="structfield.assigner" class="structfield section-header"><a href="#structfield.assigner" class="anchor field">§</a><code>assigner: <a class="struct" href="../leo_passes/common/assigner/struct.Assigner.html" title="struct leo_passes::common::assigner::Assigner">Assigner</a></code></span><div class="docblock"><p>The <code>Assigner</code> is used to construct (unique) assignment statements.</p>
+</div><span id="structfield.type_table" class="structfield section-header"><a href="#structfield.type_table" class="anchor field">§</a><code>type_table: <a class="struct" href="../leo_passes/common/type_table/struct.TypeTable.html" title="struct leo_passes::common::type_table::TypeTable">TypeTable</a></code></span><div class="docblock"><p>The type table.</p>
 </div><span id="structfield.import_stubs" class="structfield section-header"><a href="#structfield.import_stubs" class="anchor field">§</a><code>import_stubs: <a class="struct" href="https://docs.rs/indexmap/1/indexmap/map/struct.IndexMap.html" title="struct indexmap::map::IndexMap">IndexMap</a>&lt;<a class="struct" href="../leo_span/symbol/struct.Symbol.html" title="struct leo_span::symbol::Symbol">Symbol</a>, <a class="struct" href="../leo_ast/stub/struct.Stub.html" title="struct leo_ast::stub::Stub">Stub</a>&gt;</code></span><div class="docblock"><p>The stubs for imported programs. Produced by <code>Retriever</code> module.</p>
 </div><span id="structfield.phantom" class="structfield section-header"><a href="#structfield.phantom" class="anchor field">§</a><code>phantom: <a class="struct" href="https://doc.rust-lang.org/1.78.0/core/marker/struct.PhantomData.html" title="struct core::marker::PhantomData">PhantomData</a>&lt;N&gt;</code></span><h2 id="implementations" class="section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Compiler%3C'a,+N%3E" class="impl"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#65-386">source</a><a href="#impl-Compiler%3C'a,+N%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'a, N: Network&gt; <a class="struct" href="compiler/struct.Compiler.html" title="struct leo_compiler::compiler::Compiler">Compiler</a>&lt;'a, N&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.new" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#67-93">source</a><h4 class="code-header">pub fn <a href="#method.new" class="fn">new</a>(
     program_name: <a class="struct" href="https://doc.rust-lang.org/1.78.0/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>,
@@ -44,7 +44,7 @@
 </div></details><details class="toggle method-toggle" open><summary><section id="method.type_checker_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#157-170">source</a><h4 class="code-header">pub fn <a href="#method.type_checker_pass" class="fn">type_checker_pass</a>(
     &amp;'a self,
     symbol_table: <a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>
-) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;(<a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>, StructGraph, CallGraph)&gt;</h4></section></summary><div class="docblock"><p>Runs the type checker pass.</p>
+) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;(<a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>, <a class="type" href="../leo_passes/common/graph/type.StructGraph.html" title="type leo_passes::common::graph::StructGraph">StructGraph</a>, <a class="type" href="../leo_passes/common/graph/type.CallGraph.html" title="type leo_passes::common::graph::CallGraph">CallGraph</a>)&gt;</h4></section></summary><div class="docblock"><p>Runs the type checker pass.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.loop_unrolling_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#173-192">source</a><h4 class="code-header">pub fn <a href="#method.loop_unrolling_pass" class="fn">loop_unrolling_pass</a>(
     &amp;mut self,
     symbol_table: <a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>
@@ -55,17 +55,17 @@
 ) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.unit.html">()</a>&gt;</h4></section></summary><div class="docblock"><p>Runs the static single assignment pass.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.flattening_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#212-226">source</a><h4 class="code-header">pub fn <a href="#method.flattening_pass" class="fn">flattening_pass</a>(&amp;mut self, symbol_table: &amp;<a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.unit.html">()</a>&gt;</h4></section></summary><div class="docblock"><p>Runs the flattening pass.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.destructuring_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#229-242">source</a><h4 class="code-header">pub fn <a href="#method.destructuring_pass" class="fn">destructuring_pass</a>(&amp;mut self) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.unit.html">()</a>&gt;</h4></section></summary><div class="docblock"><p>Runs the destructuring pass.</p>
-</div></details><details class="toggle method-toggle" open><summary><section id="method.function_inlining_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#245-260">source</a><h4 class="code-header">pub fn <a href="#method.function_inlining_pass" class="fn">function_inlining_pass</a>(&amp;mut self, call_graph: &amp;CallGraph) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.unit.html">()</a>&gt;</h4></section></summary><div class="docblock"><p>Runs the function inlining pass.</p>
+</div></details><details class="toggle method-toggle" open><summary><section id="method.function_inlining_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#245-260">source</a><h4 class="code-header">pub fn <a href="#method.function_inlining_pass" class="fn">function_inlining_pass</a>(&amp;mut self, call_graph: &amp;<a class="type" href="../leo_passes/common/graph/type.CallGraph.html" title="type leo_passes::common::graph::CallGraph">CallGraph</a>) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.unit.html">()</a>&gt;</h4></section></summary><div class="docblock"><p>Runs the function inlining pass.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.dead_code_elimination_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#263-273">source</a><h4 class="code-header">pub fn <a href="#method.dead_code_elimination_pass" class="fn">dead_code_elimination_pass</a>(&amp;mut self) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.unit.html">()</a>&gt;</h4></section></summary><div class="docblock"><p>Runs the dead code elimination pass.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.code_generation_pass" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#276-283">source</a><h4 class="code-header">pub fn <a href="#method.code_generation_pass" class="fn">code_generation_pass</a>(
     &amp;mut self,
     symbol_table: &amp;<a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>,
-    struct_graph: &amp;StructGraph,
-    call_graph: &amp;CallGraph
+    struct_graph: &amp;<a class="type" href="../leo_passes/common/graph/type.StructGraph.html" title="type leo_passes::common::graph::StructGraph">StructGraph</a>,
+    call_graph: &amp;<a class="type" href="../leo_passes/common/graph/type.CallGraph.html" title="type leo_passes::common::graph::CallGraph">CallGraph</a>
 ) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.78.0/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>&gt;</h4></section></summary><div class="docblock"><p>Runs the code generation pass.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.compiler_stages" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#286-304">source</a><h4 class="code-header">pub fn <a href="#method.compiler_stages" class="fn">compiler_stages</a>(
     &amp;mut self
-) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;(<a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>, StructGraph, CallGraph)&gt;</h4></section></summary><div class="docblock"><p>Runs the compiler stages.</p>
+) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;(<a class="struct" href="struct.SymbolTable.html" title="struct leo_compiler::SymbolTable">SymbolTable</a>, <a class="type" href="../leo_passes/common/graph/type.StructGraph.html" title="type leo_passes::common::graph::StructGraph">StructGraph</a>, <a class="type" href="../leo_passes/common/graph/type.CallGraph.html" title="type leo_passes::common::graph::CallGraph">CallGraph</a>)&gt;</h4></section></summary><div class="docblock"><p>Runs the compiler stages.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.compile" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#307-317">source</a><h4 class="code-header">pub fn <a href="#method.compile" class="fn">compile</a>(&amp;mut self) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="struct" href="https://doc.rust-lang.org/1.78.0/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>&gt;</h4></section></summary><div class="docblock"><p>Returns a compiled Leo program.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.write_ast_to_json" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#320-332">source</a><h4 class="code-header">fn <a href="#method.write_ast_to_json" class="fn">write_ast_to_json</a>(&amp;self, file_suffix: &amp;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.str.html">str</a>) -&gt; <a class="type" href="../leo_errors/errors/type.Result.html" title="type leo_errors::errors::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.78.0/std/primitive.unit.html">()</a>&gt;</h4></section></summary><div class="docblock"><p>Writes the AST to a JSON file.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.write_symbol_table_to_json" class="method"><a class="src rightside" href="../src/leo_compiler/compiler.rs.html#335-348">source</a><h4 class="code-header">fn <a href="#method.write_symbol_table_to_json" class="fn">write_symbol_table_to_json</a>(