16 Feb
2018
16 Feb
'18
1:06 a.m.
struct my_xform {
template<typename TerminalValue1, typename TerminalValue2> auto operator()( plus_tag, my_expr<expr_kind::terminal, TUPLE<TerminalValue1>> const & lhs, my_expr<expr_kind::terminal, TUPLE<TerminalValue2>> const & rhs) { return /*...*/; }
};
It now occurs to me that if my_expr is not <Kind, Tuple>, but <Kind, T...>, a transform would be able to match it without knowing the tuple type.