-
Notifications
You must be signed in to change notification settings - Fork 182
/
invoke.hpp
61 lines (53 loc) · 1.72 KB
/
invoke.hpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
/*
* Copyright (c) Facebook, Inc. and its affiliates.
*
* Licensed under the Apache License Version 2.0 with LLVM Exceptions
* (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* https://llvm.org/LICENSE.txt
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#pragma once
#include <unifex/config.hpp>
#include <unifex/tag_invoke.hpp>
#include <unifex/type_traits.hpp>
#include <functional>
#include <unifex/detail/prologue.hpp>
namespace unifex {
namespace _co_invoke {
inline constexpr struct _fn {
template(typename Fn, typename... Args) //
(requires tag_invocable<
_fn,
type_identity<std::invoke_result_t<Fn, Args...>>,
Fn,
Args...>) //
UNIFEX_ALWAYS_INLINE constexpr auto
operator()(Fn&& fn, Args&&... args) const
noexcept(is_nothrow_tag_invocable_v<
_fn,
type_identity<std::invoke_result_t<Fn, Args...>>,
Fn,
Args...>)
-> tag_invoke_result_t<
_fn,
type_identity<std::invoke_result_t<Fn, Args...>>,
Fn,
Args...> {
return tag_invoke(
*this,
type_identity<std::invoke_result_t<Fn, Args...>>{},
(Fn &&) fn,
(Args &&) args...);
}
} co_invoke{};
} // namespace _co_invoke
using _co_invoke::co_invoke;
} // namespace unifex
#include <unifex/detail/epilogue.hpp>