Spec-Zone.ru › Haskell 7

Data.Time.LocalTime

Safe Haskell Safe
Language Haskell2010

Содержание

  • Часовые пояса
  • Время суток
  • Местное время

Часовые пояса

data TimeZone Source

Часовой пояс — это целое число минут смещения от UTC, вместе с именем и флагом «только для лета».

Конструкторы

TimeZone

Поля

timeZoneMinutes :: Int

Количество минут смещения от UTC. Положительное значение означает, что местное время будет позже, чем UTC.

timeZoneSummerOnly :: Bool

Действует ли этот часовой пояс только летом?

timeZoneName :: String

Название часового пояса, обычно трех- или четырехбуквенная аббревиатура.

Экземпляры

Eq TimeZone
Data TimeZone
Ord TimeZone
Show TimeZone
NFData TimeZone
ParseTime TimeZone
FormatTime TimeZone

timeZoneOffsetString :: TimeZone -> String Source

Текст, представляющий смещение этого часового пояса, например, "-0800" или "+0400" (как %z в formatTime)

timeZoneOffsetString' :: NumericPadOption -> TimeZone -> String Source

Текст, представляющий смещение этого часового пояса, например, "-0800" или "+0400" (как %z в formatTime), с произвольным заполнением

minutesToTimeZone :: Int -> TimeZone Source

Создать безымянный часовой пояс без летнего времени для этого количества минут

hoursToTimeZone :: Int -> TimeZone Source

Создать безымянный часовой пояс без летнего времени для этого количества часов

utc :: TimeZone Source

Часовой пояс UTC

getTimeZone :: UTCTime -> IO TimeZone Source

Получить местный часовой пояс для заданного времени (изменяется в соответствии с корректировками летнего времени)

getCurrentTimeZone :: IO TimeZone Source

Получить текущий часовой пояс

Время суток

data TimeOfDay Source

Время суток, представленное в часах, минутах и секундах (с пикосекундами), обычно используется для выражения местного времени суток.

Конструкторы

TimeOfDay

Поля

todHour :: Int

диапазон 0 - 23

todMin :: Int

диапазон 0 - 59

todSec :: Pico

Обратите внимание, что 0 <= todSec < 61, учитывая високосные секунды. Любая местная минута может иметь високосную секунду, поскольку високосные секунды происходят во всех зонах одновременно

Экземпляры

Eq TimeOfDay
Data TimeOfDay
Ord TimeOfDay
Show TimeOfDay
NFData TimeOfDay
ParseTime TimeOfDay
FormatTime TimeOfDay

midnight :: TimeOfDay Source

Нулевой час

midday :: TimeOfDay Source

Двенадцатый час

makeTimeOfDayValid :: Int -> Int -> Pico -> Maybe TimeOfDay Source

utcToLocalTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay) Source

Преобразовать ToD в UTC в ToD в каком-либо часовом поясе, вместе с корректировкой дня.

localToUTCTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay) Source

Преобразовать ToD в каком-либо часовом поясе в ToD в UTC, вместе с корректировкой дня.

timeToTimeOfDay :: DiffTime -> TimeOfDay Source

Получить TimeOfDay, учитывая время с полуночи. Время более 24 часов будет преобразовано в високосные секунды.

timeOfDayToTime :: TimeOfDay -> DiffTime Source

Определите, сколько времени прошло с полуночи для данного TimeOfDay.

dayFractionToTimeOfDay :: Rational -> TimeOfDay Source

Получите TimeOfDay, зная долю дня, прошедшего с полуночи.

timeOfDayToDayFraction :: TimeOfDay -> Rational Source

Получите долю дня, прошедшего с полуночи, для данного TimeOfDay.

Местное время

data LocalTime Source

Простой агрегат дня и времени, где день — заданный параметр, а время — TimeOfDay. Преобразование этого (как местного гражданского времени) в UTC зависит от часового пояса. Преобразование этого (как местного среднего времени) в UT1 зависит от долготы.

Конструкторы

LocalTime

Поля

localDay :: Day
localTimeOfDay :: TimeOfDay

Примеры реализации

Eq LocalTime
Data LocalTime
Ord LocalTime
Show LocalTime
NFData LocalTime
ParseTime LocalTime
FormatTime LocalTime

utcToLocalTime :: TimeZone -> UTCTime -> LocalTime Source

Отобразить время UTC в заданном часовом поясе как LocalTime.

localTimeToUTC :: TimeZone -> LocalTime -> UTCTime Source

Выяснить, какое время UTC соответствует заданному LocalTime в заданном часовом поясе.

ut1ToLocalTime :: Rational -> UniversalTime -> LocalTime Source

Первый аргумент — меридиан наблюдения в градусах, положительное значение — восток.

localTimeToUT1 :: Rational -> LocalTime -> UniversalTime Source

Первый аргумент — меридиан наблюдения в градусах, положительное значение — восток.

data ZonedTime Source

Местное время вместе с часовым поясом.

Конструкторы

ZonedTime

Поля

zonedTimeToLocalTime :: LocalTime
zonedTimeZone :: TimeZone

Примеры реализации

Data ZonedTime
Show ZonedTime
NFData ZonedTime
ParseTime ZonedTime
FormatTime ZonedTime

utcToZonedTime :: TimeZone -> UTCTime -> ZonedTime Source

zonedTimeToUTC :: ZonedTime -> UTCTime Source

getZonedTime :: IO ZonedTime Source

utcToLocalZonedTime :: UTCTime -> IO ZonedTime Source

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/time-1.5.0.1/Data-Time-LocalTime.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API