Safe Haskell  Trustworthy 

Language  Haskell2010 
Synopsis
 data TimeZone = TimeZone {}
 timeZoneOffsetString :: TimeZone > String
 timeZoneOffsetString' :: Maybe Char > TimeZone > String
 minutesToTimeZone :: Int > TimeZone
 hoursToTimeZone :: Int > TimeZone
 utc :: TimeZone
 getTimeZone :: UTCTime > IO TimeZone
 getCurrentTimeZone :: IO TimeZone
 data TimeOfDay = TimeOfDay {}
 midnight :: TimeOfDay
 midday :: TimeOfDay
 makeTimeOfDayValid :: Int > Int > Pico > Maybe TimeOfDay
 timeToDaysAndTimeOfDay :: NominalDiffTime > (Integer, TimeOfDay)
 daysAndTimeOfDayToTime :: Integer > TimeOfDay > NominalDiffTime
 utcToLocalTimeOfDay :: TimeZone > TimeOfDay > (Integer, TimeOfDay)
 localToUTCTimeOfDay :: TimeZone > TimeOfDay > (Integer, TimeOfDay)
 timeToTimeOfDay :: DiffTime > TimeOfDay
 timeOfDayToTime :: TimeOfDay > DiffTime
 dayFractionToTimeOfDay :: Rational > TimeOfDay
 timeOfDayToDayFraction :: TimeOfDay > Rational
 data CalendarDiffTime = CalendarDiffTime {}
 calendarTimeDays :: CalendarDiffDays > CalendarDiffTime
 calendarTimeTime :: NominalDiffTime > CalendarDiffTime
 scaleCalendarDiffTime :: Integer > CalendarDiffTime > CalendarDiffTime
 data LocalTime = LocalTime {}
 addLocalTime :: NominalDiffTime > LocalTime > LocalTime
 diffLocalTime :: LocalTime > LocalTime > NominalDiffTime
 utcToLocalTime :: TimeZone > UTCTime > LocalTime
 localTimeToUTC :: TimeZone > LocalTime > UTCTime
 ut1ToLocalTime :: Rational > UniversalTime > LocalTime
 localTimeToUT1 :: Rational > LocalTime > UniversalTime
 data ZonedTime = ZonedTime {}
 utcToZonedTime :: TimeZone > UTCTime > ZonedTime
 zonedTimeToUTC :: ZonedTime > UTCTime
 getZonedTime :: IO ZonedTime
 utcToLocalZonedTime :: UTCTime > IO ZonedTime
Time zones
A TimeZone is a whole number of minutes offset from UTC, together with a name and a "just for summer" flag.
TimeZone  

Instances
Eq TimeZone  
Data TimeZone  
Defined in Data.Time.LocalTime.Internal.TimeZone gfoldl :: (forall d b. Data d => c (d > b) > d > c b) > (forall g. g > c g) > TimeZone > c TimeZone # gunfold :: (forall b r. Data b => c (b > r) > c r) > (forall r. r > c r) > Constr > c TimeZone # toConstr :: TimeZone > Constr # dataTypeOf :: TimeZone > DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) > Maybe (c TimeZone) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) > Maybe (c TimeZone) # gmapT :: (forall b. Data b => b > b) > TimeZone > TimeZone # gmapQl :: (r > r' > r) > r > (forall d. Data d => d > r') > TimeZone > r # gmapQr :: (r' > r > r) > r > (forall d. Data d => d > r') > TimeZone > r # gmapQ :: (forall d. Data d => d > u) > TimeZone > [u] # gmapQi :: Int > (forall d. Data d => d > u) > TimeZone > u # gmapM :: Monad m => (forall d. Data d => d > m d) > TimeZone > m TimeZone # gmapMp :: MonadPlus m => (forall d. Data d => d > m d) > TimeZone > m TimeZone # gmapMo :: MonadPlus m => (forall d. Data d => d > m d) > TimeZone > m TimeZone #  
Ord TimeZone  
Defined in Data.Time.LocalTime.Internal.TimeZone  
Show TimeZone  
NFData TimeZone  
Defined in Data.Time.LocalTime.Internal.TimeZone  
FormatTime TimeZone  
Defined in Data.Time.Format formatCharacter :: Char > Maybe (TimeLocale > Maybe NumericPadOption > Maybe Int > TimeZone > String) #  
ParseTime TimeZone  
Defined in Data.Time.Format.Parse  
ISO8601 TimeZone Source # 

Defined in Data.Time.Format.ISO8601.Compat 
timeZoneOffsetString :: TimeZone > String #
Text representing the offset of this timezone, such as "0800" or "+0400" (like %z
in formatTime).
timeZoneOffsetString' :: Maybe Char > TimeZone > String #
Text representing the offset of this timezone, such as "0800" or "+0400" (like %z
in formatTime), with arbitrary padding.
minutesToTimeZone :: Int > TimeZone #
Create a nameless nonsummer timezone for this number of minutes.
hoursToTimeZone :: Int > TimeZone #
Create a nameless nonsummer timezone for this number of hours.
getTimeZone :: UTCTime > IO TimeZone #
Get the local timezone for a given time (varying as per summertime adjustments).
getCurrentTimeZone :: IO TimeZone #
Get the current timezone.
Time of day
Time of day as represented in hour, minute and second (with picoseconds), typically used to express local time of day.
Instances
Eq TimeOfDay  
Data TimeOfDay  
Defined in Data.Time.LocalTime.Internal.TimeOfDay gfoldl :: (forall d b. Data d => c (d > b) > d > c b) > (forall g. g > c g) > TimeOfDay > c TimeOfDay # gunfold :: (forall b r. Data b => c (b > r) > c r) > (forall r. r > c r) > Constr > c TimeOfDay # toConstr :: TimeOfDay > Constr # dataTypeOf :: TimeOfDay > DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) > Maybe (c TimeOfDay) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) > Maybe (c TimeOfDay) # gmapT :: (forall b. Data b => b > b) > TimeOfDay > TimeOfDay # gmapQl :: (r > r' > r) > r > (forall d. Data d => d > r') > TimeOfDay > r # gmapQr :: (r' > r > r) > r > (forall d. Data d => d > r') > TimeOfDay > r # gmapQ :: (forall d. Data d => d > u) > TimeOfDay > [u] # gmapQi :: Int > (forall d. Data d => d > u) > TimeOfDay > u # gmapM :: Monad m => (forall d. Data d => d > m d) > TimeOfDay > m TimeOfDay # gmapMp :: MonadPlus m => (forall d. Data d => d > m d) > TimeOfDay > m TimeOfDay # gmapMo :: MonadPlus m => (forall d. Data d => d > m d) > TimeOfDay > m TimeOfDay #  
Ord TimeOfDay  
Defined in Data.Time.LocalTime.Internal.TimeOfDay  
Show TimeOfDay  
NFData TimeOfDay  
Defined in Data.Time.LocalTime.Internal.TimeOfDay  
FormatTime TimeOfDay  
Defined in Data.Time.Format formatCharacter :: Char > Maybe (TimeLocale > Maybe NumericPadOption > Maybe Int > TimeOfDay > String) #  
ParseTime TimeOfDay  
Defined in Data.Time.Format.Parse  
ISO8601 TimeOfDay Source # 

Defined in Data.Time.Format.ISO8601.Compat 
timeToDaysAndTimeOfDay :: NominalDiffTime > (Integer, TimeOfDay) Source #
Convert a period of time into a count of days and a time of day since midnight. The time of day will never have a leap second.
daysAndTimeOfDayToTime :: Integer > TimeOfDay > NominalDiffTime Source #
Convert a count of days and a time of day since midnight into a period of time.
utcToLocalTimeOfDay :: TimeZone > TimeOfDay > (Integer, TimeOfDay) #
Convert a time of day in UTC to a time of day in some timezone, together with a day adjustment.
localToUTCTimeOfDay :: TimeZone > TimeOfDay > (Integer, TimeOfDay) #
Convert a time of day in some timezone to a time of day in UTC, together with a day adjustment.
timeToTimeOfDay :: DiffTime > TimeOfDay #
Get the time of day given a time since midnight. Time more than 24h will be converted to leapseconds.
timeOfDayToTime :: TimeOfDay > DiffTime #
Get the time since midnight for a given time of day.
dayFractionToTimeOfDay :: Rational > TimeOfDay #
Get the time of day given the fraction of a day since midnight.
timeOfDayToDayFraction :: TimeOfDay > Rational #
Get the fraction of a day since midnight given a time of day.
CalendarDiffTime
data CalendarDiffTime Source #
Instances
scaleCalendarDiffTime :: Integer > CalendarDiffTime > CalendarDiffTime Source #
Scale by a factor. Note that scaleCalendarDiffTime (1)
will not perfectly invert a duration, due to variable month lengths.
Local Time
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.
Instances
Eq LocalTime  
Data LocalTime  
Defined in Data.Time.LocalTime.Internal.LocalTime gfoldl :: (forall d b. Data d => c (d > b) > d > c b) > (forall g. g > c g) > LocalTime > c LocalTime # gunfold :: (forall b r. Data b => c (b > r) > c r) > (forall r. r > c r) > Constr > c LocalTime # toConstr :: LocalTime > Constr # dataTypeOf :: LocalTime > DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) > Maybe (c LocalTime) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) > Maybe (c LocalTime) # gmapT :: (forall b. Data b => b > b) > LocalTime > LocalTime # gmapQl :: (r > r' > r) > r > (forall d. Data d => d > r') > LocalTime > r # gmapQr :: (r' > r > r) > r > (forall d. Data d => d > r') > LocalTime > r # gmapQ :: (forall d. Data d => d > u) > LocalTime > [u] # gmapQi :: Int > (forall d. Data d => d > u) > LocalTime > u # gmapM :: Monad m => (forall d. Data d => d > m d) > LocalTime > m LocalTime # gmapMp :: MonadPlus m => (forall d. Data d => d > m d) > LocalTime > m LocalTime # gmapMo :: MonadPlus m => (forall d. Data d => d > m d) > LocalTime > m LocalTime #  
Ord LocalTime  
Defined in Data.Time.LocalTime.Internal.LocalTime  
Show LocalTime  
NFData LocalTime  
Defined in Data.Time.LocalTime.Internal.LocalTime  
FormatTime LocalTime  
Defined in Data.Time.Format formatCharacter :: Char > Maybe (TimeLocale > Maybe NumericPadOption > Maybe Int > LocalTime > String) #  
ParseTime LocalTime  
Defined in Data.Time.Format.Parse  
ISO8601 LocalTime Source # 

Defined in Data.Time.Format.ISO8601.Compat 
addLocalTime :: NominalDiffTime > LocalTime > LocalTime Source #
addLocalTime a b = a + b
diffLocalTime :: LocalTime > LocalTime > NominalDiffTime Source #
diffLocalTime a b = a  b
utcToLocalTime :: TimeZone > UTCTime > LocalTime #
Get the local time of a UTC time in a time zone.
localTimeToUTC :: TimeZone > LocalTime > UTCTime #
Get the UTC time of a local time in a time zone.
ut1ToLocalTime :: Rational > UniversalTime > LocalTime #
Get the local time of a UT1 time on a particular meridian (in degrees, positive is East).
localTimeToUT1 :: Rational > LocalTime > UniversalTime #
Get the UT1 time of a local time on a particular meridian (in degrees, positive is East).
Zoned Time
A local time together with a time zone.
Instances
Data ZonedTime  
Defined in Data.Time.LocalTime.Internal.ZonedTime gfoldl :: (forall d b. Data d => c (d > b) > d > c b) > (forall g. g > c g) > ZonedTime > c ZonedTime # gunfold :: (forall b r. Data b => c (b > r) > c r) > (forall r. r > c r) > Constr > c ZonedTime # toConstr :: ZonedTime > Constr # dataTypeOf :: ZonedTime > DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) > Maybe (c ZonedTime) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) > Maybe (c ZonedTime) # gmapT :: (forall b. Data b => b > b) > ZonedTime > ZonedTime # gmapQl :: (r > r' > r) > r > (forall d. Data d => d > r') > ZonedTime > r # gmapQr :: (r' > r > r) > r > (forall d. Data d => d > r') > ZonedTime > r # gmapQ :: (forall d. Data d => d > u) > ZonedTime > [u] # gmapQi :: Int > (forall d. Data d => d > u) > ZonedTime > u # gmapM :: Monad m => (forall d. Data d => d > m d) > ZonedTime > m ZonedTime # gmapMp :: MonadPlus m => (forall d. Data d => d > m d) > ZonedTime > m ZonedTime # gmapMo :: MonadPlus m => (forall d. Data d => d > m d) > ZonedTime > m ZonedTime #  
Show ZonedTime  
NFData ZonedTime  
Defined in Data.Time.LocalTime.Internal.ZonedTime  
FormatTime ZonedTime  
Defined in Data.Time.Format formatCharacter :: Char > Maybe (TimeLocale > Maybe NumericPadOption > Maybe Int > ZonedTime > String) #  
ParseTime ZonedTime  
Defined in Data.Time.Format.Parse  
ISO8601 ZonedTime Source # 

Defined in Data.Time.Format.ISO8601.Compat 
utcToZonedTime :: TimeZone > UTCTime > ZonedTime #
zonedTimeToUTC :: ZonedTime > UTCTime #
getZonedTime :: IO ZonedTime #
utcToLocalZonedTime :: UTCTime > IO ZonedTime #