Cory Nelson <phrosty@gmail.com> writes:

Is there any way to validate a predicate (function, functor etc) template with MPL?

ie, something like:

BOOST_MPL_ASSERT((and_< is_function<Predicate>, equal_to<function_traits<Predicate>::arity, int_<1> >, is_same<function_traits<Predicate>::result_type, int >, is_same<function_traits<Predicate>::arg1_type, int >

...

));

I don't know what you mean by "validate," but your assertion above looks like reasonable code to me. -- Dave Abrahams Boost Consulting www.boost-consulting.com