Fill in crate template

Author: steffahn

Cargo.toml

@@ -1,16 +1,16 @@
 [package]
-name = "template_crate"
-version = "0.0.0"
+name = "existential"
+version = "0.0.1"
 authors = ["Frank Steffahn <[email protected]>"]
 license = "MIT OR Apache-2.0"
 description = """
-Description goes here!!
+Existential quantification over lifetimes
 """
-repository = "https://github.com/steffahn/template_crate"
-homepage = "https://github.com/steffahn/template_crate"
-documentation = "https://docs.rs/template_crate"
-keywords = []
-categories = ["no-std"]
+repository = "https://github.com/steffahn/existential"
+homepage = "https://github.com/steffahn/existential"
+documentation = "https://docs.rs/existential"
+keywords = ["dyn", "lifetime"]
+categories = ["no-std", "rust-patterns"]
 readme = "README.md"
 edition = "2018"
 

README.md

@@ -1,19 +1,23 @@
-# template_crate
+# existential
 
-[![docs.rs]](https://docs.rs/template_crate)
-[![crates.io]](https://crates.io/crates/template_crate)
-[![github]](https://github.com/steffahn/template_crate)
+[![docs.rs]](https://docs.rs/existential)
+[![crates.io]](https://crates.io/crates/existential)
+[![github]](https://github.com/steffahn/existential)
 [![MIT / Apache 2.0 licensed]](#License)
 [![unsafe forbidden]](https://github.com/rust-secure-code/safety-dance/)
 
-[github]: https://img.shields.io/badge/github-steffahn/template__crate-yellowgreen.svg
-[crates.io]: https://img.shields.io/crates/v/template_crate.svg
-[MIT / Apache 2.0 licensed]: https://img.shields.io/crates/l/template_crate.svg
-[docs.rs]: https://docs.rs/template_crate/badge.svg
+[github]: https://img.shields.io/badge/github-steffahn/existential-yellowgreen.svg
+[crates.io]: https://img.shields.io/crates/v/existential.svg?maxAge=86400
+[MIT / Apache 2.0 licensed]: https://img.shields.io/crates/l/existential.svg?maxAge=2592000
+[docs.rs]: https://docs.rs/existential/badge.svg
 [unsafe forbidden]: https://img.shields.io/badge/unsafe-forbidden-success.svg
 
 
-README documentation goes here!!
+[Existential types](https://wiki.haskell.org/Existential_type) in Rust, offering existential
+quantification over lifetimes, but as a library. This works because Rust has
+[parametricity](https://en.wikipedia.org/wiki/Parametricity) for generic lifetime arguments.
+
+_Work in progress; this crate is still undocumented._
 
 ## License
 Licensed under either of

src/lib.rs

@@ -28,7 +28,6 @@
     clippy::map_err_ignore,
     clippy::mem_forget,
     clippy::missing_docs_in_private_items,
-    clippy::missing_inline_in_public_items,
     clippy::modulo_arithmetic,
     clippy::multiple_inherent_impl,
     clippy::panic,
@@ -86,15 +85,19 @@
     rustdoc::invalid_html_tags
 )]
 
-//! [![crates.io]](https://crates.io/crates/template_crate)
-//! [![github]](https://github.com/steffahn/template_crate)
-//! [![MIT / Apache 2.0 licensed]](https://github.com/steffahn/template_crate#License)
+//! [![crates.io]](https://crates.io/crates/existential)
+//! [![github]](https://github.com/steffahn/existential)
+//! [![MIT / Apache 2.0 licensed]](https://github.com/steffahn/existential#License)
 //! [![unsafe forbidden]](https://github.com/rust-secure-code/safety-dance/)
 //!
-//! Module-level documentation goes here!!
+//! [Existential types](https://wiki.haskell.org/Existential_type) in Rust, offering existential
+//! quantification over lifetimes, but as a library. This works because Rust has
+//! [parametricity](https://en.wikipedia.org/wiki/Parametricity) for generic lifetime arguments.
+//! 
+//! _Work in progress; this crate is still undocumented._
 //!
-//! [github]: https://img.shields.io/badge/github-steffahn/template__crate-yellowgreen.svg
-//! [crates.io]: https://img.shields.io/crates/v/template_crate.svg
-//! [MIT / Apache 2.0 licensed]: https://img.shields.io/crates/l/template_crate.svg
-//! [docs.rs]: https://docs.rs/template_crate/badge.svg
+//! [github]: https://img.shields.io/badge/github-steffahn/existential-yellowgreen.svg
+//! [crates.io]: https://img.shields.io/crates/v/existential.svg
+//! [MIT / Apache 2.0 licensed]: https://img.shields.io/crates/l/existential.svg
+//! [docs.rs]: https://docs.rs/existential/badge.svg
 //! [unsafe forbidden]: https://img.shields.io/badge/unsafe-forbidden-success.svg