then.h File Reference

#include "di/execution/concepts/receiver_of.h"
#include "di/execution/concepts/sender.h"
#include "di/execution/interface/connect.h"
#include "di/execution/interface/get_env.h"
#include "di/execution/interface/start.h"
#include "di/execution/meta/completion_signatures_of.h"
#include "di/execution/meta/connect_result.h"
#include "di/execution/meta/decayed_tuple.h"
#include "di/execution/meta/env_of.h"
#include "di/execution/query/get_completion_signatures.h"
#include "di/execution/query/make_env.h"
#include "di/execution/receiver/set_error.h"
#include "di/execution/receiver/set_stopped.h"
#include "di/execution/receiver/set_value.h"
#include "di/execution/types/completion_signuatures.h"
#include "di/function/curry_back.h"
#include "di/function/invoke.h"
#include "di/function/tag_invoke.h"
#include "di/meta/algorithm.h"
#include "di/meta/core.h"
#include "di/meta/language.h"
#include "di/meta/util.h"
#include "di/meta/vocab.h"
#include "di/platform/compiler.h"
#include "di/util/addressof.h"

Go to the source code of this file.

Classes
struct	di::execution::then_ns::ComplSigT< T >
struct	di::execution::then_ns::ComplSigT< void >
struct	di::execution::then_ns::InvokeSigsT< T >
struct	di::execution::then_ns::InvokeSigsT< T >
struct	di::execution::then_ns::DataT< Fun, Rec >
struct	di::execution::then_ns::DataT< Fun, Rec >::Type
struct	di::execution::then_ns::ReceiverT< CPO, Fun, Rec >
struct	di::execution::then_ns::ReceiverT< CPO, Fun, Rec >::Type
struct	di::execution::then_ns::OperationStateT< CPO, Send, Fun, Rec >
struct	di::execution::then_ns::OperationStateT< CPO, Send, Fun, Rec >::Type
struct	di::execution::then_ns::SenderT< CPO, Send, Fun >
struct	di::execution::then_ns::SenderT< CPO, Send, Fun >::Type
struct	di::execution::then_ns::ValueFunction
struct	di::execution::then_ns::ErrorFunction
struct	di::execution::then_ns::StoppedFunction

Namespaces
namespace	di
namespace	di::execution
namespace	di::execution::then_ns

Typedefs
template<typename CPO, typename Completions>
using	di::execution::then_ns::PassthroughSignatures = meta::Filter<meta::AsList<Completions>, meta::Not<meta::IsFunctionTo<CPO>>>
template<typename CPO, typename Completions>
using	di::execution::then_ns::ArgTypes
template<typename CPO, typename Fun, typename Completions>
using	di::execution::then_ns::ResultTypes
template<typename T>
using	di::execution::then_ns::ComplSig = meta::Type<ComplSigT<T>>
template<typename T>
using	di::execution::then_ns::InvokeSigs = meta::Type<InvokeSigsT<T>>
template<typename CPO, typename Send, typename Env, typename Fun>
using	di::execution::then_ns::Sigs
template<typename Fun, typename Rec>
using	di::execution::then_ns::Data = meta::Type<DataT<meta::Decay<Fun>, Rec>>
template<typename CPO, typename Fun, typename Rec>
using	di::execution::then_ns::Receiver = meta::Type<ReceiverT<CPO, meta::Decay<Fun>, Rec>>
template<typename CPO, typename Send, typename Fun, typename Rec>
using	di::execution::then_ns::OperationState = meta::Type<OperationStateT<CPO, Send, Fun, Rec>>
template<typename CPO, typename Send, typename Fun>
using	di::execution::then_ns::Sender = meta::Type<SenderT<CPO, meta::RemoveCVRef<Send>, meta::Decay<Fun>>>

Variables
constexpr auto	di::execution::then = function::curry_back(then_ns::ValueFunction {}, c_<2ZU>)
	A sender that maps values into another value.
constexpr auto	di::execution::upon_error = function::curry_back(then_ns::ErrorFunction {}, c_<2ZU>)
	A sender that maps an error into a value.
constexpr auto	di::execution::upon_stopped = function::curry_back(then_ns::StoppedFunction {}, c_<2ZU>)
	A sender that maps the stop signal into a value.