make_env.h File Reference

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

Classes
struct	di::execution::make_env_ns::With< Tag, Val >
struct	di::execution::make_env_ns::WithFunction
struct	di::execution::make_env_ns::Without< Tag >
struct	di::execution::make_env_ns::WithoutFunction
struct	di::execution::make_env_ns::EnvT< BaseEnv, meta::List< Overrides... > >
struct	di::execution::make_env_ns::EnvT< BaseEnv, meta::List< Overrides... > >::Type
struct	di::execution::make_env_ns::Function

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.