Safe Haskell	Safe
Language	Haskell2010

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 timeZoneMinutes ::Int The number of minutes offset from UTC. Positive means local time will be later in the day than UTC. timeZoneSummerOnly ::Bool Is this time zone just persisting for the summer? timeZoneName ::String The name of the zone, typically a three- or four-letter acronym.

Instances

Instances details

Data TimeZoneSource #
Instance details Defined inData.Time.LocalTime.Internal.TimeZone Methods gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->TimeZone -> cTimeZone # gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> cTimeZone # toConstr ::TimeZone ->Constr # dataTypeOf ::TimeZone ->DataType # dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (cTimeZone)# dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (cTimeZone)# 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 -> mTimeZone # gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->TimeZone -> mTimeZone # gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->TimeZone -> mTimeZone #
Generic TimeZoneSource #
Instance details Defined inData.Time.LocalTime.Internal.TimeZone Associated Types typeRep TimeZone ::Type ->Type # Methods from ::TimeZone ->Rep TimeZone x# to ::Rep TimeZone x ->TimeZone #
Read TimeZoneSource #	This only works for`±HHMM` format, single-letter military time-zones, and these time-zones: "UTC", "UT", "GMT", "EST", "EDT", "CST", "CDT", "MST", "MDT", "PST", "PDT", per RFC 822 section 5.
Instance details Defined inData.Time.Format.Parse Methods readsPrec ::Int ->ReadS TimeZone # readList ::ReadS [TimeZone]# readPrec ::ReadPrec TimeZone # readListPrec ::ReadPrec [TimeZone]#
Show TimeZoneSource #	This only shows the time zone name, or offset if the name is empty.
Instance details Defined inData.Time.LocalTime.Internal.TimeZone Methods showsPrec ::Int ->TimeZone ->ShowS # show ::TimeZone ->String # showList :: [TimeZone] ->ShowS #
NFData TimeZoneSource #
Instance details Defined inData.Time.LocalTime.Internal.TimeZone Methods rnf ::TimeZone -> ()#
Eq TimeZoneSource #
Instance details Defined inData.Time.LocalTime.Internal.TimeZone Methods (==) ::TimeZone ->TimeZone ->Bool # (/=) ::TimeZone ->TimeZone ->Bool #
Ord TimeZoneSource #
Instance details Defined inData.Time.LocalTime.Internal.TimeZone Methods compare ::TimeZone ->TimeZone ->Ordering # (<) ::TimeZone ->TimeZone ->Bool # (<=) ::TimeZone ->TimeZone ->Bool # (>) ::TimeZone ->TimeZone ->Bool # (>=) ::TimeZone ->TimeZone ->Bool # max ::TimeZone ->TimeZone ->TimeZone # min ::TimeZone ->TimeZone ->TimeZone #
FormatTime TimeZoneSource #
Instance details Defined inData.Time.Format.Format.Instances Methods formatCharacter ::Bool ->Char ->Maybe (FormatOptions ->TimeZone ->String)Source #
ISO8601 TimeZoneSource #	`±hh:mm` [ISO 8601:2004(E) sec. 4.2.5.1 extended format]
Instance details Defined inData.Time.Format.ISO8601 Methods iso8601Format ::Format TimeZone Source #
ParseTime TimeZoneSource #
Instance details Defined inData.Time.Format.Parse.Instances Methods substituteTimeSpecifier ::Proxy TimeZone ->TimeLocale ->Char ->Maybe String Source # parseTimeSpecifier ::Proxy TimeZone ->TimeLocale ->Maybe ParseNumericPadding ->Char ->ReadP String Source # buildTime ::TimeLocale -> [(Char,String)] ->Maybe TimeZone Source #
typeRep TimeZoneSource #
Instance details Defined inData.Time.LocalTime.Internal.TimeZone typeRep TimeZone =D1 ('MetaData "TimeZone" "Data.Time.LocalTime.Internal.TimeZone" "time-1.14-FUp5siqKs8fGXR1yavxc1V" 'False) (C1 ('MetaCons "TimeZone" 'PrefixI 'True) (S1 ('MetaSel ('Just "timeZoneMinutes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int):: (S1 ('MetaSel ('Just "timeZoneSummerOnly") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)::S1 ('MetaSel ('Just "timeZoneName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

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.

utc ::TimeZone Source #

The UTC time zone.

getTimeZone ::UTCTime ->IO TimeZone Source #

Get the configured time-zone for a given time (varying as per summertime adjustments).

On Unix systems the output of this function depends on:

The value ofTZ environment variable (if set)
The system time zone (usually configured by/etc/localtime symlink)

For details see tzset(3) and localtime(3).

Example:

> let t =UTCTime (fromGregorian 2021 7 1) 0>getTimeZone tCEST>setEnv "TZ" "America/New_York" >>getTimeZone tEDT>setEnv "TZ" "Europe/Berlin" >>getTimeZone tCEST

On Windows systems the output of this function depends on:

The value ofTZ environment variable (if set). Seehere for how Windows interprets this variable.
The system time zone, configured in Settings

getCurrentTimeZone ::IO TimeZone Source #

Get the configured time-zone for the current time.

Time of day

dataTimeOfDay Source #

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 ofmakeTimeOfDayValid, as well as reading and parsing, but valid for ISO 8601 parsing inData.Time.Format.ISO8601.

Constructors

TimeOfDay
Fields todHour ::Int range 0 - 23 todMin ::Int range 0 - 59 todSec ::Pico Note that 0 <=`todSec` < 61, accomodating leap seconds. Any local minute may have a leap second, since leap seconds happen in all zones simultaneously

Instances

Instances details

Data TimeOfDaySource #
Instance details Defined inData.Time.LocalTime.Internal.TimeOfDay Methods gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->TimeOfDay -> cTimeOfDay # gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> cTimeOfDay # toConstr ::TimeOfDay ->Constr # dataTypeOf ::TimeOfDay ->DataType # dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (cTimeOfDay)# dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (cTimeOfDay)# 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 -> mTimeOfDay # gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->TimeOfDay -> mTimeOfDay # gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->TimeOfDay -> mTimeOfDay #
Generic TimeOfDaySource #
Instance details Defined inData.Time.LocalTime.Internal.TimeOfDay Associated Types typeRep TimeOfDay ::Type ->Type # Methods from ::TimeOfDay ->Rep TimeOfDay x# to ::Rep TimeOfDay x ->TimeOfDay #
Read TimeOfDaySource #
Instance details Defined inData.Time.Format.Parse Methods readsPrec ::Int ->ReadS TimeOfDay # readList ::ReadS [TimeOfDay]# readPrec ::ReadPrec TimeOfDay # readListPrec ::ReadPrec [TimeOfDay]#
Show TimeOfDaySource #
Instance details Defined inData.Time.LocalTime.Internal.TimeOfDay Methods showsPrec ::Int ->TimeOfDay ->ShowS # show ::TimeOfDay ->String # showList :: [TimeOfDay] ->ShowS #
NFData TimeOfDaySource #
Instance details Defined inData.Time.LocalTime.Internal.TimeOfDay Methods rnf ::TimeOfDay -> ()#
Eq TimeOfDaySource #
Instance details Defined inData.Time.LocalTime.Internal.TimeOfDay Methods (==) ::TimeOfDay ->TimeOfDay ->Bool # (/=) ::TimeOfDay ->TimeOfDay ->Bool #
Ord TimeOfDaySource #
Instance details Defined inData.Time.LocalTime.Internal.TimeOfDay Methods compare ::TimeOfDay ->TimeOfDay ->Ordering # (<) ::TimeOfDay ->TimeOfDay ->Bool # (<=) ::TimeOfDay ->TimeOfDay ->Bool # (>) ::TimeOfDay ->TimeOfDay ->Bool # (>=) ::TimeOfDay ->TimeOfDay ->Bool # max ::TimeOfDay ->TimeOfDay ->TimeOfDay # min ::TimeOfDay ->TimeOfDay ->TimeOfDay #
FormatTime TimeOfDaySource #
Instance details Defined inData.Time.Format.Format.Instances Methods formatCharacter ::Bool ->Char ->Maybe (FormatOptions ->TimeOfDay ->String)Source #
ISO8601 TimeOfDaySource #	`hh:mm:ss[.ss]` [ISO 8601:2004(E) sec. 4.2.2.2, 4.2.2.4(a) extended format]
Instance details Defined inData.Time.Format.ISO8601 Methods iso8601Format ::Format TimeOfDay Source #
ParseTime TimeOfDaySource #
Instance details Defined inData.Time.Format.Parse.Instances Methods substituteTimeSpecifier ::Proxy TimeOfDay ->TimeLocale ->Char ->Maybe String Source # parseTimeSpecifier ::Proxy TimeOfDay ->TimeLocale ->Maybe ParseNumericPadding ->Char ->ReadP String Source # buildTime ::TimeLocale -> [(Char,String)] ->Maybe TimeOfDay Source #
typeRep TimeOfDaySource #
Instance details Defined inData.Time.LocalTime.Internal.TimeOfDay typeRep TimeOfDay =D1 ('MetaData "TimeOfDay" "Data.Time.LocalTime.Internal.TimeOfDay" "time-1.14-FUp5siqKs8fGXR1yavxc1V" 'False) (C1 ('MetaCons "TimeOfDay" 'PrefixI 'True) (S1 ('MetaSel ('Just "todHour") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int):: (S1 ('MetaSel ('Just "todMin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)::S1 ('MetaSel ('Just "todSec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pico))))

midnight ::TimeOfDay Source #

Hour zero

midday ::TimeOfDay Source #

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.

pastMidnight ::DiffTime ->TimeOfDay Source #

Same astimeToTimeOfDay.

timeOfDayToTime ::TimeOfDay ->DiffTime Source #

Get the time since midnight for a given time of day.

sinceMidnight ::TimeOfDay ->DiffTime Source #

Same astimeOfDayToTime.

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

dataCalendarDiffTime Source #

Constructors

CalendarDiffTime
Fields ctMonths ::Integer ctTime ::NominalDiffTime

Instances

Instances details

Data CalendarDiffTimeSource #	Since: 1.9.2
Instance details Defined inData.Time.LocalTime.Internal.CalendarDiffTime Methods gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->CalendarDiffTime -> cCalendarDiffTime # gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> cCalendarDiffTime # toConstr ::CalendarDiffTime ->Constr # dataTypeOf ::CalendarDiffTime ->DataType # dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (cCalendarDiffTime)# dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (cCalendarDiffTime)# gmapT :: (forall b.Data b => b -> b) ->CalendarDiffTime ->CalendarDiffTime # gmapQl :: (r -> r' -> r) -> r -> (forall d.Data d => d -> r') ->CalendarDiffTime -> r# gmapQr ::forall r r'. (r' -> r -> r) -> r -> (forall d.Data d => d -> r') ->CalendarDiffTime -> r# gmapQ :: (forall d.Data d => d -> u) ->CalendarDiffTime -> [u]# gmapQi ::Int -> (forall d.Data d => d -> u) ->CalendarDiffTime -> u# gmapM ::Monad m => (forall d.Data d => d -> m d) ->CalendarDiffTime -> mCalendarDiffTime # gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->CalendarDiffTime -> mCalendarDiffTime # gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->CalendarDiffTime -> mCalendarDiffTime #
Monoid CalendarDiffTimeSource #	Additive
Instance details Defined inData.Time.LocalTime.Internal.CalendarDiffTime Methods mempty ::CalendarDiffTime # mappend ::CalendarDiffTime ->CalendarDiffTime ->CalendarDiffTime # mconcat :: [CalendarDiffTime] ->CalendarDiffTime #
Semigroup CalendarDiffTimeSource #	Additive
Instance details Defined inData.Time.LocalTime.Internal.CalendarDiffTime Methods (<>) ::CalendarDiffTime ->CalendarDiffTime ->CalendarDiffTime # sconcat ::NonEmpty CalendarDiffTime ->CalendarDiffTime # stimes ::Integral b => b ->CalendarDiffTime ->CalendarDiffTime #
Generic CalendarDiffTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.CalendarDiffTime Associated Types typeRep CalendarDiffTime ::Type ->Type # Methods from ::CalendarDiffTime ->Rep CalendarDiffTime x# to ::Rep CalendarDiffTime x ->CalendarDiffTime #
Read CalendarDiffTimeSource #
Instance details Defined inData.Time.Format.ISO8601 Methods readsPrec ::Int ->ReadS CalendarDiffTime # readList ::ReadS [CalendarDiffTime]# readPrec ::ReadPrec CalendarDiffTime # readListPrec ::ReadPrec [CalendarDiffTime]#
Show CalendarDiffTimeSource #
Instance details Defined inData.Time.Format.ISO8601 Methods showsPrec ::Int ->CalendarDiffTime ->ShowS # show ::CalendarDiffTime ->String # showList :: [CalendarDiffTime] ->ShowS #
NFData CalendarDiffTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.CalendarDiffTime Methods rnf ::CalendarDiffTime -> ()#
Eq CalendarDiffTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.CalendarDiffTime Methods (==) ::CalendarDiffTime ->CalendarDiffTime ->Bool # (/=) ::CalendarDiffTime ->CalendarDiffTime ->Bool #
FormatTime CalendarDiffTimeSource #
Instance details Defined inData.Time.Format.Format.Instances Methods formatCharacter ::Bool ->Char ->Maybe (FormatOptions ->CalendarDiffTime ->String)Source #
ISO8601 CalendarDiffTimeSource #	`PyYmMdDThHmMs[.ss]S` [ISO 8601:2004(E) sec. 4.4.3.2]
Instance details Defined inData.Time.Format.ISO8601 Methods iso8601Format ::Format CalendarDiffTime Source #
ParseTime CalendarDiffTimeSource #
Instance details Defined inData.Time.Format.Parse.Instances Methods substituteTimeSpecifier ::Proxy CalendarDiffTime ->TimeLocale ->Char ->Maybe String Source # parseTimeSpecifier ::Proxy CalendarDiffTime ->TimeLocale ->Maybe ParseNumericPadding ->Char ->ReadP String Source # buildTime ::TimeLocale -> [(Char,String)] ->Maybe CalendarDiffTime Source #
typeRep CalendarDiffTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.CalendarDiffTime typeRep CalendarDiffTime =D1 ('MetaData "CalendarDiffTime" "Data.Time.LocalTime.Internal.CalendarDiffTime" "time-1.14-FUp5siqKs8fGXR1yavxc1V" 'False) (C1 ('MetaCons "CalendarDiffTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer):*:S1 ('MetaSel ('Just "ctTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalDiffTime)))

calendarTimeDays ::CalendarDiffDays ->CalendarDiffTime Source #

calendarTimeTime ::NominalDiffTime ->CalendarDiffTime Source #

scaleCalendarDiffTime ::Integer ->CalendarDiffTime ->CalendarDiffTime Source #

Scale by a factor. Note thatscaleCalendarDiffTime (-1) will not perfectly invert a duration, due to variable month lengths.

Local Time

dataLocalTime Source #

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 localDay ::Day localTimeOfDay ::TimeOfDay

Instances

Instances details

Data LocalTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.LocalTime Methods gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->LocalTime -> cLocalTime # gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> cLocalTime # toConstr ::LocalTime ->Constr # dataTypeOf ::LocalTime ->DataType # dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (cLocalTime)# dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (cLocalTime)# 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 -> mLocalTime # gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->LocalTime -> mLocalTime # gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->LocalTime -> mLocalTime #
Generic LocalTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.LocalTime Associated Types typeRep LocalTime ::Type ->Type # Methods from ::LocalTime ->Rep LocalTime x# to ::Rep LocalTime x ->LocalTime #
Read LocalTimeSource #
Instance details Defined inData.Time.Format.Parse Methods readsPrec ::Int ->ReadS LocalTime # readList ::ReadS [LocalTime]# readPrec ::ReadPrec LocalTime # readListPrec ::ReadPrec [LocalTime]#
Show LocalTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.LocalTime Methods showsPrec ::Int ->LocalTime ->ShowS # show ::LocalTime ->String # showList :: [LocalTime] ->ShowS #
NFData LocalTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.LocalTime Methods rnf ::LocalTime -> ()#
Eq LocalTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.LocalTime Methods (==) ::LocalTime ->LocalTime ->Bool # (/=) ::LocalTime ->LocalTime ->Bool #
Ord LocalTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.LocalTime Methods compare ::LocalTime ->LocalTime ->Ordering # (<) ::LocalTime ->LocalTime ->Bool # (<=) ::LocalTime ->LocalTime ->Bool # (>) ::LocalTime ->LocalTime ->Bool # (>=) ::LocalTime ->LocalTime ->Bool # max ::LocalTime ->LocalTime ->LocalTime # min ::LocalTime ->LocalTime ->LocalTime #
FormatTime LocalTimeSource #
Instance details Defined inData.Time.Format.Format.Instances Methods formatCharacter ::Bool ->Char ->Maybe (FormatOptions ->LocalTime ->String)Source #
ISO8601 LocalTimeSource #	`yyyy-mm-ddThh:mm:ss[.ss]` [ISO 8601:2004(E) sec. 4.3.2 extended format]
Instance details Defined inData.Time.Format.ISO8601 Methods iso8601Format ::Format LocalTime Source #
ParseTime LocalTimeSource #
Instance details Defined inData.Time.Format.Parse.Instances Methods substituteTimeSpecifier ::Proxy LocalTime ->TimeLocale ->Char ->Maybe String Source # parseTimeSpecifier ::Proxy LocalTime ->TimeLocale ->Maybe ParseNumericPadding ->Char ->ReadP String Source # buildTime ::TimeLocale -> [(Char,String)] ->Maybe LocalTime Source #
typeRep LocalTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.LocalTime typeRep LocalTime =D1 ('MetaData "LocalTime" "Data.Time.LocalTime.Internal.LocalTime" "time-1.14-FUp5siqKs8fGXR1yavxc1V" 'False) (C1 ('MetaCons "LocalTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "localDay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Day):*:S1 ('MetaSel ('Just "localTimeOfDay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TimeOfDay)))

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).

dataZonedTime Source #

A local time together with a time zone.

There is noEq instance forZonedTime. If you want to compare local times, usezonedTimeToLocalTime. If you want to compare absolute times, usezonedTimeToUTC.

Constructors

ZonedTime
Fields zonedTimeToLocalTime ::LocalTime zonedTimeZone ::TimeZone

Instances

Instances details

Data ZonedTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.ZonedTime Methods gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->ZonedTime -> cZonedTime # gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> cZonedTime # toConstr ::ZonedTime ->Constr # dataTypeOf ::ZonedTime ->DataType # dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (cZonedTime)# dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (cZonedTime)# 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 -> mZonedTime # gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->ZonedTime -> mZonedTime # gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->ZonedTime -> mZonedTime #
Generic ZonedTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.ZonedTime Associated Types typeRep ZonedTime ::Type ->Type # Methods from ::ZonedTime ->Rep ZonedTime x# to ::Rep ZonedTime x ->ZonedTime #
Read ZonedTimeSource #	This only works for a`zonedTimeZone` in`±HHMM` format, single-letter military time-zones, and these time-zones: "UTC", "UT", "GMT", "EST", "EDT", "CST", "CDT", "MST", "MDT", "PST", "PDT", per RFC 822 section 5.
Instance details Defined inData.Time.Format.Parse Methods readsPrec ::Int ->ReadS ZonedTime # readList ::ReadS [ZonedTime]# readPrec ::ReadPrec ZonedTime # readListPrec ::ReadPrec [ZonedTime]#
Show ZonedTimeSource #	For the time zone, this only shows the name, or offset if the name is empty.
Instance details Defined inData.Time.LocalTime.Internal.ZonedTime Methods showsPrec ::Int ->ZonedTime ->ShowS # show ::ZonedTime ->String # showList :: [ZonedTime] ->ShowS #
NFData ZonedTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.ZonedTime Methods rnf ::ZonedTime -> ()#
FormatTime ZonedTimeSource #
Instance details Defined inData.Time.Format.Format.Instances Methods formatCharacter ::Bool ->Char ->Maybe (FormatOptions ->ZonedTime ->String)Source #
ISO8601 ZonedTimeSource #	`yyyy-mm-ddThh:mm:ss[.ss]±hh:mm` [ISO 8601:2004(E) sec. 4.3.2 extended format]
Instance details Defined inData.Time.Format.ISO8601 Methods iso8601Format ::Format ZonedTime Source #
ParseTime ZonedTimeSource #
Instance details Defined inData.Time.Format.Parse.Instances Methods substituteTimeSpecifier ::Proxy ZonedTime ->TimeLocale ->Char ->Maybe String Source # parseTimeSpecifier ::Proxy ZonedTime ->TimeLocale ->Maybe ParseNumericPadding ->Char ->ReadP String Source # buildTime ::TimeLocale -> [(Char,String)] ->Maybe ZonedTime Source #
typeRep ZonedTimeSource #
Instance details Defined inData.Time.LocalTime.Internal.ZonedTime typeRep ZonedTime =D1 ('MetaData "ZonedTime" "Data.Time.LocalTime.Internal.ZonedTime" "time-1.14-FUp5siqKs8fGXR1yavxc1V" 'False) (C1 ('MetaCons "ZonedTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "zonedTimeToLocalTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalTime):*:S1 ('MetaSel ('Just "zonedTimeZone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TimeZone)))

utcToZonedTime ::TimeZone ->UTCTime ->ZonedTime Source #

zonedTimeToUTC ::ZonedTime ->UTCTime Source #

getZonedTime ::IO ZonedTime Source #

utcToLocalZonedTime ::UTCTime ->IO ZonedTime Source #

Movatterモバイル変換

Time zones

Instances

Time of day

Instances

Calendar Duration

Instances

Local Time

Instances

Instances