Safe Haskell  Safe 

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
 pastMidnight :: DiffTime > TimeOfDay
 timeOfDayToTime :: TimeOfDay > DiffTime
 sinceMidnight :: 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 Source #  
Data TimeZone Source #  
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 :: forall r r'. (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 Source #  
Defined in Data.Time.LocalTime.Internal.TimeZone  
Read TimeZone Source #  This only works for 
Show TimeZone Source #  This only shows the time zone name, or offset if the name is empty. 
NFData TimeZone Source #  
Defined in Data.Time.LocalTime.Internal.TimeZone  
ParseTime TimeZone Source #  
Defined in Data.Time.Format.Parse.Instances  
FormatTime TimeZone Source #  
Defined in Data.Time.Format.Format.Instances  
ISO8601 TimeZone Source # 

Defined in Data.Time.Format.ISO8601 
timeZoneOffsetString :: TimeZone > String Source #
Text representing the offset of this timezone, such as "0800" or "+0400" (like %z
in formatTime).
timeZoneOffsetString' :: Maybe Char > 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 nonsummer timezone for this number of minutes.
hoursToTimeZone :: Int > TimeZone Source #
Create a nameless nonsummer timezone for this number of hours.
getTimeZone :: UTCTime > IO TimeZone Source #
Get the local timezone for a given time (varying as per summertime adjustments).
getCurrentTimeZone :: IO TimeZone Source #
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.
TimeOfDay 24 0 0
is considered invalid for the purposes of makeTimeOfDayValid
, as well as reading and parsing,
but valid for ISO 8601 parsing in Data.Time.Format.ISO8601.
Instances
Eq TimeOfDay Source #  
Data TimeOfDay Source #  
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 :: forall r r'. (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 Source #  
Defined in Data.Time.LocalTime.Internal.TimeOfDay  
Read TimeOfDay Source #  
Show TimeOfDay Source #  
NFData TimeOfDay Source #  
Defined in Data.Time.LocalTime.Internal.TimeOfDay  
ParseTime TimeOfDay Source #  
Defined in Data.Time.Format.Parse.Instances  
FormatTime TimeOfDay Source #  
Defined in Data.Time.Format.Format.Instances  
ISO8601 TimeOfDay Source # 

Defined in Data.Time.Format.ISO8601 
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) Source #
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) Source #
Convert a time of day in some timezone to a time of day in UTC, together with a day adjustment.
timeToTimeOfDay :: DiffTime > TimeOfDay Source #
Get the time of day given a time since midnight. Time more than 24h will be converted to leapseconds.
pastMidnight :: DiffTime > TimeOfDay Source #
Same as timeToTimeOfDay
.
timeOfDayToTime :: TimeOfDay > DiffTime Source #
Get the time since midnight for a given time of day.
sinceMidnight :: TimeOfDay > DiffTime Source #
Same as timeOfDayToTime
.
dayFractionToTimeOfDay :: Rational > TimeOfDay Source #
Get the time of day given the fraction of a day since midnight.
timeOfDayToDayFraction :: TimeOfDay > Rational Source #
Get the fraction of a day since midnight given a time of day.
Calendar Duration
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 Source #  
Data LocalTime Source #  
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 :: forall r r'. (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 Source #  
Defined in Data.Time.LocalTime.Internal.LocalTime  
Read LocalTime Source #  
Show LocalTime Source #  
NFData LocalTime Source #  
Defined in Data.Time.LocalTime.Internal.LocalTime  
ParseTime LocalTime Source #  
Defined in Data.Time.Format.Parse.Instances  
FormatTime LocalTime Source #  
Defined in Data.Time.Format.Format.Instances  
ISO8601 LocalTime Source # 

Defined in Data.Time.Format.ISO8601 
addLocalTime :: NominalDiffTime > LocalTime > LocalTime Source #
addLocalTime a b = a + b
diffLocalTime :: LocalTime > LocalTime > NominalDiffTime Source #
diffLocalTime a b = a  b
utcToLocalTime :: TimeZone > UTCTime > LocalTime Source #
Get the local time of a UTC time in a time zone.
localTimeToUTC :: TimeZone > LocalTime > UTCTime Source #
Get the UTC time of a local time in a time zone.
ut1ToLocalTime :: Rational > UniversalTime > LocalTime Source #
Get the local time of a UT1 time on a particular meridian (in degrees, positive is East).
localTimeToUT1 :: Rational > LocalTime > UniversalTime Source #
Get the UT1 time of a local time on a particular meridian (in degrees, positive is East).
A local time together with a time zone.
There is no Eq
instance for ZonedTime
.
If you want to compare local times, use zonedTimeToLocalTime
.
If you want to compare absolute times, use zonedTimeToUTC
.
Instances
Data ZonedTime Source #  
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 :: forall r r'. (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 #  
Read ZonedTime Source #  This only works for a 
Show ZonedTime Source #  
NFData ZonedTime Source #  
Defined in Data.Time.LocalTime.Internal.ZonedTime  
ParseTime ZonedTime Source #  
Defined in Data.Time.Format.Parse.Instances  
FormatTime ZonedTime Source #  
Defined in Data.Time.Format.Format.Instances  
ISO8601 ZonedTime Source # 

Defined in Data.Time.Format.ISO8601 
zonedTimeToUTC :: ZonedTime > UTCTime Source #