mirror of
https://github.com/bolero-MURAKAMI/Sprout
synced 2024-11-12 21:09:01 +00:00
35 lines
930 B
C++
35 lines
930 B
C++
#ifndef SPROUT_FUNCTIONAL_LOGICAL_AND_HPP
|
|
#define SPROUT_FUNCTIONAL_LOGICAL_AND_HPP
|
|
|
|
#include <utility>
|
|
#include <sprout/config.hpp>
|
|
#include <sprout/utility/forward.hpp>
|
|
|
|
namespace sprout {
|
|
// 20.8.6 logical operations
|
|
template<typename T = void>
|
|
struct logical_and {
|
|
public:
|
|
typedef T first_argument_type;
|
|
typedef T second_argument_type;
|
|
typedef bool result_type;
|
|
public:
|
|
SPROUT_CONSTEXPR bool operator()(T const& x, T const& y) const {
|
|
return x && y;
|
|
}
|
|
};
|
|
|
|
template<>
|
|
struct logical_and<void> {
|
|
public:
|
|
template<typename T, typename U>
|
|
SPROUT_CONSTEXPR decltype(std::declval<T>() && std::declval<U>())
|
|
operator()(T&& x, U&& y)
|
|
const SPROUT_NOEXCEPT_EXPR(SPROUT_NOEXCEPT_EXPR(std::declval<T>() && std::declval<U>()))
|
|
{
|
|
return sprout::forward<T>(x) && sprout::forward<U>(y);
|
|
}
|
|
};
|
|
} // namespace sprout
|
|
|
|
#endif // #ifndef SPROUT_FUNCTIONAL_LOGICAL_AND_HPP
|