27namespace seqan3::detail
45template <std::ranges::random_access_range urng_t, std::ranges::random_access_range inserted_rng_t>
47 requires std::ranges::view<urng_t> && std::ranges::sized_range<urng_t> &&
48 std::ranges::view<inserted_rng_t> && std::ranges::sized_range<inserted_rng_t> &&
49 std::common_reference_with<std::ranges::range_reference_t<urng_t>,
50 std::ranges::range_reference_t<inserted_rng_t>>
52class view_interleave :
public std::ranges::view_interface<view_interleave<urng_t, inserted_rng_t>>
60 inserted_rng_t inserted_range;
67 using size_type = std::ranges::range_size_t<urng_t>;
69 using reference = ranges::common_reference_t<std::ranges::range_reference_t<urng_t>,
70 std::ranges::range_reference_t<inserted_rng_t>>;
72 using const_reference = detail::transformation_trait_or_t<
73 ranges::common_reference<std::ranges::range_reference_t<urng_t const>,
74 std::ranges::range_reference_t<inserted_rng_t const>>,
void>;
76 using value_type = std::ranges::range_value_t<urng_t>;
78 using difference_type = std::ranges::range_difference_t<urng_t>;
80 using iterator = detail::random_access_iterator<view_interleave>;
82 using const_iterator = detail::random_access_iterator<view_interleave const>;
86 template <
typename parent_type,
typename crtp_base>
87 friend class detail::random_access_iterator_base;
93 constexpr view_interleave() noexcept = default;
94 constexpr view_interleave(view_interleave const & rhs) noexcept = default;
95 constexpr view_interleave(view_interleave && rhs) noexcept = default;
96 constexpr view_interleave & operator=(view_interleave const & rhs) noexcept = default;
97 constexpr view_interleave & operator=(view_interleave && rhs) noexcept = default;
98 ~view_interleave() noexcept = default;
105 view_interleave(urng_t && _urange,
size_t const _step_size, inserted_rng_t && _inserted_range) :
106 urange{_urange}, step_size{_step_size}, inserted_range{_inserted_range}
118 template <
typename orng_t,
typename oirng_t>
120 requires std::constructible_from<urng_t, decltype(views::type_reduce(std::declval<orng_t>()))> &&
121 std::constructible_from<inserted_rng_t, decltype(detail::persist(std::declval<oirng_t>()))>
123 view_interleave(orng_t && _urange,
size_t const _step_size, oirng_t && _inserted_range) :
125 detail::persist(
std::
forward<oirng_t>(_inserted_range))}
145 iterator
begin() noexcept
151 const_iterator
begin() const noexcept
169 iterator
end() noexcept
171 return {*
this,
size()};
175 const_iterator
end() const noexcept
177 return {*
this,
size()};
198 size_type
size()
const
221 reference operator[](size_type
const i)
225 if (i % (combined_size) < step_size)
228 return inserted_range[(i % (combined_size)) - step_size];
232 const_reference operator[](size_type
const i)
const
236 if (i % (combined_size) < step_size)
239 return inserted_range[(i % (combined_size)) - step_size];
245template <std::ranges::random_access_range urng_t, std::ranges::random_access_range inserted_rng_t>
247 requires std::ranges::viewable_range<urng_t> && std::ranges::sized_range<urng_t> &&
248 std::ranges::sized_range<inserted_rng_t> &&
249 std::common_reference_with<std::ranges::range_reference_t<urng_t>,
250 std::ranges::range_reference_t<inserted_rng_t>>
252view_interleave(urng_t &&,
size_t, inserted_rng_t &&)
253 -> view_interleave<decltype(views::type_reduce(std::declval<urng_t>())),
254 decltype(detail::persist(std::declval<inserted_rng_t>()))>;
265 template <std::ranges::forward_range inserted_rng_t, std::
integral
size_type>
266 constexpr auto operator()(size_type
const size, inserted_rng_t && i)
const noexcept
268 return detail::adaptor_from_functor{*
this,
size, std::forward<inserted_rng_t>(i)};
277 template <std::ranges::range urng_t, std::ranges::range inserted_rng_t, std::
integral
size_type>
278 constexpr auto operator()(urng_t && urange, size_type
const size, inserted_rng_t && i)
const noexcept
280 static_assert(std::ranges::forward_range<urng_t>,
281 "The underlying range parameter in views::interleave must model std::ranges::forward_range.");
282 static_assert(std::ranges::viewable_range<urng_t>,
283 "The underlying range parameter in views::interleave must model std::ranges::viewable_range.");
284 static_assert(std::ranges::forward_range<inserted_rng_t>,
285 "The range to be inserted by views::interleave must model std::ranges::forward_range.");
286 if constexpr (std::ranges::random_access_range<urng_t> && std::ranges::sized_range<urng_t> &&
287 std::ranges::random_access_range<inserted_rng_t> && std::ranges::sized_range<inserted_rng_t>)
289 return detail::view_interleave{std::forward<urng_t>(urange),
290 static_cast<size_t>(
size),
291 std::forward<inserted_rng_t>(i)};
Provides seqan3::detail::adaptor_from_functor.
Provides seqan3::views::chunk.
The <concepts> header from C++20's standard library.
constexpr size_t size
The size of a type pack.
Definition: traits.hpp:151
constexpr auto join_with
A join view, please use std::views::join if you don't need a separator.
Definition: join_with.hpp:29
constexpr auto chunk
A chunk view.
Definition: chunk.hpp:29
constexpr auto type_reduce
A view adaptor that behaves like std::views::all, but type erases certain ranges.
Definition: type_reduce.hpp:153
constexpr auto interleave
A view that interleaves a given range into another range at regular intervals.
Definition: interleave.hpp:380
Provides seqan3::views::join_with.
The SeqAn namespace for views.
Definition: char_to.hpp:22
SeqAn specific customisations in the standard namespace.
Provides seqan3::detail::persist.
Provides the seqan3::detail::random_access_iterator class.
The <ranges> header from C++20's standard library.
Provides seqan3::views::type_reduce.