IotaTime.Tzdb.Metadata

Definitions

record ZoneAlias : Type

  One TZDB link from an alias to its canonical zone identifier.

Totality: total
Visibility: public export
Constructor: 

MkZoneAlias : String -> String -> ZoneAlias

Projections:

.aliasId : ZoneAlias -> String

.canonicalId : ZoneAlias -> String

.aliasId : ZoneAlias -> String

Totality: total
Visibility: public export

aliasId : ZoneAlias -> String

Totality: total
Visibility: public export

.canonicalId : ZoneAlias -> String

Totality: total
Visibility: public export

canonicalId : ZoneAlias -> String

Totality: total
Visibility: public export

record TzdbMetadata : Type

  Version and identifier metadata associated with a time-zone provider.

Totality: total
Visibility: public export
Constructor: 

MkTzdbMetadata : Maybe String -> List ZoneAlias -> TzdbMetadata

Projections:

.tzdbVersion : TzdbMetadata -> Maybe String

.zoneAliases : TzdbMetadata -> List ZoneAlias

.tzdbVersion : TzdbMetadata -> Maybe String

Totality: total
Visibility: public export

tzdbVersion : TzdbMetadata -> Maybe String

Totality: total
Visibility: public export

.zoneAliases : TzdbMetadata -> List ZoneAlias

Totality: total
Visibility: public export

zoneAliases : TzdbMetadata -> List ZoneAlias

Totality: total
Visibility: public export

parseTzdataIdentity : String -> (Maybe String, List ZoneAlias)

  Parse the version declaration and Link records from a `tzdata.zi` file.

Totality: total
Visibility: public export

canonicalZoneId : TzdbMetadata -> String -> String

  Resolve a TZDB link chain. Cycles terminate after one pass over the aliases.

Totality: total
Visibility: public export