├── .github ├── dependabot.yml └── workflows │ └── tests.yml ├── .gitignore ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── bin └── generate_test_coverage ├── canrun ├── Cargo.toml ├── README.md ├── benches │ ├── collections.rs │ ├── core.rs │ └── main.rs └── src │ ├── collections │ ├── lmap │ │ ├── get.rs │ │ ├── mod.rs │ │ ├── subset.rs │ │ └── superset.rs │ ├── ltup.rs │ ├── lvec │ │ ├── get.rs │ │ ├── member.rs │ │ ├── mod.rs │ │ ├── slice.rs │ │ └── subset.rs │ └── mod.rs │ ├── core │ ├── constraints.rs │ ├── fork.rs │ ├── lvarlist.rs │ ├── mkmvmap.rs │ ├── mod.rs │ ├── query.rs │ ├── ready_state.rs │ ├── reify.rs │ ├── state.rs │ ├── state_iterator.rs │ ├── unify.rs │ └── value.rs │ ├── docs │ ├── mod.rs │ └── quickstart.md │ ├── goals │ ├── all.rs │ ├── any.rs │ ├── both.rs │ ├── cmp │ │ ├── gt.rs │ │ ├── gte.rs │ │ ├── lt.rs │ │ ├── lte.rs │ │ ├── max.rs │ │ ├── min.rs │ │ └── mod.rs │ ├── custom.rs │ ├── either.rs │ ├── fail.rs │ ├── lazy.rs │ ├── mod.rs │ ├── not.rs │ ├── ops │ │ ├── add.rs │ │ ├── div.rs │ │ ├── mod.rs │ │ ├── mul.rs │ │ └── sub.rs │ ├── project │ │ ├── assert_1.rs │ │ ├── assert_2.rs │ │ ├── map_1.rs │ │ ├── map_2.rs │ │ ├── mod.rs │ │ ├── project_1.rs │ │ └── project_2.rs │ ├── succeed.rs │ └── unify.rs │ ├── lib.rs │ └── util.rs ├── codecov.yml ├── examples ├── Cargo.toml ├── benches │ └── main.rs └── src │ ├── lib.rs │ ├── reindeer.rs │ └── zebra.rs └── rustfmt.toml /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/README.md -------------------------------------------------------------------------------- /bin/generate_test_coverage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/bin/generate_test_coverage -------------------------------------------------------------------------------- /canrun/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/Cargo.toml -------------------------------------------------------------------------------- /canrun/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/README.md -------------------------------------------------------------------------------- /canrun/benches/collections.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/benches/collections.rs -------------------------------------------------------------------------------- /canrun/benches/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/benches/core.rs -------------------------------------------------------------------------------- /canrun/benches/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/benches/main.rs -------------------------------------------------------------------------------- /canrun/src/collections/lmap/get.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lmap/get.rs -------------------------------------------------------------------------------- /canrun/src/collections/lmap/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lmap/mod.rs -------------------------------------------------------------------------------- /canrun/src/collections/lmap/subset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lmap/subset.rs -------------------------------------------------------------------------------- /canrun/src/collections/lmap/superset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lmap/superset.rs -------------------------------------------------------------------------------- /canrun/src/collections/ltup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/ltup.rs -------------------------------------------------------------------------------- /canrun/src/collections/lvec/get.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lvec/get.rs -------------------------------------------------------------------------------- /canrun/src/collections/lvec/member.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lvec/member.rs -------------------------------------------------------------------------------- /canrun/src/collections/lvec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lvec/mod.rs -------------------------------------------------------------------------------- /canrun/src/collections/lvec/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lvec/slice.rs -------------------------------------------------------------------------------- /canrun/src/collections/lvec/subset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/lvec/subset.rs -------------------------------------------------------------------------------- /canrun/src/collections/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/collections/mod.rs -------------------------------------------------------------------------------- /canrun/src/core/constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/constraints.rs -------------------------------------------------------------------------------- /canrun/src/core/fork.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/fork.rs -------------------------------------------------------------------------------- /canrun/src/core/lvarlist.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/lvarlist.rs -------------------------------------------------------------------------------- /canrun/src/core/mkmvmap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/mkmvmap.rs -------------------------------------------------------------------------------- /canrun/src/core/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/mod.rs -------------------------------------------------------------------------------- /canrun/src/core/query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/query.rs -------------------------------------------------------------------------------- /canrun/src/core/ready_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/ready_state.rs -------------------------------------------------------------------------------- /canrun/src/core/reify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/reify.rs -------------------------------------------------------------------------------- /canrun/src/core/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/state.rs -------------------------------------------------------------------------------- /canrun/src/core/state_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/state_iterator.rs -------------------------------------------------------------------------------- /canrun/src/core/unify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/unify.rs -------------------------------------------------------------------------------- /canrun/src/core/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/core/value.rs -------------------------------------------------------------------------------- /canrun/src/docs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/docs/mod.rs -------------------------------------------------------------------------------- /canrun/src/docs/quickstart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/docs/quickstart.md -------------------------------------------------------------------------------- /canrun/src/goals/all.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/all.rs -------------------------------------------------------------------------------- /canrun/src/goals/any.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/any.rs -------------------------------------------------------------------------------- /canrun/src/goals/both.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/both.rs -------------------------------------------------------------------------------- /canrun/src/goals/cmp/gt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/cmp/gt.rs -------------------------------------------------------------------------------- /canrun/src/goals/cmp/gte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/cmp/gte.rs -------------------------------------------------------------------------------- /canrun/src/goals/cmp/lt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/cmp/lt.rs -------------------------------------------------------------------------------- /canrun/src/goals/cmp/lte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/cmp/lte.rs -------------------------------------------------------------------------------- /canrun/src/goals/cmp/max.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/cmp/max.rs -------------------------------------------------------------------------------- /canrun/src/goals/cmp/min.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/cmp/min.rs -------------------------------------------------------------------------------- /canrun/src/goals/cmp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/cmp/mod.rs -------------------------------------------------------------------------------- /canrun/src/goals/custom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/custom.rs -------------------------------------------------------------------------------- /canrun/src/goals/either.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/either.rs -------------------------------------------------------------------------------- /canrun/src/goals/fail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/fail.rs -------------------------------------------------------------------------------- /canrun/src/goals/lazy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/lazy.rs -------------------------------------------------------------------------------- /canrun/src/goals/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/mod.rs -------------------------------------------------------------------------------- /canrun/src/goals/not.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/not.rs -------------------------------------------------------------------------------- /canrun/src/goals/ops/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/ops/add.rs -------------------------------------------------------------------------------- /canrun/src/goals/ops/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/ops/div.rs -------------------------------------------------------------------------------- /canrun/src/goals/ops/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/ops/mod.rs -------------------------------------------------------------------------------- /canrun/src/goals/ops/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/ops/mul.rs -------------------------------------------------------------------------------- /canrun/src/goals/ops/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/ops/sub.rs -------------------------------------------------------------------------------- /canrun/src/goals/project/assert_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/project/assert_1.rs -------------------------------------------------------------------------------- /canrun/src/goals/project/assert_2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/project/assert_2.rs -------------------------------------------------------------------------------- /canrun/src/goals/project/map_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/project/map_1.rs -------------------------------------------------------------------------------- /canrun/src/goals/project/map_2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/project/map_2.rs -------------------------------------------------------------------------------- /canrun/src/goals/project/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/project/mod.rs -------------------------------------------------------------------------------- /canrun/src/goals/project/project_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/project/project_1.rs -------------------------------------------------------------------------------- /canrun/src/goals/project/project_2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/project/project_2.rs -------------------------------------------------------------------------------- /canrun/src/goals/succeed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/succeed.rs -------------------------------------------------------------------------------- /canrun/src/goals/unify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/goals/unify.rs -------------------------------------------------------------------------------- /canrun/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/lib.rs -------------------------------------------------------------------------------- /canrun/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/canrun/src/util.rs -------------------------------------------------------------------------------- /codecov.yml: -------------------------------------------------------------------------------- 1 | ignore: 2 | - "examples" 3 | -------------------------------------------------------------------------------- /examples/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/examples/Cargo.toml -------------------------------------------------------------------------------- /examples/benches/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/examples/benches/main.rs -------------------------------------------------------------------------------- /examples/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/examples/src/lib.rs -------------------------------------------------------------------------------- /examples/src/reindeer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/examples/src/reindeer.rs -------------------------------------------------------------------------------- /examples/src/zebra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tgecho/canrun_rs/HEAD/examples/src/zebra.rs -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | wrap_comments = true 2 | --------------------------------------------------------------------------------