time-1.1.2.0: time library Contents Index

Data.Time.LocalTime

Contents Time zones Time of day Local Time

Synopsis

data TimeZone = TimeZone { timeZoneMinutes :: Int timeZoneSummerOnly :: Bool timeZoneName :: String } timeZoneOffsetString :: TimeZone -> String minutesToTimeZone :: Int -> TimeZone hoursToTimeZone :: Int -> TimeZone utc :: TimeZone getTimeZone :: UTCTime -> IO TimeZone getCurrentTimeZone :: IO TimeZone data TimeOfDay = TimeOfDay { todHour :: Int todMin :: Int todSec :: Pico } midnight :: TimeOfDay midday :: TimeOfDay utcToLocalTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay) localToUTCTimeOfDay :: TimeZone -> TimeOfDay -> (Integer, TimeOfDay) timeToTimeOfDay :: DiffTime -> TimeOfDay timeOfDayToTime :: TimeOfDay -> DiffTime dayFractionToTimeOfDay :: Rational -> TimeOfDay timeOfDayToDayFraction :: TimeOfDay -> Rational data LocalTime = LocalTime { localDay :: Day localTimeOfDay :: TimeOfDay } utcToLocalTime :: TimeZone -> UTCTime -> LocalTime localTimeToUTC :: TimeZone -> LocalTime -> UTCTime ut1ToLocalTime :: Rational -> UniversalTime -> LocalTime localTimeToUT1 :: Rational -> LocalTime -> UniversalTime data ZonedTime = ZonedTime { zonedTimeToLocalTime :: LocalTime zonedTimeZone :: TimeZone } utcToZonedTime :: TimeZone -> UTCTime -> ZonedTime zonedTimeToUTC :: ZonedTime -> UTCTime getZonedTime :: IO ZonedTime utcToLocalZonedTime :: UTCTime -> IO ZonedTime

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 Eq TimeZone FormatTime TimeZone Ord TimeZone ParseTime TimeZone Read TimeZone Show TimeZone

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 Eq TimeOfDay FormatTime TimeOfDay Ord TimeOfDay ParseTime TimeOfDay Read TimeOfDay Show TimeOfDay

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 LocalTime localDay :: Day localTimeOfDay :: TimeOfDay Instances Eq LocalTime FormatTime LocalTime Ord LocalTime ParseTime LocalTime Read LocalTime Show LocalTime

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 ZonedTime zonedTimeToLocalTime :: LocalTime zonedTimeZone :: TimeZone Instances FormatTime ZonedTime ParseTime ZonedTime Read ZonedTime Show ZonedTime

utcToZonedTime :: TimeZone -> UTCTime -> ZonedTime

zonedTimeToUTC :: ZonedTime -> UTCTime

getZonedTime :: IO ZonedTime

utcToLocalZonedTime :: UTCTime -> IO ZonedTime

Produced by Haddock version 0.8