Iros
 
Loading...
Searching...
No Matches
make_env.h File Reference

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.