mirror of
https://github.com/bolero-MURAKAMI/Sprout.git
synced 2024-11-14 10:39:05 +00:00
51 lines
1.8 KiB
C++
51 lines
1.8 KiB
C++
/*=============================================================================
|
|
Copyright (c) 2011-2013 Bolero MURAKAMI
|
|
https://github.com/bolero-MURAKAMI/Sprout
|
|
|
|
Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
=============================================================================*/
|
|
#ifndef SPROUT_WEED_DETAIL_IS_DIFFERENT_ELEM_HPP
|
|
#define SPROUT_WEED_DETAIL_IS_DIFFERENT_ELEM_HPP
|
|
|
|
#include <type_traits>
|
|
#include <sprout/config.hpp>
|
|
#include <sprout/type_traits/integral_constant.hpp>
|
|
#include <sprout/weed/traits/type/is_unused.hpp>
|
|
#include <sprout/weed/detail/is_same_container.hpp>
|
|
#include <sprout/weed/detail/is_container_and_elem.hpp>
|
|
#include <sprout/weed/detail/is_elem_and_container.hpp>
|
|
#include <sprout/weed/detail/is_both_tuple.hpp>
|
|
#include <sprout/weed/detail/is_tuple_and_elem.hpp>
|
|
#include <sprout/weed/detail/is_elem_and_tuple.hpp>
|
|
|
|
namespace sprout {
|
|
namespace weed {
|
|
namespace detail {
|
|
template<typename T, typename U, typename = void>
|
|
struct is_different_elem
|
|
: public sprout::false_type
|
|
{};
|
|
template<typename T, typename U>
|
|
struct is_different_elem<
|
|
T,
|
|
U,
|
|
typename std::enable_if<
|
|
!std::is_same<T, U>::value
|
|
&& !is_same_container<T, U>::value
|
|
&& !is_container_and_elem<T, U>::value
|
|
&& !is_elem_and_container<T, U>::value
|
|
&& !is_both_tuple<T, U>::value
|
|
&& !is_tuple_and_elem<T, U>::value
|
|
&& !is_elem_and_tuple<T, U>::value
|
|
&& !sprout::weed::traits::is_unused<T>::value
|
|
&& !sprout::weed::traits::is_unused<U>::value
|
|
>::type
|
|
>
|
|
: public sprout::true_type
|
|
{};
|
|
} // namespace detail
|
|
} // namespace weed
|
|
} // namespace sprout
|
|
|
|
#endif // #ifndef SPROUT_WEED_DETAIL_IS_DIFFERENT_ELEM_HPP
|