#lifetime #dyn #quantification

no-std existential

Existential quantification over lifetimes

1 unstable release

0.1.1 Sep 12, 2021
0.1.0 Sep 12, 2021

#2684 in Rust patterns

MIT/Apache

8KB
129 lines

existential

docs.rs crates.io github MIT / Apache 2.0 licensed

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

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.

No runtime deps