xref: /freebsd/contrib/llvm-project/libcxx/include/__concepts/copyable.h (revision 349cc55c9796c4596a5b9904cd3281af295f878f)
1*349cc55cSDimitry Andric //===----------------------------------------------------------------------===//
2*349cc55cSDimitry Andric //
3*349cc55cSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*349cc55cSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*349cc55cSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*349cc55cSDimitry Andric //
7*349cc55cSDimitry Andric //===----------------------------------------------------------------------===//
8*349cc55cSDimitry Andric 
9*349cc55cSDimitry Andric #ifndef _LIBCPP___CONCEPTS_COPYABLE_H
10*349cc55cSDimitry Andric #define _LIBCPP___CONCEPTS_COPYABLE_H
11*349cc55cSDimitry Andric 
12*349cc55cSDimitry Andric #include <__concepts/assignable.h>
13*349cc55cSDimitry Andric #include <__concepts/constructible.h>
14*349cc55cSDimitry Andric #include <__concepts/movable.h>
15*349cc55cSDimitry Andric #include <__config>
16*349cc55cSDimitry Andric 
17*349cc55cSDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
18*349cc55cSDimitry Andric #pragma GCC system_header
19*349cc55cSDimitry Andric #endif
20*349cc55cSDimitry Andric 
21*349cc55cSDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD
22*349cc55cSDimitry Andric 
23*349cc55cSDimitry Andric #if _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_CONCEPTS)
24*349cc55cSDimitry Andric 
25*349cc55cSDimitry Andric // [concepts.object]
26*349cc55cSDimitry Andric 
27*349cc55cSDimitry Andric template<class _Tp>
28*349cc55cSDimitry Andric concept copyable =
29*349cc55cSDimitry Andric   copy_constructible<_Tp> &&
30*349cc55cSDimitry Andric   movable<_Tp> &&
31*349cc55cSDimitry Andric   assignable_from<_Tp&, _Tp&> &&
32*349cc55cSDimitry Andric   assignable_from<_Tp&, const _Tp&> &&
33*349cc55cSDimitry Andric   assignable_from<_Tp&, const _Tp>;
34*349cc55cSDimitry Andric 
35*349cc55cSDimitry Andric #endif // _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_CONCEPTS)
36*349cc55cSDimitry Andric 
37*349cc55cSDimitry Andric _LIBCPP_END_NAMESPACE_STD
38*349cc55cSDimitry Andric 
39*349cc55cSDimitry Andric #endif // _LIBCPP___CONCEPTS_COPYABLE_H
40