enso/distribution/lib/Standard
Radosław Waśko 12c4f2981d
More robust Date/Time format patterns parsing (#7826)
- Closes #7461 by introducing a `Date_Time_Formatter` type and making parsing date time formats more robust and safer.
- The default ('simple') set of patterns is slightly simplified and made case insensitive (except for `M/m` and `H/h`) to avoid the `YYYY` vs `yyyy` issues and make it less error prone.
- The `YYYY` now has the same meaning as `yyyy` in simple mode. The old meaning (week-based year) is moved to a _separate mode_, triggered by `Date_Time_Formatter.from_iso_week_date_pattern`.
- Full Java syntax, as well as custom-built Java `DateTimeFormatter` can also be used by `Date_Time_Formatter.from_java`.
- Text-based constants (e.g. `ISO_ZONED_DATE_TIME`) have now become methods on `Date_Time_Formatter`, e.g. `Date_Time_Formatter.iso_zoned_date_time`).
2023-09-22 10:12:18 +00:00
..
AWS/0.0.0-dev S3 Read Access, Input Stream based reading (#7776) 2023-09-20 15:09:11 +00:00
Base/0.0.0-dev More robust Date/Time format patterns parsing (#7826) 2023-09-22 10:12:18 +00:00
Database/0.0.0-dev More robust Date/Time format patterns parsing (#7826) 2023-09-22 10:12:18 +00:00
Examples/0.0.0-dev S3 Read Access, Input Stream based reading (#7776) 2023-09-20 15:09:11 +00:00
Geo/0.0.0-dev Rename Decimal to Float (#7807) 2023-09-14 15:01:30 +00:00
Google_Api/0.0.0-dev S3 Read Access, Input Stream based reading (#7776) 2023-09-20 15:09:11 +00:00
Image/0.0.0-dev Add GROUP to functions (#7622) 2023-08-23 13:20:38 +00:00
Searcher/0.0.0-dev New Data.post for sending a payload to a Web API (#7700) 2023-09-19 11:26:29 +00:00
Table/0.0.0-dev More robust Date/Time format patterns parsing (#7826) 2023-09-22 10:12:18 +00:00
Test/0.0.0-dev New Data.post for sending a payload to a Web API (#7700) 2023-09-19 11:26:29 +00:00
Visualization/0.0.0-dev S3 Read Access, Input Stream based reading (#7776) 2023-09-20 15:09:11 +00:00