19#if SEQAN3_WORKAROUND_GCC_NO_CXX11_ABI
22namespace seqan3::detail
28template <
typename basic_
string_t>
35template <
typename value_t,
typename traits_t,
typename allocator_t>
36struct is_basic_string<
std::basic_string<value_t, traits_t, allocator_t>> :
std::true_type
42template <
typename basic_
string_t>
43constexpr bool is_basic_string_v = is_basic_string<basic_string_t>::value;
69template <
typename type>
70concept container =
requires (type val, type val2, type
const cval,
typename type::iterator it) {
72 typename type::value_type;
73 typename type::reference;
74 typename type::const_reference;
98 } -> std::same_as<type>;
101 } -> std::same_as<type>;
104 } -> std::same_as<type &>;
111 } -> std::same_as<typename type::iterator>;
114 } -> std::same_as<typename type::iterator>;
117 } -> std::same_as<typename type::const_iterator>;
120 } -> std::same_as<typename type::const_iterator>;
123 } -> std::same_as<typename type::const_iterator>;
126 } -> std::same_as<typename type::const_iterator>;
128 requires !std::equality_comparable<typename type::value_type> || std::equality_comparable<type>;
132 } -> std::same_as<void>;
135 } -> std::same_as<void>;
138 } -> std::same_as<void>;
142 } -> std::same_as<typename type::size_type>;
145 } -> std::same_as<typename type::size_type>;
148 } -> std::same_as<bool>;
168template <
typename type>
170 requires (type val, type val2, type
const cval) {
175 type(
typename type::size_type{},
typename type::value_type{})
178 type{val2.begin(), val2.end()}
185 } -> std::same_as<type &>;
189 val.assign(val2.begin(), val2.end())
195 val.assign(
typename type::size_type{},
typename type::value_type{})
201#if SEQAN3_WORKAROUND_GCC_NO_CXX11_ABI
203 val.insert(val.begin(), val2.front())
204 } -> std::same_as<typename type::iterator>;
206 val.insert(val.begin(),
typename type::value_type{})
207 } -> std::same_as<typename type::iterator>;
210 requires detail::is_basic_string_v<type>
211 ||
requires (type val, type val2)
213 requires requires (type val, type val2)
217 val.insert(val.cbegin(), val2.front())
218 } -> std::same_as<typename type::iterator>;
220 val.insert(val.cbegin(),
typename type::value_type{})
221 } -> std::same_as<typename type::iterator>;
223 val.insert(val.cbegin(),
typename type::size_type{},
typename type::value_type{})
224 } -> std::same_as<typename type::iterator>;
226 val.insert(val.cbegin(), val2.begin(), val2.end())
227 } -> std::same_as<typename type::iterator>;
230 } -> std::same_as<typename type::iterator>;
233#if SEQAN3_WORKAROUND_GCC_NO_CXX11_ABI
235 requires detail::is_basic_string_v<type>
236 ||
requires (type val)
238 requires requires (type val)
242 val.erase(val.cbegin())
243 } -> std::same_as<typename type::iterator>;
245 val.erase(val.cbegin(), val.cend())
246 } -> std::same_as<typename type::iterator>;
250 val.push_back(val.front())
251 } -> std::same_as<void>;
253 val.push_back(
typename type::value_type{})
254 } -> std::same_as<void>;
257 } -> std::same_as<void>;
260 } -> std::same_as<void>;
265 } -> std::same_as<typename type::reference>;
268 } -> std::same_as<typename type::const_reference>;
271 } -> std::same_as<typename type::reference>;
274 } -> std::same_as<typename type::const_reference>;
294template <
typename type>
301 } -> std::same_as<typename type::reference>;
304 } -> std::same_as<typename type::reference>;
309 } -> std::same_as<void>;
311 val.resize(0,
typename type::value_type{})
312 } -> std::same_as<void>;
330template <
typename type>
336 } -> std::same_as<typename type::size_type>;
339 } -> std::same_as<void>;
342 } -> std::same_as<void>;
The (most general) container concept as defined by the standard library.
A more refined container concept than seqan3::sequence_container.
A more refined container concept than seqan3::random_access_container.
A more refined container concept than seqan3::container.
The main SeqAn3 namespace.
Definition aligned_sequence_concept.hpp:26
SeqAn specific customisations in the standard namespace.