Iros
Loading...
Searching...
No Matches
any_env.h
Go to the documentation of this file.
1
#pragma once
2
3
#include "
di/any/concepts/interface.h
"
4
#include "
di/any/meta/merge_interfaces.h
"
5
#include "
di/any/types/method.h
"
6
#include "
di/any/types/this.h
"
7
#include "
di/execution/interface/get_env.h
"
8
#include "
di/function/tag_invoke.h
"
9
#include "
di/meta/core.h
"
10
#include "
di/meta/language.h
"
11
12
namespace
di::execution
{
13
template
<concepts::Interface Interface,
typename
Env>
14
using
InterfaceWithEnv
=
meta::Conditional
<
15
concepts::LanguageVoid<Env>
, Interface,
16
meta::MergeInterfaces
<Interface,
17
meta::List<types::Method<types::Tag<execution::get_env>
, Env(
types::This
const
&)>>>>;
18
}
di::concepts::LanguageVoid
Definition
core.h:128
core.h
get_env.h
interface.h
language.h
merge_interfaces.h
di::execution
Definition
bulk.h:30
di::execution::InterfaceWithEnv
meta::Conditional< concepts::LanguageVoid< Env >, Interface, meta::MergeInterfaces< Interface, meta::List< types::Method< types::Tag< execution::get_env >, Env(types::This const &)> > > > InterfaceWithEnv
Definition
any_env.h:14
di::meta::Conditional
detail::ConditionalHelper< value, T, U >::Type Conditional
Definition
core.h:88
di::meta::MergeInterfaces
meta::Unique< meta::Concat< meta::Transform< Interfaces, meta::Quote< meta::Type > >... > > MergeInterfaces
Definition
merge_interfaces.h:8
di::meta::List
Definition
core.h:5
di::types::This
Definition
this.h:4
tag_invoke.h
this.h
method.h
libs
di
include
di
execution
any
any_env.h
Generated by
1.13.0