27 #ifndef MLN_METAL_IS_A_HH
28 # define MLN_METAL_IS_A_HH
34 # include <mln/metal/bool.hh>
47 # define mlc_is_a(T, M) mln::metal::is_a<T, M>
52 # define mlc_is_a__1comma(Tleft, Tright, M) mln::metal::is_a< Tleft,Tright , M >
66 struct no_ {
char dummy[2]; };
80 template <
typename T,
template <
class>
class M>
85 static yes_ selector(M<V>*);
86 static no_ selector(...);
99 template <
typename T,
template <
class>
class M>
100 struct is_a :
bool_<( sizeof( internal::helper_is_a_< T, M >::selector(internal::make_< T >::ptr()) )
102 sizeof( internal::yes_ ) )>
105 template <
typename T,
template <
class>
class M>
106 struct is_a< const
T, M > : is_a< T, M >
::eval
109 template <
typename T,
template <
class>
class M>
110 struct is_a<
T&, M > : is_a< T, M >::eval
113 template <
typename T,
template <
class>
class M>
114 struct is_a< const
T&, M > : is_a< T, M >::eval
123 #endif // ! MLN_METAL_IS_A_HH