/home/docs/checkouts/readthedocs.org/user_builds/advanced-micro-devices-composable-kernel/checkouts/develop/include/ck/utility/is_detected.hpp Source File

/home/docs/checkouts/readthedocs.org/user_builds/advanced-micro-devices-composable-kernel/checkouts/develop/include/ck/utility/is_detected.hpp Source File#

Composable Kernel: /home/docs/checkouts/readthedocs.org/user_builds/advanced-micro-devices-composable-kernel/checkouts/develop/include/ck/utility/is_detected.hpp Source File

Go to the documentation of this file.

 // SPDX-License-Identifier: MIT
 // Copyright (c) 2018-2025, Advanced Micro Devices, Inc. All rights reserved.
  
 #pragma once
  
 #include "ck/utility/integral_constant.hpp"
  
 namespace ck {
  
 namespace detail {
 template <class Default, class AlwaysVoid, template <class...> class Op, class... Args>
 struct detector
 {
     using value_t = integral_constant<bool, false>;
     using type    = Default;
 };
  
 template <class Default, template <class...> class Op, class... Args>
 struct detector<Default, ck::void_t<Op<Args...>>, Op, Args...>
 {
     using value_t = integral_constant<bool, true>;
     using type    = Op<Args...>;
 };
 } // namespace detail
  
 struct nonesuch
 {
     ~nonesuch()                     = delete;
     nonesuch(nonesuch const&)       = delete;
     void operator=(nonesuch const&) = delete;
 };
  
 template <template <class...> class Op, class... Args>
 using is_detected = typename detail::detector<nonesuch, void, Op, Args...>::value_t;
  
 template <typename T>
 using is_pack2_invocable_t = decltype(ck::declval<T&>().is_pack2_invocable);
  
 template <typename T>
 using is_pack4_invocable_t = decltype(ck::declval<T&>().is_pack4_invocable);
  
 template <typename T>
 using is_pack8_invocable_t = decltype(ck::declval<T&>().is_pack8_invocable);
  
 } // namespace ck