Changed partition to use filter (for both resulting lists). #67
Conversation
|
I've attached an archive with two html files generated by metabench (locally). meta_partition_current.htm refers to what one would find in meta.hpp in the master branch (in which partition uses fold). meta_partition_use_filter.htm refers to the proposed change (using filter to generate each of the lists generated by partitioning in the original list). |
include/meta/meta.hpp
Outdated
| { | ||
| using type = if_<invoke<Fn, A>, pair<list<Yes..., A>, list<No...>>, | ||
| pair<list<Yes...>, list<No..., A>>>; | ||
| using type = pair<filter<L<As...>, Fn>, filter<L<As...>, not_fn<quote<Fn::template invoke>>>>; |
There was a problem hiding this comment.
Why not_fn<quote<Fn::template invoke>> instead of just not_fn<Fn> ?
There was a problem hiding this comment.
not_fn<Fn> is the better syntax; I don't remember why I wrote that more verbosely than is necessary. I'll recommit with the more concise syntax.
There was a problem hiding this comment.
Committed, fully built in my Appveyor/Travis accounts, build task 166.12 failed during libc++ installation. A restart of that task should pass.
2 participants
Closes #52