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
 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 {}
 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 :: (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 #  
Show TimeZone Source #  
NFData TimeZone Source #  
Defined in Data.Time.LocalTime.Internal.TimeZone  
ParseTime TimeZone Source #  
Defined in Data.Time.Format.Parse  
FormatTime TimeZone Source #  
Defined in Data.Time.Format formatCharacter :: Char > Maybe (TimeLocale > Maybe NumericPadOption > Maybe Int > TimeZone > String) Source # 
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.
Instances
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.
timeOfDayToTime :: TimeOfDay > DiffTime Source #
Get the time since midnight for a given time of day.
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.
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
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.
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 :: (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 #  
Show ZonedTime Source #  
NFData ZonedTime Source #  
Defined in Data.Time.LocalTime.Internal.ZonedTime  
ParseTime ZonedTime Source #  
Defined in Data.Time.Format.Parse  
FormatTime ZonedTime Source #  
Defined in Data.Time.Format formatCharacter :: Char > Maybe (TimeLocale > Maybe NumericPadOption > Maybe Int > ZonedTime > String) Source # 
zonedTimeToUTC :: ZonedTime > UTCTime Source #