tmp/tmpx7abrd81/{from.md → to.md}
RENAMED
|
@@ -16,12 +16,12 @@ different sequences: `indirectly_comparable`.
|
|
| 16 |
below imposes constraints on the concepts’ arguments in addition to
|
| 17 |
those that appear in the concepts’ bodies [[range.cmp]]. — *end note*]
|
| 18 |
|
| 19 |
#### Concept <a id="alg.req.ind.move">[[alg.req.ind.move]]</a>
|
| 20 |
|
| 21 |
-
The `indirectly_movable` concept specifies the relationship between
|
| 22 |
-
`indirectly_readable` type and
|
| 23 |
which values may be moved.
|
| 24 |
|
| 25 |
``` cpp
|
| 26 |
template<class In, class Out>
|
| 27 |
concept indirectly_movable =
|
|
@@ -57,12 +57,12 @@ iter_value_t<In> obj(ranges::iter_move(i));
|
|
| 57 |
state of the value denoted by `*i` is valid but unspecified
|
| 58 |
[[lib.types.movedfrom]].
|
| 59 |
|
| 60 |
#### Concept <a id="alg.req.ind.copy">[[alg.req.ind.copy]]</a>
|
| 61 |
|
| 62 |
-
The `indirectly_copyable` concept specifies the relationship between
|
| 63 |
-
`indirectly_readable` type and
|
| 64 |
which values may be copied.
|
| 65 |
|
| 66 |
``` cpp
|
| 67 |
template<class In, class Out>
|
| 68 |
concept indirectly_copyable =
|
|
|
|
| 16 |
below imposes constraints on the concepts’ arguments in addition to
|
| 17 |
those that appear in the concepts’ bodies [[range.cmp]]. — *end note*]
|
| 18 |
|
| 19 |
#### Concept <a id="alg.req.ind.move">[[alg.req.ind.move]]</a>
|
| 20 |
|
| 21 |
+
The `indirectly_movable` concept specifies the relationship between an
|
| 22 |
+
`indirectly_readable` type and an `indirectly_writable` type between
|
| 23 |
which values may be moved.
|
| 24 |
|
| 25 |
``` cpp
|
| 26 |
template<class In, class Out>
|
| 27 |
concept indirectly_movable =
|
|
|
|
| 57 |
state of the value denoted by `*i` is valid but unspecified
|
| 58 |
[[lib.types.movedfrom]].
|
| 59 |
|
| 60 |
#### Concept <a id="alg.req.ind.copy">[[alg.req.ind.copy]]</a>
|
| 61 |
|
| 62 |
+
The `indirectly_copyable` concept specifies the relationship between an
|
| 63 |
+
`indirectly_readable` type and an `indirectly_writable` type between
|
| 64 |
which values may be copied.
|
| 65 |
|
| 66 |
``` cpp
|
| 67 |
template<class In, class Out>
|
| 68 |
concept indirectly_copyable =
|