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.");
57 if constexpr (std::ranges::view<remove_cvref_t<urng_t>>)
62 else if constexpr (is_type_specialisation_of_v<remove_cvref_t<urng_t>,
std::basic_string> &&
69 std::ranges::contiguous_range<urng_t> &&
70 std::ranges::sized_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>>
167 template <
typename t>