tmp/tmp0hajl2xc/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,20 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### `execution::schedule` <a id="exec.schedule">[[exec.schedule]]</a>
|
| 2 |
+
|
| 3 |
+
`schedule` obtains a schedule sender [[exec.async.ops]] from a
|
| 4 |
+
scheduler.
|
| 5 |
+
|
| 6 |
+
The name `schedule` denotes a customization point object. For a
|
| 7 |
+
subexpression `sch`, the expression `schedule(sch)` is
|
| 8 |
+
expression-equivalent to `sch.schedule()`.
|
| 9 |
+
|
| 10 |
+
*Mandates:* The type of `sch.schedule()` satisfies `sender`.
|
| 11 |
+
|
| 12 |
+
If the expression
|
| 13 |
+
|
| 14 |
+
``` cpp
|
| 15 |
+
get_completion_scheduler<set_value_t>(get_env(sch.schedule())) == sch
|
| 16 |
+
```
|
| 17 |
+
|
| 18 |
+
is ill-formed or evaluates to `false`, the behavior of calling
|
| 19 |
+
`schedule(sch)` is undefined.
|
| 20 |
+
|