tmp/tmpxp17w8sr/{from.md → to.md}
RENAMED
|
@@ -1,8 +1,8 @@
|
|
| 1 |
## Time zones <a id="time.zone">[[time.zone]]</a>
|
| 2 |
|
| 3 |
-
###
|
| 4 |
|
| 5 |
[[time.zone]] describes an interface for accessing the IANA Time Zone
|
| 6 |
Database that interoperates with `sys_time` and `local_time`. This
|
| 7 |
interface provides time zone support to both the civil calendar types
|
| 8 |
[[time.cal]] and to user-defined calendars.
|
|
@@ -1010,11 +1010,11 @@ database when initialized.
|
|
| 1010 |
|
| 1011 |
[*Example 1*:
|
| 1012 |
|
| 1013 |
``` cpp
|
| 1014 |
for (auto& l : get_tzdb().leap_seconds)
|
| 1015 |
-
if (l <= 2018y/March/17d)
|
| 1016 |
cout << l.date() << ": " << l.value() << '\n';
|
| 1017 |
```
|
| 1018 |
|
| 1019 |
Produces the output:
|
| 1020 |
|
|
|
|
| 1 |
## Time zones <a id="time.zone">[[time.zone]]</a>
|
| 2 |
|
| 3 |
+
### General <a id="time.zone.general">[[time.zone.general]]</a>
|
| 4 |
|
| 5 |
[[time.zone]] describes an interface for accessing the IANA Time Zone
|
| 6 |
Database that interoperates with `sys_time` and `local_time`. This
|
| 7 |
interface provides time zone support to both the civil calendar types
|
| 8 |
[[time.cal]] and to user-defined calendars.
|
|
|
|
| 1010 |
|
| 1011 |
[*Example 1*:
|
| 1012 |
|
| 1013 |
``` cpp
|
| 1014 |
for (auto& l : get_tzdb().leap_seconds)
|
| 1015 |
+
if (l <= sys_days{2018y/March/17d})
|
| 1016 |
cout << l.date() << ": " << l.value() << '\n';
|
| 1017 |
```
|
| 1018 |
|
| 1019 |
Produces the output:
|
| 1020 |
|