Moduletime-1.16.0.1GHC2021

Data.Time.Format.ISO8601

2 types
1 class
41 values

Packagetime-1.16.0.1
Exports44
LanguageGHC2021
LicenceBSD-2-Clause
SourceFormat.hs

Format

5 declarations

datadata Format t

A text format for a type

Instances3IsoVariant, Productish, Summish

IsoVariant FormatDefined in time-1.16.0.1 · Data.Format
Productish FormatDefined in time-1.16.0.1 · Data.Format
Summish FormatDefined in time-1.16.0.1 · Data.Format

valueformatShowM :: Format t -> t -> Maybe String

Show a value in the format, if representable

valueformatShow :: Format t -> t -> String

Show a value in the format, or error if unrepresentable

valueformatReadP :: Format t -> ReadP t

Read a value in the format

valueformatParseM :: MonadFail m => Format t -> String -> m t

Parse a value in the format

Common formats

3 declarations

classclass ISO8601 t where

Methods

iso8601Format :: Format t
The most commonly used ISO 8601 format for this type.

Instances8ISO8601, …

ISO8601 CalendarDiffDaysDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
PyYmMdD [ISO 8601:2004(E) sec. 4.4.3.2]
ISO8601 DayDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
yyyy-mm-dd [ISO 8601:2004(E) sec. 4.1.2.2 extended format]
ISO8601 UTCTimeDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
yyyy-mm-ddThh:mm:ss[.ss]Z [ISO 8601:2004(E) sec. 4.3.2 extended format]
ISO8601 CalendarDiffTimeDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
PyYmMdDThHmMs[.ss]S [ISO 8601:2004(E) sec. 4.4.3.2]
ISO8601 LocalTimeDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
yyyy-mm-ddThh:mm:ss[.ss] [ISO 8601:2004(E) sec. 4.3.2 extended format]
ISO8601 TimeOfDayDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
hh:mm:ss[.ss] [ISO 8601:2004(E) sec. 4.2.2.2, 4.2.2.4(a) extended format]
ISO8601 TimeZoneDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
±hh:mm [ISO 8601:2004(E) sec. 4.2.5.1 extended format]
ISO8601 ZonedTimeDefined in time-1.16.0.1 · Data.Time.Format.ISO8601
yyyy-mm-ddThh:mm:ss[.ss]±hh:mm [ISO 8601:2004(E) sec. 4.3.2 extended format]

valueiso8601Show :: ISO8601 t => t -> String

Show in the most commonly used ISO 8601 format.

valueiso8601ParseM :: (MonadFail m, ISO8601 t) => String -> m t

Parse the most commonly used ISO 8601 format.

All formats

35 declarations

datadata FormatExtension

Constructors

ExtendedFormat
Use hyphens and colons. [ISO 8601:2004(E) sec. 2.3.4]
BasicFormat
Omit hyphens and colons. "The basic format should be avoided in plain text." [ISO 8601:2004(E) sec. 2.3.3]

valueformatReadPExtension :: (FormatExtension -> Format t) -> ReadP t

Read a value in either extended or basic format

valueparseFormatExtension

:: MonadFail m
=> FormatExtension -> Format t
-> String
-> m t

Parse a value in either extended or basic format

valuecalendarFormat :: FormatExtension -> Format Day

yyyy-mm-dd (extended), yyyymmdd (basic) [ISO 8601:2004(E) sec. 4.1.2.2]

valueyearMonthFormat :: Format (Integer, Int)

yyyy-mm [ISO 8601:2004(E) sec. 4.1.2.3(a)]

valueyearFormat :: Format Integer

yyyy [ISO 8601:2004(E) sec. 4.1.2.3(b)]

valuecenturyFormat :: Format Integer

yy [ISO 8601:2004(E) sec. 4.1.2.3(c)]

valueexpandedCalendarFormat :: Int -> FormatExtension -> Format Day

±yyyyy-mm-dd (extended), ±yyyyymmdd (basic) [ISO 8601:2004(E) sec. 4.1.2.4(a)]

valueexpandedYearMonthFormat :: Int -> Format (Integer, Int)

±yyyyy-mm [ISO 8601:2004(E) sec. 4.1.2.4(b)]

valueexpandedYearFormat :: Int -> Format Integer

±yyyyy [ISO 8601:2004(E) sec. 4.1.2.4(c)]

valueexpandedCenturyFormat :: Int -> Format Integer

±yyy [ISO 8601:2004(E) sec. 4.1.2.4(d)]

valueordinalDateFormat :: FormatExtension -> Format Day

yyyy-ddd (extended), yyyyddd (basic) [ISO 8601:2004(E) sec. 4.1.3.2]

valueexpandedOrdinalDateFormat :: Int -> FormatExtension -> Format Day

yyyyy-ddd (extended), yyyyyddd (basic) [ISO 8601:2004(E) sec. 4.1.3.3]

valueweekDateFormat :: FormatExtension -> Format Day

yyyy-Www-D (extended), yyyyWwwd (basic) [ISO 8601:2004(E) sec. 4.1.4.2]

valueyearWeekFormat :: FormatExtension -> Format (Integer, Int)

yyyy-Www (extended), yyyyWww (basic) [ISO 8601:2004(E) sec. 4.1.4.3]

valueexpandedWeekDateFormat :: Int -> FormatExtension -> Format Day

±yyyyy-Www-d (extended), ±yyyyyWwwD (basic) [ISO 8601:2004(E) sec. 4.1.4.4]

valueexpandedYearWeekFormat :: Int -> FormatExtension -> Format (Integer, Int)

±yyyyy-Www (extended), ±yyyyyWww (basic) [ISO 8601:2004(E) sec. 4.1.4.4]

valuetimeOfDayFormat :: FormatExtension -> Format TimeOfDay

hh:mm:ss[.ss] (extended), hhmmss[.ss] (basic) [ISO 8601:2004(E) sec. 4.2.2.2, 4.2.2.4(a)]

valuehourMinuteFormat :: FormatExtension -> Format TimeOfDay

hh:mm[.mm] (extended), hhmm[.mm] (basic) [ISO 8601:2004(E) sec. 4.2.2.3(a), 4.2.2.4(b)]

valuehourFormat :: Format TimeOfDay

hh[.hh] [ISO 8601:2004(E) sec. 4.2.2.3(b), 4.2.2.4(c)]

valuewithTimeDesignator :: Format t -> Format t

Tx [ISO 8601:2004(E) sec. 4.2.2.5]

valuewithUTCDesignator :: Format t -> Format t

xZ [ISO 8601:2004(E) sec. 4.2.4]

valuetimeOffsetFormat :: FormatExtension -> Format TimeZone

±hh:mm (extended), ±hhmm (basic) [ISO 8601:2004(E) sec. 4.2.5.1]

valuetimeOfDayAndOffsetFormat :: FormatExtension -> Format (TimeOfDay, TimeZone)

hh:mm:ss±hh:mm (extended), hhmmss±hhmm (basic) [ISO 8601:2004(E) sec. 4.2.5.2]

valuelocalTimeFormat :: Format Day -> Format TimeOfDay -> Format LocalTime

xTy [ISO 8601:2004(E) sec. 4.3.2]

valuezonedTimeFormat

:: Format Day
-> Format TimeOfDay
-> FormatExtension
-> Format ZonedTime

xTy±hh:mm (extended), xTy±hhmm (basic) [ISO 8601:2004(E) sec. 4.3.2]

valueutcTimeFormat :: Format Day -> Format TimeOfDay -> Format UTCTime

xTyZ [ISO 8601:2004(E) sec. 4.3.2]

valuedayAndTimeFormat :: Format Day -> Format time -> Format (Day, time)

xTy [ISO 8601:2004(E) sec. 4.3.3]

valuetimeAndOffsetFormat :: Format t -> FormatExtension -> Format (t, TimeZone)

x±hh:mm (extended), x±hhmm (basic) [ISO 8601:2004(E) sec. 4.3.3]

valuedurationDaysFormat :: Format CalendarDiffDays

PyyYmmMddD [ISO 8601:2004(E) sec. 4.4.3.2]

valuedurationTimeFormat :: Format CalendarDiffTime

PyyYmmMddDThhHmmMss[.ss]S [ISO 8601:2004(E) sec. 4.4.3.2]

valuealternativeDurationDaysFormat :: FormatExtension -> Format CalendarDiffDays

Pyyyy-mm-dd (extended), Pyyyymmdd (basic) [ISO 8601:2004(E) sec. 4.4.3.3]

valuealternativeDurationTimeFormat :: FormatExtension -> Format CalendarDiffTime

Pyyyy-mm-ddThh:mm:ss (extended), PyyyymmddThhmmss (basic) [ISO 8601:2004(E) sec. 4.4.3.3]

valueintervalFormat :: Format a -> Format b -> Format (a, b)

x/y [ISO 8601:2004(E) sec. 4.4.4.1]

valuerecurringIntervalFormat :: Format a -> Format b -> Format (Int, a, b)

Rn/x/y [ISO 8601:2004(E) sec. 4.5]

Other

1 declaration

valueisoMakeTimeOfDayValid :: Int -> Int -> Pico -> Maybe TimeOfDay

Like makeTimeOfDayValid, but accepts 24 0 0 per ISO 8601:2004(E) sec. 4.2.3

Orphan instances

4 instances