iros/error__types__of_8h_source.html

#pragma once


#include "di/execution/concepts/sender_in.h"

#include "di/execution/meta/gather_signatures.h"

#include "di/execution/meta/variant_or_empty.h"

#include "di/execution/receiver/set_error.h"

#include "di/execution/types/empty_env.h"

#include "di/meta/util.h"


namespace di::meta {

template<typename Sender, typename Env = types::EmptyEnv, template<typename...> typename Var = meta::VariantOrEmpty>

requires(concepts::SenderIn<Sender, Env>)

using ErrorTypesOf = GatherSignatures<execution::SetError, Sender, Env, meta::TypeIdentity, Var>;

}

empty_env.h

gather_signatures.h

di::execution::bulk_ns::Sender
meta::Type< SenderT< meta::RemoveCVRef< Send >, meta::Decay< Shape >, meta::Decay< Function > > > Sender
Definition bulk.h:155

di::execution::ensure_started_ns::Env
MakeEnv< EmptyEnv, With< Tag< get_stop_token >, StopToken > > Env
Definition ensure_started.h:52

di::meta
Definition merge_interfaces.h:6

di::meta::GatherSignatures
meta::Type< detail::MetaApply< Variant, meta::Type< detail::GatherSignaturesHelper< Tag, meta::AsList< meta::CompletionSignaturesOf< S, E > >, Tuple > > > > GatherSignatures
Definition gather_signatures.h:45

di::meta::ErrorTypesOf
GatherSignatures< execution::SetError, Sender, Env, meta::TypeIdentity, Var > ErrorTypesOf
Definition error_types_of.h:13

di::meta::VariantOrEmpty
detail::VariantOrEmptyHelper< meta::Unique< meta::List< Types... > > >::Type VariantOrEmpty
Definition variant_or_empty.h:24

sender_in.h

set_error.h

util.h

variant_or_empty.h