#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. | |