├── .gitignore ├── .travis.yml ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── README.tpl ├── src └── lib.rs └── tests ├── disable_without_specialization.rs ├── doc_comments.rs ├── flexible_machines.rs ├── multi_parameter_data.rs ├── smallfsck.rs ├── specialization_concrete.rs ├── specialization_data.rs ├── specific_attrs.rs └── unbounded_parameters.rs /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/README.md -------------------------------------------------------------------------------- /README.tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/README.tpl -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/src/lib.rs -------------------------------------------------------------------------------- /tests/disable_without_specialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/disable_without_specialization.rs -------------------------------------------------------------------------------- /tests/doc_comments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/doc_comments.rs -------------------------------------------------------------------------------- /tests/flexible_machines.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/flexible_machines.rs -------------------------------------------------------------------------------- /tests/multi_parameter_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/multi_parameter_data.rs -------------------------------------------------------------------------------- /tests/smallfsck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/smallfsck.rs -------------------------------------------------------------------------------- /tests/specialization_concrete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/specialization_concrete.rs -------------------------------------------------------------------------------- /tests/specialization_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/specialization_data.rs -------------------------------------------------------------------------------- /tests/specific_attrs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/specific_attrs.rs -------------------------------------------------------------------------------- /tests/unbounded_parameters.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sdleffler/type-operators-rs/HEAD/tests/unbounded_parameters.rs --------------------------------------------------------------------------------