|
75 | 75 | #define _TUPLET_TYPES_CMP_WITH(T, U) \ |
76 | 76 | ::std::enable_if_t<::tuplet::sfinae::detail::_all_true<::tuplet::sfinae::detail::_has_cmp<T, U>...>(), bool> |
77 | 77 | #else |
78 | | -#define _TUPLET_TYPES_EQ_WITH(T, U) ::std::enable_if_t<((::tuplet::sfinae::detail::_has_eq<T, U>)&&...), bool> |
79 | | -#define _TUPLET_TYPES_CMP_WITH(T, U) ::std::enable_if_t<((::tuplet::sfinae::detail::_has_cmp<T, U>)&&...), bool> |
| 78 | +#define _TUPLET_TYPES_EQ_WITH(T, U) ::std::enable_if_t<((::tuplet::sfinae::detail::_has_eq<T, U>) && ...), bool> |
| 79 | +#define _TUPLET_TYPES_CMP_WITH(T, U) ::std::enable_if_t<((::tuplet::sfinae::detail::_has_cmp<T, U>) && ...), bool> |
80 | 80 | #endif |
81 | 81 | #endif |
82 | 82 |
|
@@ -287,45 +287,31 @@ concept assignable_to = requires(U u, T t) { t = u; }; |
287 | 287 |
|
288 | 288 | template <class T> |
289 | 289 | concept ordered = requires(T const& t) { |
290 | | - { |
291 | | - t <=> t |
292 | | - }; |
| 290 | + { t <=> t }; |
293 | 291 | }; |
294 | 292 |
|
295 | 293 | template <class T, class U> |
296 | 294 | concept ordered_with = requires(T const& t, U const& u) { |
297 | | - { |
298 | | - t <=> u |
299 | | - }; |
| 295 | + { t <=> u }; |
300 | 296 | }; |
301 | 297 | template <class T> |
302 | 298 | concept equality_comparable = requires(T const& t) { |
303 | | - { |
304 | | - t == t |
305 | | - } -> same_as<bool>; |
| 299 | + { t == t } -> same_as<bool>; |
306 | 300 | }; |
307 | 301 |
|
308 | 302 | template <class T, class U> |
309 | 303 | concept equality_comparable_with = requires(T const& t, U const& u) { |
310 | | - { |
311 | | - t == u |
312 | | - } -> same_as<bool>; |
| 304 | + { t == u } -> same_as<bool>; |
313 | 305 | }; |
314 | 306 |
|
315 | 307 | template <class T> |
316 | 308 | concept partial_comparable = equality_comparable<T> && requires(T const& t) { |
317 | | - { |
318 | | - t < t |
319 | | - } -> same_as<bool>; |
| 309 | + { t < t } -> same_as<bool>; |
320 | 310 | }; |
321 | 311 | template <class T, class U> |
322 | 312 | concept partial_comparable_with = equality_comparable_with<T, U> && requires(T const& t, U const& u) { |
323 | | - { |
324 | | - t < u |
325 | | - } -> same_as<bool>; |
326 | | - { |
327 | | - t > u |
328 | | - } -> same_as<bool>; |
| 313 | + { t < u } -> same_as<bool>; |
| 314 | + { t > u } -> same_as<bool>; |
329 | 315 | }; |
330 | 316 |
|
331 | 317 | #endif |
|
0 commit comments