46template <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> && std::ranges::view<inserted_rng_t>
48 && 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>>
51class view_interleave :
public std::ranges::view_interface<view_interleave<urng_t, inserted_rng_t>>
66 using size_type = std::ranges::range_size_t<urng_t>;
73 std::ranges::range_reference_t<inserted_rng_t const>>,
86 template <
typename range_type,
template <
typename...>
typename derived_t_template>
105 explicit constexpr
view_interleave(urng_t && _urange,
size_t const _step_size, inserted_rng_t && _inserted_range) :
120 template <
typename orng_t,
typename oirng_t>
121 requires std::constructible_from<urng_t, decltype(views::type_reduce(std::declval<orng_t>()))>
122 && std::constructible_from<inserted_rng_t, seqan3::detail::all_t<oirng_t>>
123 explicit constexpr view_interleave(orng_t && _urange,
size_t const _step_size, oirng_t && _inserted_range) :
126 seqan3::detail::
all(
std::forward<oirng_t>(_inserted_range))}
172 return {*
this,
size()};
178 return {*
this,
size()};
192 return std::ranges::size(
urange)
201 return std::ranges::size(
urange)
246template <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>>
264 template <std::ranges::forward_range inserted_rng_t, std::
integral
size_type>
265 constexpr auto operator()(size_type
const size, inserted_rng_t && i)
const noexcept
276 template <std::ranges::range urng_t, std::ranges::range inserted_rng_t, std::
integral
size_type>
277 constexpr auto operator()(urng_t && urange, size_type
const size, inserted_rng_t && i)
const noexcept
279 static_assert(std::ranges::forward_range<urng_t>,
280 "The underlying range parameter in views::interleave must model std::ranges::forward_range.");
281 static_assert(std::ranges::viewable_range<urng_t>,
282 "The underlying range parameter in views::interleave must model std::ranges::viewable_range.");
283 static_assert(std::ranges::forward_range<inserted_rng_t>,
284 "The range to be inserted by views::interleave must model std::ranges::forward_range.");
285 if constexpr (std::ranges::random_access_range<urng_t> && std::ranges::sized_range<urng_t>
286 && std::ranges::random_access_range<inserted_rng_t> && std::ranges::sized_range<inserted_rng_t>)
289 static_cast<size_t>(size),
290 std::forward<inserted_rng_t>(i)};
Provides seqan3::detail::adaptor_from_functor.
Provides seqan3::detail::all.
Provides seqan3::views::chunk.
Template for range adaptor closure objects that store arguments and wrap a proto-adaptor.
Definition: adaptor_from_functor.hpp:57
A CRTP base template for creating random access iterators.
Definition: random_access_iterator.hpp:42
A generic random access iterator that delegates most operations to the range.
Definition: random_access_iterator.hpp:291
The type returned by seqan3::views::interleave.
Definition: interleave.hpp:52
std::ranges::range_difference_t< urng_t > difference_type
A signed integer type, usually std::ptrdiff_t.
Definition: interleave.hpp:78
iterator end() noexcept
Returns an iterator to the element following the last element of the container.
Definition: interleave.hpp:170
const_iterator begin() const noexcept
This is an overloaded member function, provided for convenience. It differs from the above function o...
Definition: interleave.hpp:152
inserted_rng_t inserted_range
The range to be inserted into urange.
Definition: interleave.hpp:59
detail::transformation_trait_or_t< std::common_reference< std::ranges::range_reference_t< urng_t const >, std::ranges::range_reference_t< inserted_rng_t const > >, void > const_reference
The const_reference type is equal to the reference type.
Definition: interleave.hpp:74
const_iterator end() const noexcept
This is an overloaded member function, provided for convenience. It differs from the above function o...
Definition: interleave.hpp:176
size_type size()
Returns the number of elements in the view.
Definition: interleave.hpp:190
view_interleave(urng_t &&, size_t, inserted_rng_t &&) -> view_interleave< decltype(views::type_reduce(std::declval< urng_t >())), seqan3::detail::all_t< inserted_rng_t > >
Template argument type deduction guide for viewable_range inputs.
std::ranges::range_value_t< urng_t > value_type
The value_type (which equals the reference_type with any references removed).
Definition: interleave.hpp:76
constexpr view_interleave(orng_t &&_urange, size_t const _step_size, oirng_t &&_inserted_range)
Construct from a viewable_range urange and inserted_range by wrapping in a views::type_reduce.
Definition: interleave.hpp:123
constexpr view_interleave() noexcept=default
Defaulted.
const_reference operator[](size_type const i) const
This is an overloaded member function, provided for convenience. It differs from the above function o...
Definition: interleave.hpp:233
iterator begin() noexcept
Returns an iterator to the first element of the container.
Definition: interleave.hpp:146
urng_t urange
The underlying range.
Definition: interleave.hpp:55
size_type size() const
This is an overloaded member function, provided for convenience. It differs from the above function o...
Definition: interleave.hpp:199
size_t step_size
The step size for the insertion.
Definition: interleave.hpp:57
reference operator[](size_type const i)
Return the i-th element.
Definition: interleave.hpp:222
std::ranges::range_size_t< urng_t > size_type
This resolves to range_type::size_type as the underlying range is guaranteed to be sized.
Definition: interleave.hpp:66
decltype(all(std::declval< rng_t >())) all_t
Returns the type that results from appying seqan3::detail::all to a range.
Definition: all_view.hpp:210
constexpr auto all
Returns a view that includes all elements of the range argument.
Definition: all_view.hpp:204
typename transformation_trait_or< type_t, default_t >::type transformation_trait_or_t
Helper type of seqan3::detail::transformation_trait_or (transformation_trait shortcut).
Definition: transformation_trait_or.hpp:51
constexpr auto join_with
A view adaptor that represents view consisting of the sequence obtained from flattening a view of ran...
Definition: join_with.hpp:531
constexpr auto chunk
Divide a range in chunks.
Definition: chunk.hpp:844
constexpr auto interleave
A view that interleaves a given range into another range at regular intervals.
Definition: interleave.hpp:379
Provides seqan3::views::join_with.
The internal SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
The SeqAn namespace for views.
Definition: char_strictly_to.hpp:22
The main SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
SeqAn specific customisations in the standard namespace.
Provides the seqan3::detail::random_access_iterator class.
views::interleave's range adaptor object type (non-closure).
Definition: interleave.hpp:262
constexpr auto operator()(size_type const size, inserted_rng_t &&i) const noexcept
Store the argument and return a range adaptor closure object.
Definition: interleave.hpp:265
constexpr auto operator()(urng_t &&urange, size_type const size, inserted_rng_t &&i) const noexcept
Call the view's constructor with the underlying view as argument.
Definition: interleave.hpp:277
Provides seqan3::views::type_reduce.