Safe Haskell | None |
---|---|
Language | Haskell2010 |
Formatters for various time types. This module copies the structure of
Formatting.Time
from the formatting
package.
Most of the time you'll want to use one of these formatters (all of the
examples below use "2018-02-14 16:20:45.5 CST"
):
dateTimeF
– full date and time:>>>
dateTimeF t
"Wed Feb 14 16:20:45 CST 2018"hmF
– hours and minutes:>>>
hmF t
"16:20"hmsF
– hours, minutes and seconds:>>>
hmsF t
"16:20:45"dateDashF
– date in ISO 8601 format:>>>
dateDashF t
"2018-02-14"diffF
– either a time period or a point in time, in a convenient for humans format:>>>
diffF False 130 -- time period (130 seconds)
"2 minutes">>>
diffF True 130 -- point in time (130 seconds in the future)
"in 2 minutes"
Note that two formatters from Formatting.Time
are called differently here:
pico ->picosecondF
decimals ->subsecondF
Synopsis
- timeF :: FormatTime a => Text -> a -> Builder
- tzF :: FormatTime a => a -> Builder
- tzNameF :: FormatTime a => a -> Builder
- dateTimeF :: FormatTime a => a -> Builder
- hmF :: FormatTime a => a -> Builder
- hmsF :: FormatTime a => a -> Builder
- hmsLF :: FormatTime a => a -> Builder
- hmsPLF :: FormatTime a => a -> Builder
- dayHalfF :: FormatTime a => a -> Builder
- dayHalfUF :: FormatTime a => a -> Builder
- hour24F :: FormatTime a => a -> Builder
- hour12F :: FormatTime a => a -> Builder
- hour24SF :: FormatTime a => a -> Builder
- hour12SF :: FormatTime a => a -> Builder
- minuteF :: FormatTime a => a -> Builder
- secondF :: FormatTime a => a -> Builder
- picosecondF :: FormatTime a => a -> Builder
- subsecondF :: FormatTime a => a -> Builder
- epochF :: FormatTime a => a -> Builder
- dateSlashF :: FormatTime a => a -> Builder
- dateDashF :: FormatTime a => a -> Builder
- dateSlashLF :: FormatTime a => a -> Builder
- yearF :: FormatTime a => a -> Builder
- yyF :: FormatTime a => a -> Builder
- centuryF :: FormatTime a => a -> Builder
- monthNameF :: FormatTime a => a -> Builder
- monthNameShortF :: FormatTime a => a -> Builder
- monthF :: FormatTime a => a -> Builder
- dayOfMonthF :: FormatTime a => a -> Builder
- dayOfMonthOrdF :: FormatTime a => a -> Builder
- dayOfMonthSF :: FormatTime a => a -> Builder
- dayF :: FormatTime a => a -> Builder
- weekYearF :: FormatTime a => a -> Builder
- weekYYF :: FormatTime a => a -> Builder
- weekCenturyF :: FormatTime a => a -> Builder
- weekF :: FormatTime a => a -> Builder
- dayOfWeekF :: FormatTime a => a -> Builder
- dayNameShortF :: FormatTime a => a -> Builder
- dayNameF :: FormatTime a => a -> Builder
- weekFromZeroF :: FormatTime a => a -> Builder
- dayOfWeekFromZeroF :: FormatTime a => a -> Builder
- weekOfYearMonF :: FormatTime a => a -> Builder
- diffF :: forall n. RealFrac n => Bool -> n -> Builder
- yearsF :: RealFrac n => Int -> n -> Builder
- daysF :: RealFrac n => Int -> n -> Builder
- hoursF :: RealFrac n => Int -> n -> Builder
- minutesF :: RealFrac n => Int -> n -> Builder
- secondsF :: RealFrac n => Int -> n -> Builder
Custom
timeF :: FormatTime a => Text -> a -> Builder Source #
Format time with an arbitrary formatting string. Other formatters in
this module are implemented using timeF
.
For TimeZone
(and ZonedTime
and UTCTime
)
tzF :: FormatTime a => a -> Builder Source #
Timezone offset on the format -HHMM
.
>>>
t
2018-02-14 16:20:45.5 CST>>>
tzF t
"-0600"
tzNameF :: FormatTime a => a -> Builder Source #
Timezone name.
>>>
tzNameF t
"CST"
dateTimeF :: FormatTime a => a -> Builder Source #
As dateTimeFmt
locale
(e.g. %a %b %e %H:%M:%S %Z %Y
).
>>>
dateTimeF t
"Wed Feb 14 16:20:45 CST 2018"
For TimeOfDay
(and LocalTime
and ZonedTime
and UTCTime
)
hmF :: FormatTime a => a -> Builder Source #
Same as %H:%M
.
>>>
hmF t
"16:20"
hmsF :: FormatTime a => a -> Builder Source #
Same as %H:%M:%S
.
>>>
hmsF t
"16:20:45"
hmsLF :: FormatTime a => a -> Builder Source #
As timeFmt
locale
(e.g. %H:%M:%S
).
>>>
hmsLF t
"16:20:45"
hmsPLF :: FormatTime a => a -> Builder Source #
As time12Fmt
locale
(e.g. %I:%M:%S %p
).
>>>
hmsPLF t
"04:20:45 PM"
dayHalfF :: FormatTime a => a -> Builder Source #
Day half from (amPm
locale
), converted to lowercase, am
, pm
.
>>>
dayHalfF t
"pm"
dayHalfUF :: FormatTime a => a -> Builder Source #
Day half from (amPm
locale
), AM
, PM
.
>>>
dayHalfUF t
"PM"
hour24F :: FormatTime a => a -> Builder Source #
Hour, 24-hour, leading 0 as needed, 00
- 23
.
>>>
hour24F t
"16">>>
hour24F midnight
"00"
hour12F :: FormatTime a => a -> Builder Source #
Hour, 12-hour, leading 0 as needed, 01
- 12
.
>>>
hour12F t
"04">>>
hour12F midnight
"12"
hour24SF :: FormatTime a => a -> Builder Source #
Hour, 24-hour, leading space as needed, 0
- 23
.
>>>
hour24SF t
"16">>>
hour24SF midnight
" 0"
hour12SF :: FormatTime a => a -> Builder Source #
Hour, 12-hour, leading space as needed, 1
- 12
.
>>>
hour12SF t
" 4">>>
hour12SF midnight
"12"
minuteF :: FormatTime a => a -> Builder Source #
Minute, 00
- 59
.
>>>
minuteF t
"20"
secondF :: FormatTime a => a -> Builder Source #
Second, without decimal part, 00
- 60
.
>>>
secondF t
"45"
picosecondF :: FormatTime a => a -> Builder Source #
Picosecond, including trailing zeros, 000000000000
- 999999999999
.
>>>
picosecondF t
"500000000000"
subsecondF :: FormatTime a => a -> Builder Source #
Decimal point of the second. Up to 12 digits, without trailing zeros. For a whole number of seconds, this produces an empty string.
>>>
subsecondF t
".5"
For UTCTime
and ZonedTime
epochF :: FormatTime a => a -> Builder Source #
Number of whole seconds since the Unix epoch. For times before the Unix
epoch, this is a negative number. Note that in %s.%q
and %s%Q
the
decimals are positive, not negative. For example, 0.9 seconds before the
Unix epoch is formatted as -1.1
with %s%Q
.
>>>
epochF t
"1518646845"
For Day
(and LocalTime
and ZonedTime
and UTCTime
)
dateSlashF :: FormatTime a => a -> Builder Source #
Same as %m/%d/%y
.
>>>
dateSlashF t
"02/14/18"
dateDashF :: FormatTime a => a -> Builder Source #
Same as %Y-%m-%d
.
>>>
dateDashF t
"2018-02-14"
dateSlashLF :: FormatTime a => a -> Builder Source #
As dateFmt
locale
(e.g. %m/%d/%y
).
>>>
dateSlashLF t
"02/14/18"
yearF :: FormatTime a => a -> Builder Source #
Year.
>>>
yearF t
"2018"
yyF :: FormatTime a => a -> Builder Source #
Last two digits of year, 00
- 99
.
>>>
yyF t
"18"
centuryF :: FormatTime a => a -> Builder Source #
Century (being the first two digits of the year), 00
- 99
.
>>>
centuryF t
"20"
monthNameF :: FormatTime a => a -> Builder Source #
monthNameShortF :: FormatTime a => a -> Builder Source #
monthF :: FormatTime a => a -> Builder Source #
Month of year, leading 0 as needed, 01
- 12
.
>>>
monthF t
"02"
dayOfMonthF :: FormatTime a => a -> Builder Source #
Day of month, leading 0 as needed, 01
- 31
.
>>>
dayOfMonthF t
"14"
dayOfMonthOrdF :: FormatTime a => a -> Builder Source #
Day of month, 1st
, 2nd
, 25th
, etc.
>>>
dayOfMonthOrdF t
"14th"
dayOfMonthSF :: FormatTime a => a -> Builder Source #
Day of month, leading space as needed, 1
- 31
.
dayF :: FormatTime a => a -> Builder Source #
Day of year for Ordinal Date format, 001
- 366
.
>>>
dayF t
"045"
weekYearF :: FormatTime a => a -> Builder Source #
Year for Week Date format e.g. 2013
.
>>>
weekYearF t
"2018"
weekYYF :: FormatTime a => a -> Builder Source #
Last two digits of year for Week Date format, 00
- 99
.
>>>
weekYYF t
"18"
weekCenturyF :: FormatTime a => a -> Builder Source #
Century (first two digits of year) for Week Date format, 00
- 99
.
>>>
weekCenturyF t
"20"
weekF :: FormatTime a => a -> Builder Source #
Week for Week Date format, 01
- 53
.
>>>
weekF t
"07"
dayOfWeekF :: FormatTime a => a -> Builder Source #
Day for Week Date format, 1
- 7
.
>>>
dayOfWeekF t
"3"
dayNameShortF :: FormatTime a => a -> Builder Source #
dayNameF :: FormatTime a => a -> Builder Source #
weekFromZeroF :: FormatTime a => a -> Builder Source #
Week number of year, where weeks start on Sunday (as
sundayStartWeek
), 00
- 53
.
>>>
weekFromZeroF t
"06"
dayOfWeekFromZeroF :: FormatTime a => a -> Builder Source #
Day of week number, 0
(= Sunday) - 6
(= Saturday).
>>>
dayOfWeekFromZeroF t
"3"
weekOfYearMonF :: FormatTime a => a -> Builder Source #
Week number of year, where weeks start on Monday (as
mondayStartWeek
), 00
- 53
.
>>>
weekOfYearMonF t
"07"
Time spans, diffs, NominalDiffTime
, DiffTime
, etc.
:: RealFrac n | |
=> Bool | Whether to display the |
-> n | Example: |
-> Builder |
Display a time span as one time relative to another. Input is assumed to
be seconds. Typical inputs are NominalDiffTime
and DiffTime
.
>>>
diffF False 100
"a minute">>>
diffF True 100
"in a minute"
Display the absolute value time span in years.
>>>
epochF t -- time passed since Jan 1, 1970
"1518646845">>>
yearsF 3 1518646845
"48.156"
Display the absolute value time span in days.
>>>
daysF 3 1518646845
"17576.931"
Display the absolute value time span in hours.
>>>
hoursF 3 3600
"1.000"
Display the absolute value time span in minutes.
>>>
minutesF 3 150
"2.500"