#include "di/execution/concepts/forwarding_query.h"
#include "di/execution/interface/get_env.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/function.h"
#include "di/meta/operations.h"
#include "di/meta/util.h"
#include "di/util/declval.h"
#include "di/util/forward.h"
#include "di/util/get.h"
#include "di/vocab/tuple/tuple.h"
Go to the source code of this file.
Namespaces | |
namespace | di |
namespace | di::execution |
namespace | di::execution::make_env_ns |
Concepts | |
concept | di::execution::make_env_ns::Override |
concept | di::execution::make_env_ns::HasTag |
Typedefs | |
template<typename Tag, concepts::TypeList List> | |
using | di::execution::make_env_ns::LookupTag = meta::Front<meta::Filter<List, meta::Compose<meta::SameAs<Tag>, meta::Quote<meta::Type>>>> |
template<typename BaseEnv, typename... Withs> | |
using | di::execution::make_env_ns::Env = meta::Type<EnvT<BaseEnv, meta::List<Withs...>>> |
template<typename Tag, typename Val> | |
using | di::execution::With = make_env_ns::With<Tag, Val> |
Represent a override for an environment query. | |
template<typename Tag> | |
using | di::execution::Without = make_env_ns::Without<Tag> |
Represent a removal of an environment query value. | |
template<typename BaseEnv, typename... Withs> | |
using | di::execution::MakeEnv = decltype(make_env(util::declval<BaseEnv>(), util::declval<Withs>()...)) |
Represent an environment with overrides for queries. | |
Variables | |
constexpr auto | di::execution::with = make_env_ns::WithFunction {} |
Specify an override for an environment query. | |
constexpr auto | di::execution::without = make_env_ns::WithoutFunction {} |
Specify a removal of an environment query override. | |
constexpr auto | di::execution::make_env = make_env_ns::Function {} |
Create an environment with overrides for queries. | |