24 namespace seqan3::detail
33 class type_reduce_fn :
public adaptor_base<type_reduce_fn>
37 using base_t = adaptor_base<type_reduce_fn>;
50 template <std::ranges::range urng_t>
51 static constexpr
auto impl(urng_t && urange)
53 static_assert(std::ranges::viewable_range<urng_t>,
54 "The views::type_reduce adaptor can only be passed viewable_ranges, i.e. Views or &-to-non-View.");
59 return std::views::all(std::forward<urng_t>(urange));
68 else if constexpr (std::ranges::borrowed_range<urng_t> &&
69 std::ranges::contiguous_range<urng_t> &&
70 std::ranges::sized_range<urng_t>)
75 else if constexpr (std::ranges::borrowed_range<urng_t> &&
76 std::ranges::random_access_range<urng_t> &&
77 std::ranges::sized_range<urng_t>)
79 return std::ranges::subrange<std::ranges::iterator_t<urng_t>, std::ranges::iterator_t<urng_t>>
81 std::ranges::begin(urange),
89 return std::views::all(std::forward<urng_t>(urange));
167 template <
typename t>
constexpr size_t size
The size of a type pack.
Definition: traits.hpp:116
constexpr auto type_reduce
A view adaptor that behaves like std::views::all, but type erases certain ranges.
Definition: type_reduce.hpp:158
The SeqAn namespace for views.
Definition: view_iota_simd.hpp:218
The main SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
decltype(views::type_reduce(std::declval< t >())) type_reduce_view
Deduces the return value of seqan3::views::type_reduce.
Definition: type_reduce.hpp:168
typename remove_cvref< t >::type remove_cvref_t
Return the input type with const, volatile and references removed (transformation_trait shortcut).
Definition: type_traits:56
Additional non-standard concepts for ranges.
Adaptations of concepts from the Ranges TS.
Provides std::span from the C++20 standard library.
Provides seqan3::type_list and auxiliary type traits.