%PDF- %PDF-
Direktori : /backups/router/usr/local/include/boost/hana/detail/operators/ |
Current File : //backups/router/usr/local/include/boost/hana/detail/operators/comparable.hpp |
/*! @file Defines operators for Comparables. Copyright Louis Dionne 2013-2022 Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt) */ #ifndef BOOST_HANA_DETAIL_OPERATORS_COMPARABLE_HPP #define BOOST_HANA_DETAIL_OPERATORS_COMPARABLE_HPP #include <boost/hana/config.hpp> #include <boost/hana/core/tag_of.hpp> #include <boost/hana/fwd/equal.hpp> #include <boost/hana/fwd/not_equal.hpp> #include <type_traits> namespace boost { namespace hana { namespace detail { template <typename Tag> struct comparable_operators { static constexpr bool value = false; }; namespace operators { template <typename X, typename Y, typename = typename std::enable_if< !detail::has_idempotent_tag<X>::value && !detail::has_idempotent_tag<Y>::value && (detail::comparable_operators< typename hana::tag_of<X>::type>::value || detail::comparable_operators< typename hana::tag_of<Y>::type>::value) >::type> constexpr auto operator==(X&& x, Y&& y) { return hana::equal(static_cast<X&&>(x), static_cast<Y&&>(y)); } template <typename X, typename Y, typename = typename std::enable_if< !detail::has_idempotent_tag<X>::value && !detail::has_idempotent_tag<Y>::value && (detail::comparable_operators< typename hana::tag_of<X>::type>::value || detail::comparable_operators< typename hana::tag_of<Y>::type>::value) >::type> constexpr auto operator!=(X&& x, Y&& y) { return hana::not_equal(static_cast<X&&>(x), static_cast<Y&&>(y)); } } // end namespace operators } }} // end namespace boost::hana #endif // !BOOST_HANA_DETAIL_OPERATORS_COMPARABLE_HPP