existential
| Crates.io | existential |
| lib.rs | existential |
| version | 0.1.1 |
| source | src |
| created_at | 2021-09-12 14:04:21.272743 |
| updated_at | 2021-09-12 14:52:15.913482 |
| description | Existential quantification over lifetimes |
| homepage | https://github.com/steffahn/existential |
| repository | https://github.com/steffahn/existential |
| max_upload_size | |
| id | 450104 |
| size | 19,909 |
Frank Steffahn (steffahn)
documentation
https://docs.rs/existential
README
existential
Existential types in Rust, offering existential quantification over lifetimes, but as a library. This works because Rust has parametricity for generic lifetime arguments.
TODO: this crate is still undocumented.
License
Licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.