23namespace seqan3::detail
32class type_reduce_fn :
public adaptor_base<type_reduce_fn>
36 using base_t = adaptor_base<type_reduce_fn>;
49 template <std::ranges::range urng_t>
50 static constexpr auto impl(urng_t && urange)
53 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));
62 else if constexpr (is_type_specialisation_of_v<std::remove_cvref_t<urng_t>,
std::basic_string>
63 && std::is_const_v<std::remove_reference_t<urng_t>>)
68 else if constexpr (std::ranges::borrowed_range<urng_t> && std::ranges::contiguous_range<urng_t>
69 && std::ranges::sized_range<urng_t>)
71 return std::span{std::ranges::data(urange), std::ranges::size(urange)};
74 else if constexpr (std::ranges::borrowed_range<urng_t> && std::ranges::random_access_range<urng_t>
75 && std::ranges::sized_range<urng_t>)
77 return std::ranges::subrange<std::ranges::iterator_t<urng_t>, std::ranges::iterator_t<urng_t>>{
78 std::ranges::begin(urange),
79 std::ranges::begin(urange) + std::ranges::size(urange),
80 std::ranges::size(urange)};
85 return std::views::all(std::forward<urng_t>(urange));
150inline constexpr auto type_reduce = detail::type_reduce_fn{};
162using type_reduce_t =
decltype(views::type_reduce(std::declval<t>()));
Provides seqan3::detail::adaptor_base and seqan3::detail::combined_adaptor.
The SeqAn namespace for views.
Definition char_strictly_to.hpp:22
The main SeqAn3 namespace.
Definition aligned_sequence_concept.hpp:29
Provides type traits for working with templates.