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

Remove Index type parameter from HMappable, HFoldLeftable, HFoldRightable #109

Closed ExpHP closed 6 years ago

ExpHP commented 6 years ago

Closes #108.

I tried to split up the work so that each individual commit has a relatively clean diff. (the overall diff is a mess because things are moved around and modified at the same time). Well, I tried (it looks like something accidentally got moved around in the third commit anyways)