receiver_of.h

Go to the documentation of this file.

#pragma once
 
#include "di/execution/concepts/receiver.h"
#include "di/execution/types/completion_signuatures.h"
#include "di/function/tag_invoke.h"
 
namespace di::concepts {
namespace detail {
    template<typename Signature, typename T>
    concept ValidCompletionFor = requires(Signature* signature) {
        []<typename Ret, typename... Args>(Ret (*)(Args...))
        requires concepts::TagInvocable<Ret, meta::RemoveCVRef<T>, Args...>
        {}(signature);
    };
 
    template<typename T, typename L>
    constexpr inline bool ReceiverOfHelper = false;
 
    template<typename T, typename... Types>
    constexpr inline bool ReceiverOfHelper<T, types::CompletionSignatures<Types...>> =
        (ValidCompletionFor<Types, T> && ...);
}
 
template<class T, class Completions>
concept ReceiverOf = Receiver<T> && detail::ReceiverOfHelper<T, Completions>;
}
 
namespace di {
using concepts::ReceiverOf;
}