xref: /llvm-project/libcxx/include/__concepts/regular.h (revision 5aa03b648b827128d439f705cd7d57d59673741d)
158915667SArthur O'Dwyer //===----------------------------------------------------------------------===//
258915667SArthur O'Dwyer //
358915667SArthur O'Dwyer // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
458915667SArthur O'Dwyer // See https://llvm.org/LICENSE.txt for license information.
558915667SArthur O'Dwyer // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
658915667SArthur O'Dwyer //
758915667SArthur O'Dwyer //===----------------------------------------------------------------------===//
858915667SArthur O'Dwyer 
958915667SArthur O'Dwyer #ifndef _LIBCPP___CONCEPTS_REGULAR_H
1058915667SArthur O'Dwyer #define _LIBCPP___CONCEPTS_REGULAR_H
1158915667SArthur O'Dwyer 
1258915667SArthur O'Dwyer #include <__concepts/equality_comparable.h>
1358915667SArthur O'Dwyer #include <__concepts/semiregular.h>
1458915667SArthur O'Dwyer #include <__config>
1558915667SArthur O'Dwyer 
1658915667SArthur O'Dwyer #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
1758915667SArthur O'Dwyer #  pragma GCC system_header
1858915667SArthur O'Dwyer #endif
1958915667SArthur O'Dwyer 
2058915667SArthur O'Dwyer _LIBCPP_BEGIN_NAMESPACE_STD
2158915667SArthur O'Dwyer 
22*4f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20
2358915667SArthur O'Dwyer 
2458915667SArthur O'Dwyer // [concept.object]
2558915667SArthur O'Dwyer 
2658915667SArthur O'Dwyer template <class _Tp>
2758915667SArthur O'Dwyer concept regular = semiregular<_Tp> && equality_comparable<_Tp>;
2858915667SArthur O'Dwyer 
29*4f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20
3058915667SArthur O'Dwyer 
3158915667SArthur O'Dwyer _LIBCPP_END_NAMESPACE_STD
3258915667SArthur O'Dwyer 
3358915667SArthur O'Dwyer #endif // _LIBCPP___CONCEPTS_REGULAR_H
34