is_partially_ordered_with.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include <type_traits>
 
namespace CeresEngine::traits {
 
    template<class T, class U, class = void> struct is_partially_ordered_with : std::false_type {};
 
    template<class T, class U>
    struct is_partially_ordered_with<T, U,
        std::void_t<
            // clang-format off
            decltype(std::declval<const std::remove_reference_t<T>&>() < std::declval<const std::remove_reference_t<U>&>()),
            decltype(std::declval<const std::remove_reference_t<T>&>() > std::declval<const std::remove_reference_t<U>&>()),
            decltype(std::declval<const std::remove_reference_t<T>&>() <= std::declval<const std::remove_reference_t<U>&>()),
            decltype(std::declval<const std::remove_reference_t<T>&>() >= std::declval<const std::remove_reference_t<U>&>()),
            decltype(std::declval<const std::remove_reference_t<U>&>() < std::declval<const std::remove_reference_t<T>&>()),
            decltype(std::declval<const std::remove_reference_t<U>&>() > std::declval<const std::remove_reference_t<T>&>()),
            decltype(std::declval<const std::remove_reference_t<U>&>() <= std::declval<const std::remove_reference_t<T>&>()),
            decltype(std::declval<const std::remove_reference_t<U>&>() >= std::declval<const std::remove_reference_t<T>&>())
            // clang-format on
            >> : std::true_type {};
 
    template<class T, class U> bool constexpr is_partially_ordered_with_v = is_partially_ordered_with<T, U>::value;
 
    template<class T, class U> bool constexpr partially_ordered_with = is_partially_ordered_with_v<T, U>;
 
} // namespace CeresEngine::traits