24namespace seqan3::detail
35SEQAN3_CONCEPT fields_specialisation = is_value_specialisation_of_v<t, fields>;
61template <
typename field_types,
62 typename field_types_as_ids,
63 typename selected_field_ids,
65 typename ...return_types>
66struct select_types_with_ids
69 using type = type_list<return_types...>;
75template <
typename field_types,
76 typename field_types_as_ids,
77 typename selected_field_ids,
79 typename ...return_types>
80using select_types_with_ids_t =
typename select_types_with_ids<field_types,
84 return_types...>::type;
86template <
typename field_types,
87 typename field_types_as_ids,
88 typename selected_field_ids,
90 typename ...return_types>
91 requires (field_no < selected_field_ids::as_array.size())
92struct select_types_with_ids<field_types, field_types_as_ids, selected_field_ids, field_no, return_types...>
95 "You selected a field that was not in field_types_as_ids.");
98 using type = select_types_with_ids_t<field_types,
104 selected_field_ids::as_array[field_no]), field_types>>;
116template <field f,
typename field_types,
typename field_
ids>
117auto & get_or_ignore(record<field_types, field_ids> & r)
120 return std::get<field_ids::index_of(f)>(r);
126template <field f,
typename field_types,
typename field_
ids>
127auto const & get_or_ignore(record<field_types, field_ids>
const & r)
130 return std::get<field_ids::index_of(f)>(r);
136template <
size_t i, tuple_like tuple_t>
137auto & get_or_ignore(tuple_t & t)
139 if constexpr (i < std::tuple_size_v<tuple_t>)
140 return std::get<i>(t);
146template <
size_t i, tuple_like tuple_t>
147auto const & get_or_ignore(tuple_t
const & t)
149 if constexpr (i < std::tuple_size_v<tuple_t>)
150 return std::get<i>(t);
161template <field f,
typename field_types,
typename field_
ids,
typename or_type>
162decltype(
auto) get_or(record<field_types, field_ids> & r, or_type && or_value)
165 return std::get<field_ids::index_of(f)>(r);
167 return std::forward<or_type>(or_value);
171template <field f,
typename field_types,
typename field_
ids,
typename or_type>
172decltype(
auto) get_or(record<field_types, field_ids>
const & r, or_type && or_value)
175 return std::get<field_ids::index_of(f)>(r);
177 return std::forward<or_type>(or_value);
181template <
size_t i,
typename or_type,
typename ...types>
184 if constexpr (i <
sizeof...(types))
185 return std::get<i>(t);
187 return std::forward<or_type>(or_value);
191template <
size_t i,
typename or_type,
typename ...types>
194 if constexpr (i <
sizeof...(types))
195 return std::get<i>(t);
197 return std::forward<or_type>(or_value);
206template <std::ranges::input_range rng_t>
207inline auto & range_wrap_ignore(rng_t & range)
219inline auto range_wrap_ignore(ignore_t
const &)
constexpr bool contains
Whether a type occurs in a type list or not.
Definition: traits.hpp:231
typename decltype(detail::at< idx >(list_t{}))::type at
Return the type at given index from the type list.
Definition: traits.hpp:260
constexpr detail::repeat_fn repeat
A view factory that repeats a given value infinitely.
Definition: repeat.hpp:347
constexpr auto const & get(configuration< configs_t... > const &config) noexcept
This is an overloaded member function, provided for convenience. It differs from the above function o...
Definition: configuration.hpp:429
The <ranges> header from C++20's standard library.
Provides the seqan3::record template and the seqan3::field enum.
Provides the seqan3::views::repeat.
Provides traits for seqan3::type_list.
Provides seqan3::tuple_like.