tmp/tmp0hk7plik/{from.md → to.md}
RENAMED
|
@@ -68,22 +68,22 @@ zoned_time(string_view name, const sys_time<Duration>& st);
|
|
| 68 |
|
| 69 |
``` cpp
|
| 70 |
zoned_time(TimeZonePtr z, const local_time<Duration>& tp);
|
| 71 |
```
|
| 72 |
|
| 73 |
-
*Preconditions:* `z` refers to a time zone.
|
| 74 |
-
|
| 75 |
*Constraints:*
|
| 76 |
|
| 77 |
``` cpp
|
| 78 |
is_convertible_v<
|
| 79 |
decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{})),
|
| 80 |
sys_time<duration>>
|
| 81 |
```
|
| 82 |
|
| 83 |
is `true`.
|
| 84 |
|
|
|
|
|
|
|
| 85 |
*Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
|
| 86 |
`zone_->to_sys(tp)`.
|
| 87 |
|
| 88 |
``` cpp
|
| 89 |
zoned_time(string_view name, const local_time<Duration>& tp);
|
|
@@ -97,22 +97,22 @@ zoned_time(string_view name, const local_time<Duration>& tp);
|
|
| 97 |
|
| 98 |
``` cpp
|
| 99 |
zoned_time(TimeZonePtr z, const local_time<Duration>& tp, choose c);
|
| 100 |
```
|
| 101 |
|
| 102 |
-
*Preconditions:* `z` refers to a time zone.
|
| 103 |
-
|
| 104 |
*Constraints:*
|
| 105 |
|
| 106 |
``` cpp
|
| 107 |
is_convertible_v<
|
| 108 |
decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{}, choose::earliest)),
|
| 109 |
sys_time<duration>>
|
| 110 |
```
|
| 111 |
|
| 112 |
is `true`.
|
| 113 |
|
|
|
|
|
|
|
| 114 |
*Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
|
| 115 |
`zone_->to_sys(tp, c)`.
|
| 116 |
|
| 117 |
``` cpp
|
| 118 |
zoned_time(string_view name, const local_time<Duration>& tp, choose c);
|
|
|
|
| 68 |
|
| 69 |
``` cpp
|
| 70 |
zoned_time(TimeZonePtr z, const local_time<Duration>& tp);
|
| 71 |
```
|
| 72 |
|
|
|
|
|
|
|
| 73 |
*Constraints:*
|
| 74 |
|
| 75 |
``` cpp
|
| 76 |
is_convertible_v<
|
| 77 |
decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{})),
|
| 78 |
sys_time<duration>>
|
| 79 |
```
|
| 80 |
|
| 81 |
is `true`.
|
| 82 |
|
| 83 |
+
*Preconditions:* `z` refers to a time zone.
|
| 84 |
+
|
| 85 |
*Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
|
| 86 |
`zone_->to_sys(tp)`.
|
| 87 |
|
| 88 |
``` cpp
|
| 89 |
zoned_time(string_view name, const local_time<Duration>& tp);
|
|
|
|
| 97 |
|
| 98 |
``` cpp
|
| 99 |
zoned_time(TimeZonePtr z, const local_time<Duration>& tp, choose c);
|
| 100 |
```
|
| 101 |
|
|
|
|
|
|
|
| 102 |
*Constraints:*
|
| 103 |
|
| 104 |
``` cpp
|
| 105 |
is_convertible_v<
|
| 106 |
decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{}, choose::earliest)),
|
| 107 |
sys_time<duration>>
|
| 108 |
```
|
| 109 |
|
| 110 |
is `true`.
|
| 111 |
|
| 112 |
+
*Preconditions:* `z` refers to a time zone.
|
| 113 |
+
|
| 114 |
*Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
|
| 115 |
`zone_->to_sys(tp, c)`.
|
| 116 |
|
| 117 |
``` cpp
|
| 118 |
zoned_time(string_view name, const local_time<Duration>& tp, choose c);
|