Iros
 
Loading...
Searching...
No Matches
container_iterator_reconstructible_container.h
Go to the documentation of this file.
1#pragma once
2
6#include "di/meta/core.h"
7#include "di/types/prelude.h"
8#include "di/util/forward.h"
9
10namespace di::concepts {
11template<typename Con, typename Tag = meta::RemoveCVRef<Con>, typename It = meta::ContainerIterator<Con>,
12 typename Sent = meta::ContainerSentinel<Con>>
13concept ContainerIteratorReconstructibleContainer = requires(Con container, It iterator, Sent sentinel) {
14 container::reconstruct(in_place_type<Tag>, util::forward<Con>(container), util::forward<It>(iterator),
15 util::forward<Sent>(sentinel));
16};
17}
Definition container_iterator_reconstructible_container.h:13
Definition any_storable.h:9
Definition sequence.h:12
constexpr auto reconstruct
Definition reconstruct.h:75
constexpr auto in_place_type
Definition in_place_type.h:12