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