search

lloydmeta / frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
https://beachape.com/frunk/
MIT License
1.29k stars 58 forks source link

Feature/CoproductEmbedder #95

Closed ExpHP closed 6 years ago

ExpHP commented 6 years ago

Itemized changes

From most significant to least:

Added CoproductEmbedder.

Documented the rules of type inference for CoprodInjector. I did this because I allude to these rules in the docs for CoproductEmbedder. (In the future, I would like to see similar documentation added to all methods.)

Changed headline of CoprodInjector to not use the word "inject."

Removed #[doc(hidden)] changes from some trait impls for CNil. In my opinion it actually makes the documentation nicer when the reader can see the base cases for recursion. (@lloydmeta let me know if you disagree and I can undo this)

Add missing code tags to some markdown.

Closes #86.

Centril commented 6 years ago

Assigning over to @lloydmeta since I'm a bit busy atm ;) WG-Epoch and stuff ^,-

My initial reaction is that this is a great idea 👍