is_detected.hpp 1.22 KB
Newer Older
zjing14's avatar
zjing14 committed
1
// SPDX-License-Identifier: MIT
arai713's avatar
arai713 committed
2
// Copyright (c) 2018-2025, Advanced Micro Devices, Inc. All rights reserved.
zjing14's avatar
zjing14 committed
3
4
5

#pragma once

arai713's avatar
arai713 committed
6
7
#include "ck/utility/integral_constant.hpp"

zjing14's avatar
zjing14 committed
8
9
10
11
12
13
namespace ck {

namespace detail {
template <class Default, class AlwaysVoid, template <class...> class Op, class... Args>
struct detector
{
arai713's avatar
arai713 committed
14
    using value_t = integral_constant<bool, false>;
zjing14's avatar
zjing14 committed
15
16
17
18
    using type    = Default;
};

template <class Default, template <class...> class Op, class... Args>
arai713's avatar
arai713 committed
19
struct detector<Default, ck::void_t<Op<Args...>>, Op, Args...>
zjing14's avatar
zjing14 committed
20
{
arai713's avatar
arai713 committed
21
    using value_t = integral_constant<bool, true>;
zjing14's avatar
zjing14 committed
22
23
24
25
26
27
28
29
30
31
32
33
34
35
    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;

36
template <typename T>
arai713's avatar
arai713 committed
37
using is_pack2_invocable_t = decltype(ck::declval<T&>().is_pack2_invocable);
38
39

template <typename T>
arai713's avatar
arai713 committed
40
using is_pack4_invocable_t = decltype(ck::declval<T&>().is_pack4_invocable);
41
42

template <typename T>
arai713's avatar
arai713 committed
43
using is_pack8_invocable_t = decltype(ck::declval<T&>().is_pack8_invocable);
44

zjing14's avatar
zjing14 committed
45
} // namespace ck