[Boost-users] [MPL] how do i validate a predicate template?

From: Cory Nelson (phrosty_at_[hidden])
Date: 2005-11-14 21:48:50

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 >
>));

--
Cory Nelson
http://www.int64.org