| Safe Haskell | None |
|---|
Data.Thyme.LocalTime
Contents
- data TimeZone = TimeZone {}
- timeZoneOffsetString :: TimeZone -> String
- timeZoneOffsetString' :: NumericPadOption -> TimeZone -> String
- minutesToTimeZone :: Int -> TimeZone
- hoursToTimeZone :: Int -> TimeZone
- utc :: TimeZone
- getCurrentTimeZone :: IO TimeZone
- getTimeZone :: UTCTime -> IO TimeZone
- type Hour = Int
- type Minute = Int
- data TimeOfDay = TimeOfDay {}
- midnight :: TimeOfDay
- midday :: TimeOfDay
- makeTimeOfDayValid :: Hour -> Minute -> DiffTime -> Maybe TimeOfDay
- timeOfDay :: Iso' DiffTime TimeOfDay
- type Minutes = Int
- addMinutes :: Minutes -> TimeOfDay -> (Days, TimeOfDay)
- dayFraction :: Iso' TimeOfDay Rational
- data LocalTime = LocalTime {
- localDay :: !Day
- localTimeOfDay :: !TimeOfDay
- utcLocalTime :: TimeZone -> Iso' UTCTime LocalTime
- ut1LocalTime :: Rational -> Iso' UniversalTime LocalTime
- data ZonedTime = ZonedTime {}
- zonedTime :: Iso' (TimeZone, UTCTime) ZonedTime
- getZonedTime :: IO ZonedTime
- utcToLocalZonedTime :: UTCTime -> IO ZonedTime
- _timeZoneSummerOnly :: Lens' TimeZone Bool
- _timeZoneName :: Lens' TimeZone String
- _timeZoneMinutes :: Lens' TimeZone Int
- _todSec :: Lens' TimeOfDay DiffTime
- _todMin :: Lens' TimeOfDay Minute
- _todHour :: Lens' TimeOfDay Hour
- _localTimeOfDay :: Lens' LocalTime TimeOfDay
- _localDay :: Lens' LocalTime Day
- _zonedTimeZone :: Lens' ZonedTime TimeZone
- _zonedTimeToLocalTime :: Lens' ZonedTime LocalTime
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 | |
Fields
| |
timeZoneOffsetString :: TimeZone -> String
Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime)
timeZoneOffsetString' :: NumericPadOption -> 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 non-summer timezone for this number of minutes
hoursToTimeZone :: Int -> TimeZone
Create a nameless non-summer timezone for this number of hours
getCurrentTimeZone :: IO TimeZone
Get the current time-zone
getTimeZone :: UTCTime -> IO TimeZoneSource
Time of day
addMinutes :: Minutes -> TimeOfDay -> (Days, TimeOfDay)Source
Add some minutes to a TimeOfDay; result comes with a day adjustment.
Local Time
Constructors
| LocalTime | |
Fields
| |
Zoned Time
Constructors
| ZonedTime | |
Fields | |