IotaTime.Pure

(source)

Native-free iotaTime surface for applications that supply their own
time-zone provider and do not require operating-system locale acquisition.

Reexports

import public IotaTime.Duration
import public IotaTime.Instant
import public IotaTime.Interval
import public IotaTime.Offset
import public IotaTime.Period
import public IotaTime.Calendar
import public IotaTime.Calendar.Gregorian
import public IotaTime.Calendar.Iso
import public IotaTime.Calendar.Coptic
import public IotaTime.Calendar.Islamic
import public IotaTime.Calendar.Persian
import public IotaTime.Calendar.Julian
import public IotaTime.Calendar.Hebrew
import public IotaTime.LocalTime
import public IotaTime.CalendarDateTime
import public IotaTime.OffsetDateTime
import public IotaTime.TimeZone.Core
import public IotaTime.TimeZone.Error
import public IotaTime.ZonedDateTime
import public IotaTime.Clock
import public IotaTime.Tzdb.Metadata
import public IotaTime.Pattern
import public IotaTime.Pattern.Scalar
import public IotaTime.Pattern.Calendar
import public IotaTime.Pattern.Duration
import public IotaTime.Pattern.Offset

Definitions

record TimeZoneProviderRep : Type

Totality: total
Visibility: export
Constructor:

MkTimeZoneProviderRep : TimeZoneProviderRep -> TimeZoneProviderRep

Projection:

.providerRepresentation : TimeZoneProviderRep -> TimeZoneProviderRep

TimeZoneProvider : Type

  An opaque caller-supplied source of time zones and associated metadata.

Visibility: public export

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

  Build a provider from its loading operations.

Visibility: public export

record TimeZoneCachePolicyRep : Type

Totality: total
Visibility: export
Constructor:

MkTimeZoneCachePolicyRep : TimeZoneCachePolicyRep -> TimeZoneCachePolicyRep

Projection:

.cachePolicyRepresentation : TimeZoneCachePolicyRep -> TimeZoneCachePolicyRep

TimeZoneCachePolicy : Type

Visibility: public export

timeZoneCachePolicy : Bool -> Bool -> Bool -> Bool -> TimeZoneCachePolicy

Visibility: public export

defaultTimeZoneCachePolicy : TimeZoneCachePolicy

Visibility: public export

cachedTimeZoneProvider : TimeZoneCachePolicy -> TimeZoneProvider -> IO TimeZoneProvider

Visibility: public export

utcWith : TimeZoneProvider -> IO (Either TzdbError TimeZone)

Visibility: public export

timeZoneWith : TimeZoneProvider -> String -> IO (Either TzdbError TimeZone)

Visibility: public export

localZoneWith : TimeZoneProvider -> IO (Either TzdbError TimeZone)

Visibility: public export

availableZonesWith : TimeZoneProvider -> IO (Either TzdbError (List String))

Visibility: public export

metadataWith : TimeZoneProvider -> IO (Either TzdbError TzdbMetadata)

Visibility: public export