├── .github └── workflows │ └── test.yaml ├── .gitignore ├── Cargo.toml ├── doc ├── base.md ├── cpp_import.md ├── test.md └── trait.md ├── examples ├── binary_operator.niu ├── char.niu ├── clone.niu ├── double_reference.niu ├── eq.niu ├── fail │ ├── associated1.niu │ ├── associated2.niu │ ├── call_var1.niu │ ├── call_var2.niu │ ├── calleq1.niu │ ├── calleq2.niu │ ├── clone.niu │ ├── equation1.niu │ ├── failed_not_def_generics.niu │ ├── member1.niu │ ├── member2.niu │ ├── tuple_member1.niu │ ├── tuple_member2.niu │ ├── where_section.niu │ ├── where_section2.niu │ ├── where_section3.niu │ ├── where_section4.niu │ └── where_section5.niu ├── failed_not_def_generics.niu ├── fib.niu ├── float.niu ├── for.niu ├── foreach.niu ├── generics_impl.niu ├── generics_struct.niu ├── generics_trait.niu ├── if.niu ├── index_test.niu ├── index_test2.niu ├── lazy_segtree.niu ├── line_feed │ ├── cr.niu │ ├── crlf.niu │ └── lf.niu ├── main.niu ├── map.niu ├── member_func.niu ├── modint.niu ├── move_check.niu ├── mut.niu ├── mutable_argument.niu ├── neg.niu ├── nest_param_candidate.niu ├── not.niu ├── ord.niu ├── param_candidate_specifier.niu ├── pointer.niu ├── set.niu ├── struct.niu ├── struct2.niu ├── test.niu ├── tuple.niu ├── vec.niu ├── void.niu └── where_sec_for_selfimpl.niu ├── lib ├── data_structure │ ├── index.md │ ├── segment_tree.niu │ ├── sparse_table.niu │ ├── splay_tree_array.niu │ └── union_find.niu ├── library.toml ├── math │ ├── index.md │ ├── matrix.niu │ └── modint.niu └── std │ ├── bool.niu │ ├── f64.niu │ ├── i64.niu │ ├── index.md │ ├── map.niu │ ├── opes.niu │ ├── set.niu │ ├── shared_ptr.niu │ ├── tuple.niu │ ├── u64.niu │ ├── unique_ptr.niu │ ├── vec.niu │ └── weak_ptr.niu ├── memo.md ├── readme.md └── src ├── block.rs ├── content_str.rs ├── cpp_inline.rs ├── error.rs ├── error ├── comment.rs ├── details.rs ├── range.rs └── unify.rs ├── expression.rs ├── expression ├── for_each_expr.rs ├── for_expr.rs └── if_expr.rs ├── full_content.rs ├── func_definition.rs ├── identifier.rs ├── let_declaration.rs ├── lib.rs ├── literal.rs ├── literal └── char_literal.rs ├── main.rs ├── move_checker.rs ├── mut_checker.rs ├── statement.rs ├── structs.rs ├── structs ├── impl_self.rs ├── struct_definition.rs └── struct_instantiation.rs ├── subcommand.rs ├── subcommand ├── document.rs ├── generate.rs ├── tester.rs └── unit_test.rs ├── subseq.rs ├── substitute.rs ├── traits.rs ├── traits ├── associated_type.rs ├── candidate.rs └── trait_method.rs ├── trans.rs ├── type_id.rs ├── type_spec.rs ├── unary_expr.rs ├── unify.rs ├── unify ├── traits_info.rs ├── type_equation.rs ├── type_equation │ ├── associated_type.rs │ ├── call_equation.rs │ ├── call_variable.rs │ ├── member.rs │ └── tuple_member.rs └── where_section.rs └── unit_test.rs /.github/workflows/test.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/.github/workflows/test.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/Cargo.toml -------------------------------------------------------------------------------- /doc/base.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/doc/base.md -------------------------------------------------------------------------------- /doc/cpp_import.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/doc/cpp_import.md -------------------------------------------------------------------------------- /doc/test.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/doc/test.md -------------------------------------------------------------------------------- /doc/trait.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/doc/trait.md -------------------------------------------------------------------------------- /examples/binary_operator.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/binary_operator.niu -------------------------------------------------------------------------------- /examples/char.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/char.niu -------------------------------------------------------------------------------- /examples/clone.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/clone.niu -------------------------------------------------------------------------------- /examples/double_reference.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/double_reference.niu -------------------------------------------------------------------------------- /examples/eq.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/eq.niu -------------------------------------------------------------------------------- /examples/fail/associated1.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/associated1.niu -------------------------------------------------------------------------------- /examples/fail/associated2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/associated2.niu -------------------------------------------------------------------------------- /examples/fail/call_var1.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/call_var1.niu -------------------------------------------------------------------------------- /examples/fail/call_var2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/call_var2.niu -------------------------------------------------------------------------------- /examples/fail/calleq1.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/calleq1.niu -------------------------------------------------------------------------------- /examples/fail/calleq2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/calleq2.niu -------------------------------------------------------------------------------- /examples/fail/clone.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/clone.niu -------------------------------------------------------------------------------- /examples/fail/equation1.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/equation1.niu -------------------------------------------------------------------------------- /examples/fail/failed_not_def_generics.niu: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/fail/member1.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/member1.niu -------------------------------------------------------------------------------- /examples/fail/member2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/member2.niu -------------------------------------------------------------------------------- /examples/fail/tuple_member1.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/tuple_member1.niu -------------------------------------------------------------------------------- /examples/fail/tuple_member2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/tuple_member2.niu -------------------------------------------------------------------------------- /examples/fail/where_section.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/where_section.niu -------------------------------------------------------------------------------- /examples/fail/where_section2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/where_section2.niu -------------------------------------------------------------------------------- /examples/fail/where_section3.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/where_section3.niu -------------------------------------------------------------------------------- /examples/fail/where_section4.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/where_section4.niu -------------------------------------------------------------------------------- /examples/fail/where_section5.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fail/where_section5.niu -------------------------------------------------------------------------------- /examples/failed_not_def_generics.niu: -------------------------------------------------------------------------------- 1 | fn apply(t: U) -> T { 2 | t 3 | } 4 | -------------------------------------------------------------------------------- /examples/fib.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/fib.niu -------------------------------------------------------------------------------- /examples/float.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/float.niu -------------------------------------------------------------------------------- /examples/for.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/for.niu -------------------------------------------------------------------------------- /examples/foreach.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/foreach.niu -------------------------------------------------------------------------------- /examples/generics_impl.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/generics_impl.niu -------------------------------------------------------------------------------- /examples/generics_struct.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/generics_struct.niu -------------------------------------------------------------------------------- /examples/generics_trait.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/generics_trait.niu -------------------------------------------------------------------------------- /examples/if.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/if.niu -------------------------------------------------------------------------------- /examples/index_test.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/index_test.niu -------------------------------------------------------------------------------- /examples/index_test2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/index_test2.niu -------------------------------------------------------------------------------- /examples/lazy_segtree.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/lazy_segtree.niu -------------------------------------------------------------------------------- /examples/line_feed/cr.niu: -------------------------------------------------------------------------------- 1 | fn main() -> void { let a = 5; } -------------------------------------------------------------------------------- /examples/line_feed/crlf.niu: -------------------------------------------------------------------------------- 1 | fn main() -> void { 2 | let a = 5; 3 | } 4 | -------------------------------------------------------------------------------- /examples/line_feed/lf.niu: -------------------------------------------------------------------------------- 1 | fn main() -> void { 2 | let a = 5; 3 | } 4 | -------------------------------------------------------------------------------- /examples/main.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/main.niu -------------------------------------------------------------------------------- /examples/map.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/map.niu -------------------------------------------------------------------------------- /examples/member_func.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/member_func.niu -------------------------------------------------------------------------------- /examples/modint.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/modint.niu -------------------------------------------------------------------------------- /examples/move_check.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/move_check.niu -------------------------------------------------------------------------------- /examples/mut.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/mut.niu -------------------------------------------------------------------------------- /examples/mutable_argument.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/mutable_argument.niu -------------------------------------------------------------------------------- /examples/neg.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/neg.niu -------------------------------------------------------------------------------- /examples/nest_param_candidate.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/nest_param_candidate.niu -------------------------------------------------------------------------------- /examples/not.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/not.niu -------------------------------------------------------------------------------- /examples/ord.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/ord.niu -------------------------------------------------------------------------------- /examples/param_candidate_specifier.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/param_candidate_specifier.niu -------------------------------------------------------------------------------- /examples/pointer.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/pointer.niu -------------------------------------------------------------------------------- /examples/set.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/set.niu -------------------------------------------------------------------------------- /examples/struct.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/struct.niu -------------------------------------------------------------------------------- /examples/struct2.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/struct2.niu -------------------------------------------------------------------------------- /examples/test.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/test.niu -------------------------------------------------------------------------------- /examples/tuple.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/tuple.niu -------------------------------------------------------------------------------- /examples/vec.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/vec.niu -------------------------------------------------------------------------------- /examples/void.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/void.niu -------------------------------------------------------------------------------- /examples/where_sec_for_selfimpl.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/examples/where_sec_for_selfimpl.niu -------------------------------------------------------------------------------- /lib/data_structure/index.md: -------------------------------------------------------------------------------- 1 | # Data Structure -------------------------------------------------------------------------------- /lib/data_structure/segment_tree.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/data_structure/segment_tree.niu -------------------------------------------------------------------------------- /lib/data_structure/sparse_table.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/data_structure/sparse_table.niu -------------------------------------------------------------------------------- /lib/data_structure/splay_tree_array.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/data_structure/splay_tree_array.niu -------------------------------------------------------------------------------- /lib/data_structure/union_find.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/data_structure/union_find.niu -------------------------------------------------------------------------------- /lib/library.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/library.toml -------------------------------------------------------------------------------- /lib/math/index.md: -------------------------------------------------------------------------------- 1 | # Math -------------------------------------------------------------------------------- /lib/math/matrix.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/math/matrix.niu -------------------------------------------------------------------------------- /lib/math/modint.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/math/modint.niu -------------------------------------------------------------------------------- /lib/std/bool.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/bool.niu -------------------------------------------------------------------------------- /lib/std/f64.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/f64.niu -------------------------------------------------------------------------------- /lib/std/i64.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/i64.niu -------------------------------------------------------------------------------- /lib/std/index.md: -------------------------------------------------------------------------------- 1 | # Std -------------------------------------------------------------------------------- /lib/std/map.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/map.niu -------------------------------------------------------------------------------- /lib/std/opes.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/opes.niu -------------------------------------------------------------------------------- /lib/std/set.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/set.niu -------------------------------------------------------------------------------- /lib/std/shared_ptr.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/shared_ptr.niu -------------------------------------------------------------------------------- /lib/std/tuple.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/tuple.niu -------------------------------------------------------------------------------- /lib/std/u64.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/u64.niu -------------------------------------------------------------------------------- /lib/std/unique_ptr.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/unique_ptr.niu -------------------------------------------------------------------------------- /lib/std/vec.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/vec.niu -------------------------------------------------------------------------------- /lib/std/weak_ptr.niu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/lib/std/weak_ptr.niu -------------------------------------------------------------------------------- /memo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/memo.md -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/readme.md -------------------------------------------------------------------------------- /src/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/block.rs -------------------------------------------------------------------------------- /src/content_str.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/content_str.rs -------------------------------------------------------------------------------- /src/cpp_inline.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/cpp_inline.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/error/comment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/error/comment.rs -------------------------------------------------------------------------------- /src/error/details.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/error/details.rs -------------------------------------------------------------------------------- /src/error/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/error/range.rs -------------------------------------------------------------------------------- /src/error/unify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/error/unify.rs -------------------------------------------------------------------------------- /src/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/expression.rs -------------------------------------------------------------------------------- /src/expression/for_each_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/expression/for_each_expr.rs -------------------------------------------------------------------------------- /src/expression/for_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/expression/for_expr.rs -------------------------------------------------------------------------------- /src/expression/if_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/expression/if_expr.rs -------------------------------------------------------------------------------- /src/full_content.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/full_content.rs -------------------------------------------------------------------------------- /src/func_definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/func_definition.rs -------------------------------------------------------------------------------- /src/identifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/identifier.rs -------------------------------------------------------------------------------- /src/let_declaration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/let_declaration.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/literal.rs -------------------------------------------------------------------------------- /src/literal/char_literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/literal/char_literal.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/move_checker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/move_checker.rs -------------------------------------------------------------------------------- /src/mut_checker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/mut_checker.rs -------------------------------------------------------------------------------- /src/statement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/statement.rs -------------------------------------------------------------------------------- /src/structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/structs.rs -------------------------------------------------------------------------------- /src/structs/impl_self.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/structs/impl_self.rs -------------------------------------------------------------------------------- /src/structs/struct_definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/structs/struct_definition.rs -------------------------------------------------------------------------------- /src/structs/struct_instantiation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/structs/struct_instantiation.rs -------------------------------------------------------------------------------- /src/subcommand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/subcommand.rs -------------------------------------------------------------------------------- /src/subcommand/document.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/subcommand/document.rs -------------------------------------------------------------------------------- /src/subcommand/generate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/subcommand/generate.rs -------------------------------------------------------------------------------- /src/subcommand/tester.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/subcommand/tester.rs -------------------------------------------------------------------------------- /src/subcommand/unit_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/subcommand/unit_test.rs -------------------------------------------------------------------------------- /src/subseq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/subseq.rs -------------------------------------------------------------------------------- /src/substitute.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/substitute.rs -------------------------------------------------------------------------------- /src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/traits.rs -------------------------------------------------------------------------------- /src/traits/associated_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/traits/associated_type.rs -------------------------------------------------------------------------------- /src/traits/candidate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/traits/candidate.rs -------------------------------------------------------------------------------- /src/traits/trait_method.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/traits/trait_method.rs -------------------------------------------------------------------------------- /src/trans.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/trans.rs -------------------------------------------------------------------------------- /src/type_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/type_id.rs -------------------------------------------------------------------------------- /src/type_spec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/type_spec.rs -------------------------------------------------------------------------------- /src/unary_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unary_expr.rs -------------------------------------------------------------------------------- /src/unify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify.rs -------------------------------------------------------------------------------- /src/unify/traits_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/traits_info.rs -------------------------------------------------------------------------------- /src/unify/type_equation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/type_equation.rs -------------------------------------------------------------------------------- /src/unify/type_equation/associated_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/type_equation/associated_type.rs -------------------------------------------------------------------------------- /src/unify/type_equation/call_equation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/type_equation/call_equation.rs -------------------------------------------------------------------------------- /src/unify/type_equation/call_variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/type_equation/call_variable.rs -------------------------------------------------------------------------------- /src/unify/type_equation/member.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/type_equation/member.rs -------------------------------------------------------------------------------- /src/unify/type_equation/tuple_member.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/type_equation/tuple_member.rs -------------------------------------------------------------------------------- /src/unify/where_section.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unify/where_section.rs -------------------------------------------------------------------------------- /src/unit_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/niuez/Niu/HEAD/src/unit_test.rs --------------------------------------------------------------------------------