object

tzif_zone_ids

Bundled canonical TZDB zone ids and backward-compatible aliases derived from IANA TZDB 2026a.

Availability:
logtalk_load(tzif(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-04-07
Compilation flags:
static, context_switching_calls
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

tzdb_version/1

Bundled IANA TZDB release used to derive the zone-id table.

Compilation flags:
static
Template:
tzdb_version(Version)
Mode and number of proofs:
tzdb_version(-atom) - one

known_zone_id/1

True when the argument is a bundled canonical TZDB zone id or backward-compatible alias.

Compilation flags:
static
Template:
known_zone_id(ZoneId)
Mode and number of proofs:
known_zone_id(+atom) - zero_or_one

zone_id_kind/2

Classifies a bundled zone id as canonical or as a backward-compatible alias targeting another zone id.

Compilation flags:
static
Template:
zone_id_kind(ZoneId,Kind)
Mode and number of proofs:
zone_id_kind(+atom,-compound) - zero_or_one

Protected predicates

(none)

Private predicates

(none)

Operators

(none)