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

Add `Functor` and the rest of the hiearchy. #169

Open entropylost opened 3 years ago

entropylost commented 3 years ago

This is possible with nightly rust with features. See https://www.fpcomplete.com/blog/monads-gats-nightly-rust/.

lloydmeta commented 3 years ago

That looks awesome !

haja commented 2 years ago

GATs are coming with rust 1.65 :partying_face: https://releases.rs/docs/unreleased/1.65.0/

Kreijstal commented 2 years ago

Well, so functors are now possible in stable rust.. aren't they?

Kreijstal commented 2 years ago

https://www.rustexplorer.com/b/90nk7p Is this how you implement functors?