sender_of.h

Go to the documentation of this file.

#pragma once
 
#include "di/execution/concepts/sender_in.h"
#include "di/execution/meta/gather_signatures.h"
#include "di/execution/meta/matching_sig.h"
#include "di/execution/meta/value_types_of.h"
#include "di/execution/types/empty_env.h"
#include "di/meta/algorithm.h"
#include "di/meta/util.h"
 
namespace di::concepts {
namespace detail {
    template<typename T>
    struct SenderOfHelper;
 
    template<typename R, typename... As>
    struct SenderOfHelper<R(As...)> {
        using Tag = R;
 
        template<typename... Bs>
        using AsSig = R(Bs...);
    };
}
 
template<typename Send, typename Sig, typename Env = types::EmptyEnv>
concept SenderOf =
    SenderIn<Send, Env> &&
    meta::matching_sig<Sig, meta::GatherSignatures<typename detail::SenderOfHelper<Sig>::Tag, Send, Env,
                                                   detail::SenderOfHelper<Sig>::template AsSig, meta::TypeIdentity>>;
}
 
namespace di {
using concepts::SenderOf;
}