26 #ifndef MLN_METAL_IS_A_HH
27 # define MLN_METAL_IS_A_HH
33 # include <mln/metal/bool.hh>
44 # define mlc_is_a(T, M) mln::metal::is_a<T, M>
49 # define mlc_is_a__1comma(Tleft, Tright, M) mln::metal::is_a< Tleft,Tright , M >
63 struct no_ {
char dummy[2]; };
77 template <
typename T,
template <
class>
class M>
82 static yes_ selector(M<V>*);
83 static no_ selector(...);
94 template <
typename T,
template <
class>
class M>
95 struct is_a : bool_<( sizeof( internal::helper_is_a_< T, M >::selector(internal::make_< T >::ptr()) )
97 sizeof( internal::yes_ ) )>
100 template <
typename T,
template <
class>
class M>
101 struct is_a< const T, M > :
is_a< T, M >::eval
104 template <
typename T,
template <
class>
class M>
105 struct is_a< T&, M > : is_a< T, M >::eval
108 template <
typename T,
template <
class>
class M>
109 struct is_a< const T&, M > : is_a< T, M >::eval
118 #endif // ! MLN_METAL_IS_A_HH