tmp/tmpklwvzbku/{from.md → to.md}
RENAMED
|
@@ -2,29 +2,29 @@
|
|
| 2 |
|
| 3 |
A *UnaryTypeTrait* describes a property of a type. It shall be a class
|
| 4 |
template that takes one template type argument and, optionally,
|
| 5 |
additional arguments that help define the property being described. It
|
| 6 |
shall be `DefaultConstructible`, `CopyConstructible`, and publicly and
|
| 7 |
-
unambiguously derived, directly or indirectly, from its
|
| 8 |
-
*
|
| 9 |
`integral_constant` ([[meta.help]]), with the arguments to the template
|
| 10 |
`integral_constant` determined by the requirements for the particular
|
| 11 |
-
property being described. The member names of the
|
| 12 |
shall not be hidden and shall be unambiguously available in the
|
| 13 |
-
UnaryTypeTrait.
|
| 14 |
|
| 15 |
A *BinaryTypeTrait* describes a relationship between two types. It shall
|
| 16 |
be a class template that takes two template type arguments and,
|
| 17 |
optionally, additional arguments that help define the relationship being
|
| 18 |
described. It shall be `DefaultConstructible`, `CopyConstructible`, and
|
| 19 |
publicly and unambiguously derived, directly or indirectly, from its
|
| 20 |
-
*
|
| 21 |
`integral_constant` ([[meta.help]]), with the arguments to the template
|
| 22 |
`integral_constant` determined by the requirements for the particular
|
| 23 |
-
relationship being described. The member names of the
|
| 24 |
-
shall not be hidden and shall be unambiguously available
|
| 25 |
-
BinaryTypeTrait.
|
| 26 |
|
| 27 |
A *TransformationTrait* modifies a property of a type. It shall be a
|
| 28 |
class template that takes one template type argument and, optionally,
|
| 29 |
additional arguments that help define the modification. It shall define
|
| 30 |
a publicly accessible nested type named `type`, which shall be a synonym
|
|
|
|
| 2 |
|
| 3 |
A *UnaryTypeTrait* describes a property of a type. It shall be a class
|
| 4 |
template that takes one template type argument and, optionally,
|
| 5 |
additional arguments that help define the property being described. It
|
| 6 |
shall be `DefaultConstructible`, `CopyConstructible`, and publicly and
|
| 7 |
+
unambiguously derived, directly or indirectly, from its *base
|
| 8 |
+
characteristic*, which is a specialization of the template
|
| 9 |
`integral_constant` ([[meta.help]]), with the arguments to the template
|
| 10 |
`integral_constant` determined by the requirements for the particular
|
| 11 |
+
property being described. The member names of the base characteristic
|
| 12 |
shall not be hidden and shall be unambiguously available in the
|
| 13 |
+
`UnaryTypeTrait`.
|
| 14 |
|
| 15 |
A *BinaryTypeTrait* describes a relationship between two types. It shall
|
| 16 |
be a class template that takes two template type arguments and,
|
| 17 |
optionally, additional arguments that help define the relationship being
|
| 18 |
described. It shall be `DefaultConstructible`, `CopyConstructible`, and
|
| 19 |
publicly and unambiguously derived, directly or indirectly, from its
|
| 20 |
+
*base characteristic*, which is a specialization of the template
|
| 21 |
`integral_constant` ([[meta.help]]), with the arguments to the template
|
| 22 |
`integral_constant` determined by the requirements for the particular
|
| 23 |
+
relationship being described. The member names of the base
|
| 24 |
+
characteristic shall not be hidden and shall be unambiguously available
|
| 25 |
+
in the `BinaryTypeTrait`.
|
| 26 |
|
| 27 |
A *TransformationTrait* modifies a property of a type. It shall be a
|
| 28 |
class template that takes one template type argument and, optionally,
|
| 29 |
additional arguments that help define the modification. It shall define
|
| 30 |
a publicly accessible nested type named `type`, which shall be a synonym
|