tzif_zone_ids — Logtalk 3.100.1

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)