30concept has_range_value_type =
requires {
typename std::ranges::range_value_t<std::remove_cvref_t<t>>; };
35template <
bool const_range,
typename range_t>
40template <
bool const_range,
typename range_t>
45template <
bool const_v,
typename range_t>
50template <
typename unary_predicate_fn_t,
typename urng_t>
51concept indirect_unary_predicate_on_range =
52 std::ranges::range<urng_t> && std::indirect_unary_predicate<unary_predicate_fn_t, std::ranges::iterator_t<urng_t>>;
74 requires detail::has_range_value_type<t>
78 using type = std::ranges::range_value_t<std::remove_cvref_t<t>>;
83 requires detail::has_range_value_type<t>
84 && detail::has_range_value_type<std::ranges::range_value_t<std::remove_cvref_t<t>>>
111 requires detail::has_range_value_type<t>
116 requires detail::has_range_value_type<t>
117 && detail::has_range_value_type<std::ranges::range_value_t<std::remove_cvref_t<t>>>
118constexpr size_t range_dimension_v<t> = range_dimension_v<std::ranges::range_value_t<std::remove_cvref_t<t>>> + 1;
Provides various type traits on generic types.
std::ranges::sentinel_t< maybe_const_range_t< const_v, range_t > > maybe_const_sentinel_t
Returns the const sentinel of range_t if const_range is true; otherwise the non-const sentinel.
Definition core/range/type_traits.hpp:46
constexpr size_t range_dimension_v
Returns the number of times you can call seqan3::value_type_t recursively on t (type trait).
Definition core/range/type_traits.hpp:112
std::ranges::iterator_t< maybe_const_range_t< const_range, range_t > > maybe_const_iterator_t
Returns the const iterator of range_t if const_range is true; otherwise the non-const iterator.
Definition core/range/type_traits.hpp:41
typename range_innermost_value< t >::type range_innermost_value_t
Shortcut for seqan3::range_innermost_value (transformation_trait shortcut).
Definition core/range/type_traits.hpp:95
Provides various transformation traits for use on iterators.
The internal SeqAn3 namespace.
Definition aligned_sequence_concept.hpp:26
The main SeqAn3 namespace.
Definition aligned_sequence_concept.hpp:26
Recursively determines the value_type on containers and/or iterators.
Definition core/range/type_traits.hpp:76
std::ranges::range_value_t< std::remove_cvref_t< t > > type
The return type (recursion not shown).
Definition core/range/type_traits.hpp:78