less_equal.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_BASIC_FUNCTIONS_LESS_EQUAL_H
#define pRC_CORE_BASIC_FUNCTIONS_LESS_EQUAL_H
 
#include <prc/core/basic/basics.hpp>
#include <prc/core/basic/identity.hpp>
#include <prc/core/basic/unit.hpp>
#include <prc/core/basic/zero.hpp>
 
namespace pRC
{
    template<class X, template<class> class T>
        requires IsSame<T<Void>, Identity<>> || IsSame<T<Void>, Unit<>> ||
        IsSame<T<Void>, Zero<>>
    static inline constexpr auto operator<=(X &&a, T<Void> const)
    {
        return forward<X>(a) <= T<RemoveReference<X>>()();
    }
 
    template<class X, template<class> class T>
        requires IsSame<T<Void>, Identity<>> || IsSame<T<Void>, Unit<>> ||
        IsSame<T<Void>, Zero<>>
    static inline constexpr auto operator<=(T<Void> const, X &&b)
    {
        return T<RemoveReference<X>>()() <= forward<X>(b);
    }
 
    template<template<class> class TA, template<class> class TB>
        requires((IsSame<TA<Void>, Identity<>> || IsSame<TA<Void>, Unit<>> ||
                     IsSame<TA<Void>, Zero<>>) &&
            (IsSame<TB<Void>, Identity<>> || IsSame<TB<Void>, Unit<>> ||
                IsSame<TB<Void>, Zero<>>))
    static inline constexpr auto operator<=(TA<Void> const, TB<Void> const)
    {
        return TA<Size>()() <= TB<Size>()();
    }
}
#endif // pRC_CORE_BASIC_FUNCTIONS_LESS_EQUAL_H