Module pact_models::time_utils

source ·
Expand description

Utilities for dealing with time and date values. These are based on the Java DateTimeFormatter

|Symbol| Meaning | Presentation | Examples | |——| —–– | ———— | —–– | |G | era | text | AD; Anno Domini; A | |u | year | year | 2004; 04 | |y | year-of-era | year | 2004; 04 | |D | day-of-year | number | 189 | |M/L | month-of-year | number/text | 7; 07; Jul; July; J | |d | day-of-month | number | 10 | |Q/q | quarter-of-year | number/text | 3; 03; Q3; 3rd quarter | |Y | week-based-year | year | 1996; 96 | |w | week-of-week-based-year | number | 27 | |W | week-of-month | number | 4 | |E | day-of-week | text | Tue; Tuesday; T | |e/c | localized day-of-week | number/text | 2; 02; Tue; Tuesday; T | |F | week-of-month | number | 3 | |a | am-pm-of-day | text | PM | |h | clock-hour-of-am-pm (1-12)| number | 12 | |K | hour-of-am-pm (0-11) | number | 0 | |k | clock-hour-of-am-pm (1-24)| number | 0 | |H | hour-of-day (0-23) | number | 0 | |m | minute-of-hour | number | 30 | |s | second-of-minute | number | 55 | |S | fraction-of-second | fraction | 978 | |A | milli-of-day | number | 1234 | |n | nano-of-second | number | 987654321 | |N | nano-of-day | number | 1234000000 | |V | time-zone ID | zone-id | America/Los_Angeles; Z; -08:30 | |z | time-zone name | zone-name | Pacific Standard Time; PST | |O | localized zone-offset | offset-O | GMT+8; GMT+08:00; UTC-08:00; | |X | zone-offset ‘Z’ for zero | offset-X | Z; -08; -0830; -08:30; -083015; -08:30:15; | |x | zone-offset | offset-x | +0000; -08; -0830; -08:30; -083015; -08:30:15; | |Z | zone-offset | offset-Z | +0000; -0800; -08:00; | |’ | escape for text | delimiter | | |‘’ | single quote | literal | ’ |

Enums§

Functions§

  • generate_string
    Generates a date/time string from the current system clock using the provided format string
  • parse_pattern
    Parses a string into a vector of date/time tokens
  • to_chrono_pattern
    Converts the date time pattern tokens to a chrono formatted string
  • validate_datetime
    Validates the given datetime against the pattern