|
|
|
|
|
|
| Synopsis |
|
|
|
|
| Time zones
|
|
| data TimeZone |
| A TimeZone is a whole number of minutes offset from UTC, together with a name and a "just for summer" flag.
| | Constructors | | TimeZone | | | timeZoneMinutes :: Int | The number of minutes offset from UTC. Positive means local time will be later in the day than UTC.
| | timeZoneSummerOnly :: Bool | Is this time zone just persisting for the summer?
| | timeZoneName :: String | The name of the zone, typically a three- or four-letter acronym.
|
|
| Instances | |
|
|
| timeZoneOffsetString :: TimeZone -> String |
| Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime)
|
|
| minutesToTimeZone :: Int -> TimeZone |
| Create a nameless non-summer timezone for this number of minutes
|
|
| hoursToTimeZone :: Int -> TimeZone |
| Create a nameless non-summer timezone for this number of hours
|
|
| utc :: TimeZone |
| The UTC time zone
|
|
| getTimeZone :: UTCTime -> IO TimeZone |
| Get the local time-zone for a given time (varying as per summertime adjustments)
|
|
| getCurrentTimeZone :: IO TimeZone |
| Get the current time-zone
|
|
| Time of day
|
|
| data TimeOfDay |
| Time of day as represented in hour, minute and second (with picoseconds), typically used to express local time of day.
| | Constructors | | TimeOfDay | | | todHour :: Int | range 0 - 23
| | todMin :: Int | range 0 - 59
| | todSec :: Pico | Note that 0 <= todSec < 61, accomodating leap seconds.
Any local minute may have a leap second, since leap seconds happen in all zones simultaneously
|
|
| Instances | |
|
|
| midnight :: TimeOfDay |
| Hour zero
|
|
| midday :: TimeOfDay |
| Hour twelve
|
|
| utcToLocalTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay) |
| Convert a ToD in UTC to a ToD in some timezone, together with a day adjustment.
|
|
| localToUTCTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay) |
| Convert a ToD in some timezone to a ToD in UTC, together with a day adjustment.
|
|
| timeToTimeOfDay :: DiffTime -> TimeOfDay |
| Get a TimeOfDay given a time since midnight.
Time more than 24h will be converted to leap-seconds.
|
|
| timeOfDayToTime :: TimeOfDay -> DiffTime |
| Find out how much time since midnight a given TimeOfDay is.
|
|
| dayFractionToTimeOfDay :: Rational -> TimeOfDay |
| Get a TimeOfDay given the fraction of a day since midnight.
|
|
| timeOfDayToDayFraction :: TimeOfDay -> Rational |
| Get the fraction of a day since midnight given a TimeOfDay.
|
|
| Local Time
|
|
| data LocalTime |
| A simple day and time aggregate, where the day is of the specified parameter,
and the time is a TimeOfDay.
Conversion of this (as local civil time) to UTC depends on the time zone.
Conversion of this (as local mean time) to UT1 depends on the longitude.
| | Constructors | | Instances | |
|
|
| utcToLocalTime :: TimeZone -> UTCTime -> LocalTime |
| show a UTC time in a given time zone as a LocalTime
|
|
| localTimeToUTC :: TimeZone -> LocalTime -> UTCTime |
| find out what UTC time a given LocalTime in a given time zone is
|
|
| ut1ToLocalTime :: Rational -> UniversalTime -> LocalTime |
| 1st arg is observation meridian in degrees, positive is East
|
|
| localTimeToUT1 :: Rational -> LocalTime -> UniversalTime |
| 1st arg is observation meridian in degrees, positive is East
|
|
| data ZonedTime |
| A local time together with a TimeZone.
| | Constructors | | Instances | |
|
|
| utcToZonedTime :: TimeZone -> UTCTime -> ZonedTime |
|
| zonedTimeToUTC :: ZonedTime -> UTCTime |
|
| getZonedTime :: IO ZonedTime |
|
| utcToLocalZonedTime :: UTCTime -> IO ZonedTime |
|
| Produced by Haddock version 0.8 |