predicate.hpp

Go to the documentation of this file.

//
// Created by yonggyulee on 2023/12/27.
//
 
#ifndef VCCC_CONCEPTS_PREDICATE_HPP
#define VCCC_CONCEPTS_PREDICATE_HPP
 
#include "vccc/__concepts/boolean_testable.hpp"
#include "vccc/__concepts/invocable.hpp"
#include "vccc/__functional/invoke.hpp"
 
namespace vccc {
namespace detail {
 
template<bool v /* false */, typename F, typename... Args>
struct predicate_impl : std::false_type {};
 
template<typename F, typename... Args>
struct predicate_impl<true, F, Args...> : boolean_testable<invoke_result_t<F, Args...>> {};
 
} // namespace detail
 
template<typename F, typename... Args>
struct predicate : detail::predicate_impl<regular_invocable<F, Args...>::value, F, Args...> {};
 
 
} // namespace vccc
 
#endif // VCCC_CONCEPTS_PREDICATE_HPP