Data.Time.LocalTime
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Contents
Time zones
A TimeZone is a whole number of minutes offset from UTC, together with a name and a "just for summer" flag.
Constructors
TimeZone | |
Fields
|
Instances
Eq TimeZone | |
Data TimeZone | |
Defined in Data.Time.LocalTime.Internal.TimeZone Methodsgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TimeZone -> c TimeZone Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TimeZone Source toConstr :: TimeZone -> Constr Source dataTypeOf :: TimeZone -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TimeZone) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TimeZone) Source gmapT :: (forall b. Data b => b -> b) -> TimeZone -> TimeZone Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TimeZone -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TimeZone -> r Source gmapQ :: (forall d. Data d => d -> u) -> TimeZone -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> TimeZone -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> TimeZone -> m TimeZone Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TimeZone -> m TimeZone Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TimeZone -> m TimeZone Source | |
Ord TimeZone | |
Defined in Data.Time.LocalTime.Internal.TimeZone | |
Read TimeZone | This only works for |
Show TimeZone | This only shows the time zone name, or offset if the name is empty. |
NFData TimeZone | |
Defined in Data.Time.LocalTime.Internal.TimeZone | |
ParseTime TimeZone | |
Defined in Data.Time.Format.Parse.Instances MethodssubstituteTimeSpecifier :: proxy TimeZone -> TimeLocale -> Char -> Maybe String Source parseTimeSpecifier :: proxy TimeZone -> TimeLocale -> Maybe ParseNumericPadding -> Char -> ReadP String Source buildTime :: TimeLocale -> [(Char, String)] -> Maybe TimeZone Source | |
FormatTime TimeZone | |
Defined in Data.Time.Format.Format.Instances | |
ISO8601 TimeZone |
|
Defined in Data.Time.Format.ISO8601 Methods |
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 non-summer timezone for this number of minutes.
hoursToTimeZone :: Int -> TimeZone Source
Create a nameless non-summer timezone for this number of hours.
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
Time of day as represented in hour, minute and second (with picoseconds), typically used to express local time of day.
Constructors
TimeOfDay | |
Instances
Hour zero
Hour twelve
makeTimeOfDayValid :: Int -> Int -> Pico -> Maybe TimeOfDay Source
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 leap-seconds.
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.
Calendar Duration
data CalendarDiffTime Source
Constructors
CalendarDiffTime | |
Fields
|
Instances
calendarTimeDays :: CalendarDiffDays -> CalendarDiffTime Source
calendarTimeTime :: NominalDiffTime -> CalendarDiffTime Source
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.
Constructors
LocalTime | |
Fields
|
Instances
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
.
Constructors
ZonedTime | |
Fields |
Instances
Data ZonedTime | |
Defined in Data.Time.LocalTime.Internal.ZonedTime Methodsgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ZonedTime -> c ZonedTime Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ZonedTime Source toConstr :: ZonedTime -> Constr Source dataTypeOf :: ZonedTime -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ZonedTime) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ZonedTime) Source gmapT :: (forall b. Data b => b -> b) -> ZonedTime -> ZonedTime Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ZonedTime -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ZonedTime -> r Source gmapQ :: (forall d. Data d => d -> u) -> ZonedTime -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> ZonedTime -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime Source | |
Read ZonedTime | This only works for a |
Show ZonedTime | |
NFData ZonedTime | |
Defined in Data.Time.LocalTime.Internal.ZonedTime | |
ParseTime ZonedTime | |
Defined in Data.Time.Format.Parse.Instances MethodssubstituteTimeSpecifier :: proxy ZonedTime -> TimeLocale -> Char -> Maybe String Source parseTimeSpecifier :: proxy ZonedTime -> TimeLocale -> Maybe ParseNumericPadding -> Char -> ReadP String Source buildTime :: TimeLocale -> [(Char, String)] -> Maybe ZonedTime Source | |
FormatTime ZonedTime | |
Defined in Data.Time.Format.Format.Instances | |
ISO8601 ZonedTime |
|
Defined in Data.Time.Format.ISO8601 Methods |
utcToZonedTime :: TimeZone -> UTCTime -> ZonedTime Source
zonedTimeToUTC :: ZonedTime -> UTCTime Source
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/time-1.9.3/Data-Time-LocalTime.html