invocable.hpp

Go to the documentation of this file.

//
// Created by cosge on 2023-12-27.
//
 
#ifndef VCCC_CONCEPTS_INVOCABLE_HPP
#define VCCC_CONCEPTS_INVOCABLE_HPP
 
#include <cstddef>
#include <type_traits>
 
#include "vccc/__functional/invoke.hpp"
#include "vccc/__type_traits/void_t.hpp"
#include "vccc/__utility/type_sequence.hpp"
 
namespace vccc {
namespace detail {
 
template<typename F, typename Seq, typename = void>
struct explicit_invocable : std::false_type {};
 
template<typename F, typename... Args>
struct explicit_invocable<
      F, type_sequence<Args...>,
      void_t<decltype(
          vccc::invoke(
              std::declval<decltype( std::forward<F>   (std::declval<F&&>   ()) )>(),
              std::declval<decltype( std::forward<Args>(std::declval<Args&&>()) )>()...
          )
      )>
    > : std::true_type {};
 
template<typename F, typename Seq>
struct invocable_impl : std::false_type {};
 
template<typename F, typename... Args>
struct invocable_impl<F, type_sequence<Args...>> : explicit_invocable<F, type_sequence<Args...>> {};
 
} // namespace detail
 
 
template<typename F, typename... Args>
struct invocable : detail::invocable_impl<F, type_sequence<Args...>> {};
 
template<typename F, typename... Args >
struct regular_invocable : invocable<F, Args...> {};
 
 
} // namespace vccc
 
#endif // VCCC_CONCEPTS_INVOCABLE_HPP