IotaTime.Tzdb.Provider

Definitions

record TimeZoneProviderRep : Type

  Platform-specific time-zone discovery behind one shared contract.

Totality: total
Visibility: export
Constructor: 

MkTimeZoneProvider : IO (Either TzdbError TimeZone) -> (String -> IO (Either TzdbError TimeZone)) -> IO (Either TzdbError TimeZone) -> IO (Either TzdbError (List String)) -> IO (Either TzdbError TzdbMetadata) -> TimeZoneProviderRep

Projections:

.providerAvailableZones : TimeZoneProviderRep -> IO (Either TzdbError (List String))

.providerLocalZone : TimeZoneProviderRep -> IO (Either TzdbError TimeZone)

.providerMetadata : TimeZoneProviderRep -> IO (Either TzdbError TzdbMetadata)

.providerTimeZone : TimeZoneProviderRep -> String -> IO (Either TzdbError TimeZone)

.providerUtc : TimeZoneProviderRep -> IO (Either TzdbError TimeZone)

timeZoneProvider : IO (Either TzdbError TimeZone) -> (String -> IO (Either TzdbError TimeZone)) -> IO (Either TzdbError TimeZone) -> IO (Either TzdbError (List String)) -> IO (Either TzdbError TzdbMetadata) -> TimeZoneProviderRep

Totality: total
Visibility: export

runProviderUtc : TimeZoneProviderRep -> IO (Either TzdbError TimeZone)

Totality: total
Visibility: export

runProviderTimeZone : TimeZoneProviderRep -> String -> IO (Either TzdbError TimeZone)

Totality: total
Visibility: export

runProviderLocalZone : TimeZoneProviderRep -> IO (Either TzdbError TimeZone)

Totality: total
Visibility: export

runProviderAvailableZones : TimeZoneProviderRep -> IO (Either TzdbError (List String))

Totality: total
Visibility: export

runProviderMetadata : TimeZoneProviderRep -> IO (Either TzdbError TzdbMetadata)

Totality: total
Visibility: export

record TimeZoneCachePolicyRep : Type

  Selects which successful provider queries are retained in memory.
  Failures are always retried. Local-zone caching is independent because the
  host's local-zone configuration may change while a process is running.

Totality: total
Visibility: export
Constructor: 

MkTimeZoneCachePolicy : Bool -> Bool -> Bool -> Bool -> TimeZoneCachePolicyRep

Projections:

.cacheAvailableZones : TimeZoneCachePolicyRep -> Bool

.cacheLocalZone : TimeZoneCachePolicyRep -> Bool

.cacheMetadata : TimeZoneCachePolicyRep -> Bool

.cacheNamedZones : TimeZoneCachePolicyRep -> Bool

timeZoneCachePolicy : Bool -> Bool -> Bool -> Bool -> TimeZoneCachePolicyRep

Totality: total
Visibility: export

defaultTimeZoneCachePolicy : TimeZoneCachePolicyRep

  Cache named zones, discovery, and metadata while continuing to observe
  changes to the host's local-zone configuration.

Totality: total
Visibility: export

cachedTimeZoneProvider : TimeZoneCachePolicyRep -> TimeZoneProviderRep -> IO TimeZoneProviderRep

  Wrap a provider in caller-owned, opt-in successful-result caches.
  Construct a new wrapper to refresh all cached values.

Totality: total
Visibility: export