Squashed 'third_party/boostorg/type_traits/' content from commit 059ed88
Change-Id: I222c604dfa1db194bf53bc6aa1152fb16e83ce06
git-subtree-dir: third_party/boostorg/type_traits
git-subtree-split: 059ed8839da3fecd1e8b62cdc11be006f6346b5e
diff --git a/doc/value_traits.qbk b/doc/value_traits.qbk
new file mode 100644
index 0000000..f8ff399
--- /dev/null
+++ b/doc/value_traits.qbk
@@ -0,0 +1,235 @@
+[/
+ Copyright 2007 John Maddock.
+ Distributed under the Boost Software License, Version 1.0.
+ (See accompanying file LICENSE_1_0.txt or copy at
+ http://www.boost.org/LICENSE_1_0.txt).
+]
+
+[section:value_traits Type Traits that Describe the Properties of a Type]
+
+These traits are all /value traits/, which is to say the traits classes all
+inherit from __integral_constant, and are used to access some numerical
+property of a type. Often this is a simple true or false Boolean value,
+but in a few cases may be some other integer value (for example when dealing
+with type alignments, or array bounds: see `__alignment_of`, `__rank` and `__extent`).
+
+[section:primary Categorizing a Type]
+
+These traits identify what "kind" of type some type `T` is. These are split into
+two groups: primary traits which are all mutually exclusive, and composite traits
+that are compositions of one or more primary traits.
+
+For any given type, exactly one primary type trait will inherit from
+__true_type, and all the others will inherit from __false_type, in other
+words these traits are mutually exclusive.
+
+This means that `__is_integral<T>::value` and `__is_floating_point<T>::value`
+will only ever be true for built-in types; if you want to check for a
+user-defined class type that behaves "as if" it is an integral or floating point type,
+then use the `std::numeric_limits template` instead.
+
+[*Synopsis:]
+
+ template <class T>
+ struct __is_array;
+
+ template <class T>
+ struct __is_class;
+
+ template <class T>
+ struct __is_complex;
+
+ template <class T>
+ struct __is_enum;
+
+ template <class T>
+ struct __is_floating_point;
+
+ template <class T>
+ struct __is_function;
+
+ template <class T>
+ struct __is_integral;
+
+ template <class T>
+ struct __is_member_function_pointer;
+
+ template <class T>
+ struct __is_member_object_pointer;
+
+ template <class T>
+ struct __is_pointer;
+
+ template <class T>
+ struct __is_lvalue_reference;
+
+ template <class T>
+ struct __is_rvalue_reference;
+
+ template <class T>
+ struct __is_union;
+
+ template <class T>
+ struct __is_void;
+
+The following traits are made up of the union of one or more type
+categorizations. A type may belong to more than one of these categories,
+in addition to one of the primary categories.
+
+ template <class T>
+ struct __is_arithmetic;
+
+ template <class T>
+ struct __is_compound;
+
+ template <class T>
+ struct __is_fundamental;
+
+ template <class T>
+ struct __is_member_pointer;
+
+ template <class T>
+ struct __is_object;
+
+ template <class T>
+ struct __is_reference;
+
+ template <class T>
+ struct __is_scalar;
+
+[endsect]
+
+[section:properties General Type Properties]
+
+The following templates describe the general properties of a type.
+
+[*Synopsis:]
+
+ template <class T>
+ struct __alignment_of;
+
+ template <class T>
+ struct __has_new_operator;
+
+ template <class T>
+ struct __has_nothrow_assign;
+
+ template <class T>
+ struct __has_nothrow_constructor;
+
+ template <class T>
+ struct __has_nothrow_default_constructor;
+
+ template <class T>
+ struct __has_nothrow_copy;
+
+ template <class T>
+ struct __has_nothrow_copy_constructor;
+
+ template <class T>
+ struct __has_nothrow_destructor;
+
+ template <class T>
+ struct __has_trivial_assign;
+
+ template <class T>
+ struct __has_trivial_constructor;
+
+ template <class T>
+ struct __has_trivial_default_constructor;
+
+ template <class T>
+ struct __has_trivial_copy;
+
+ template <class T>
+ struct __has_trivial_copy_constructor;
+
+ template <class T>
+ struct __has_trivial_destructor;
+
+ template <class T>
+ struct __has_virtual_destructor;
+
+ template <class T>
+ struct __is_abstract;
+
+ template <class T, class U>
+ struct __is_assignable;
+
+ template <class T>
+ struct __is_copy_constructible;
+
+ template <class T>
+ struct __is_copy_assignable;
+
+ template <class T, class... Args>
+ struct __is_constructible;
+
+ template <class T>
+ struct __is_default_constructible;
+
+ template <class T, class... Args>
+ struct __is_list_constructible;
+
+ template <class T>
+ struct __is_destructible;
+
+ template <class T>
+ struct __is_const;
+
+ template <class T>
+ struct __is_empty;
+
+ template <class T>
+ struct __is_final;
+
+ template <class T>
+ struct __is_stateless;
+
+ template <class T>
+ struct __is_pod;
+
+ template <class T>
+ struct __is_polymorphic;
+
+ template <class T>
+ struct __is_signed;
+
+ template <class T>
+ struct __is_unsigned;
+
+ template <class T>
+ struct __is_volatile;
+
+ template <class T, std::size_t N = 0>
+ struct __extent;
+
+ template <class T>
+ struct __rank;
+
+[endsect]
+
+[section:relate Relationships Between Two Types]
+
+These templates determine the whether there is a relationship
+between two types:
+
+[*Synopsis:]
+
+ template <class Base, class Derived>
+ struct __is_base_of;
+
+ template <class Base, class Derived>
+ struct __is_virtual_base_of;
+
+ template <class From, class To>
+ struct __is_convertible;
+
+ template <class T, class U>
+ struct __is_same;
+
+[endsect]
+
+[include operators.qbk]
+
+[endsect]