atomgalaxy / isocpp-universal-template-param

We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.
https://atomgalaxy.github.io/isocpp-universal-template-param/d1985r0.pdf
2 stars 2 forks source link

`template auto` and partial specializaton of NTTPs #4

Closed camaclean closed 4 years ago

camaclean commented 4 years ago

This section could also be useful in justifying the covariant nature of template auto

atomgalaxy commented 4 years ago

Add yourself to the authors list.

On Mon, May 11, 2020, 19:06 camaclean notifications@github.com wrote:

This section could also be useful in justifying the covariant nature of template auto

You can view, comment on, or merge this pull request online at:

https://github.com/atomgalaxy/isocpp-universal-template-param/pull/4 Commit Summary

  • Added section showing how template auto is useful in partial specialization concerning NTTPs

File Changes

Patch Links:

- https://github.com/atomgalaxy/isocpp-universal-template-param/pull/4.patch

https://github.com/atomgalaxy/isocpp-universal-template-param/pull/4.diff

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/atomgalaxy/isocpp-universal-template-param/pull/4, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAA5R5JNKRBW5NZ53OS3ZNDRRA5DTANCNFSM4M6ECL5A .

camaclean commented 4 years ago

Yep, doing that now :)

atomgalaxy commented 4 years ago

Lgtm, but I skimmed. I'll do a full review this evening and then merge.