POSIX TZ string parser for RFC 8536 §3.3 footer strings.

def Std.Time.TimeZone.parsePosixTz (s : String) (extended : Bool := false) : Except String RecurringRule

Parse a POSIX TZ footer string into a RecurringRule, returning an error on failure.

When extended is true, transition times accept signed hours in the range -167 to 167 instead of the POSIX-required 0 to 24 (TZif version 3+).

Equations

• Std.Time.TimeZone.parsePosixTz s extended = (Std.Time.TimeZone.parsePosixTzP✝ extended).run s