Safe Haskell	Safe-Inferred

Data.Time.LocalTime

Contents

Time zones
Time of day
Local Time

Synopsis

Time zones

data TimeZone Source

A TimeZone is a whole number of minutes offset from UTC, together with a name and a "just for summer" flag.

Constructors

TimeZone
Fields 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

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

timeZoneOffsetString :: TimeZone -> String Source

Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime)

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

Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime), with arbitrary padding

minutesToTimeZone :: Int -> TimeZone Source

Create a nameless non-summer timezone for this number of minutes

hoursToTimeZone :: Int -> TimeZone Source

Create a nameless non-summer timezone for this number of hours

utc :: TimeZone Source

The UTC time zone

getTimeZone :: UTCTime -> IO TimeZone Source

Get the local time-zone for a given time (varying as per summertime adjustments)

getCurrentTimeZone :: IO TimeZone Source

Get the current time-zone

Time of day

data TimeOfDay Source

Time of day as represented in hour, minute and second (with picoseconds), typically used to express local time of day.

Constructors

TimeOfDay
Fields 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

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

midnight :: TimeOfDay Source

Hour zero

midday :: TimeOfDay Source

Hour twelve

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

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

Convert a ToD in UTC to a ToD in some timezone, together with a day adjustment.

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

Convert a ToD in some timezone to a ToD in UTC, together with a day adjustment.

timeToTimeOfDay :: DiffTime -> TimeOfDay Source

Get a TimeOfDay given a time since midnight. Time more than 24h will be converted to leap-seconds.

timeOfDayToTime :: TimeOfDay -> DiffTime Source

Find out how much time since midnight a given TimeOfDay is.

dayFractionToTimeOfDay :: Rational -> TimeOfDay Source

Get a TimeOfDay given the fraction of a day since midnight.

timeOfDayToDayFraction :: TimeOfDay -> Rational Source

Get the fraction of a day since midnight given a TimeOfDay.

Local Time

data LocalTime Source

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

LocalTime
Fields localDay :: Day localTimeOfDay :: TimeOfDay

Instances

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

utcToLocalTime :: TimeZone -> UTCTime -> LocalTime Source

show a UTC time in a given time zone as a LocalTime

localTimeToUTC :: TimeZone -> LocalTime -> UTCTime Source

find out what UTC time a given LocalTime in a given time zone is

ut1ToLocalTime :: Rational -> UniversalTime -> LocalTime Source

1st arg is observation meridian in degrees, positive is East

localTimeToUT1 :: Rational -> LocalTime -> UniversalTime Source

1st arg is observation meridian in degrees, positive is East

data ZonedTime Source

A local time together with a TimeZone.

Constructors

ZonedTime
Fields zonedTimeToLocalTime :: LocalTime zonedTimeZone :: TimeZone

Instances

Data ZonedTime
Read ZonedTime
Show ZonedTime
Typeable 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