Data.Thyme.Format

Formatting and parsing for dates and times.

Formatting Date/Time to String

class FormatTime t where

All instances of this class may be formatted by formatTime.

Methods

showsTime :: TimeLocale -> t -> (Char -> ShowS) -> Char -> ShowS

Instances

FormatTime Day

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> Day -> (Char -> ShowS) -> Char -> ShowS

FormatTime MondayWeek

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> MondayWeek -> (Char -> ShowS) -> Char -> ShowS

FormatTime MonthDay

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> MonthDay -> (Char -> ShowS) -> Char -> ShowS

FormatTime OrdinalDate

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> OrdinalDate -> (Char -> ShowS) -> Char -> ShowS

FormatTime SundayWeek

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> SundayWeek -> (Char -> ShowS) -> Char -> ShowS

FormatTime WeekDate

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> WeekDate -> (Char -> ShowS) -> Char -> ShowS

FormatTime YearMonthDay

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> YearMonthDay -> (Char -> ShowS) -> Char -> ShowS

FormatTime UTCTime

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> UTCTime -> (Char -> ShowS) -> Char -> ShowS

FormatTime UniversalTime

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> UniversalTime -> (Char -> ShowS) -> Char -> ShowS

FormatTime AbsoluteTime

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> AbsoluteTime -> (Char -> ShowS) -> Char -> ShowS

FormatTime DotNetTime

Defined in Data.Thyme.Format.Aeson

Methods

showsTime :: TimeLocale -> DotNetTime -> (Char -> ShowS) -> Char -> ShowS

FormatTime LocalTime

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> LocalTime -> (Char -> ShowS) -> Char -> ShowS

FormatTime TimeOfDay

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> TimeOfDay -> (Char -> ShowS) -> Char -> ShowS

FormatTime TimeZone

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> TimeZone -> (Char -> ShowS) -> Char -> ShowS

FormatTime ZonedTime

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> ZonedTime -> (Char -> ShowS) -> Char -> ShowS

formatTime

Arguments

:: FormatTime t

=> TimeLocale

Locale for formatting.

-> String

Template spec string.

-> t

FormatTime instance value to be formatted.

-> String

Format a FormatTime instance value according to a template string.

These formatting template codes are intended to be compatible with glibc strftime() function, following Data.Time.Format, which follows formatCalendarTime from the old-time package. Codes which differ from strftime() are marked as EXTENSION.

Show/Parse template string spec

For all types

%%

literal "%"

For TimeZone (and ZonedTime and UTCTime):

%z

RFC 822/ISO 8601:1988 style numeric time zone (e.g., "-0600" or "+0100")

%N

ISO 8601 style numeric time zone (e.g., "-06:00" or "+01:00") EXTENSION

%Z

timezone name

For LocalTime (and ZonedTime and UTCTime and UniversalTime)

%c

The preferred calendar time representation for the current locale. As dateTimeFmt locale (e.g. %a %b %e %H:%M:%S %Z %Y)

For TimeOfDay (and LocalTime and ZonedTime and UTCTime and UniversalTime)

%R

same as %H:%M

%T

same as %H:%M:%S

%X

The preferred time of day representation for the current locale. As timeFmt locale (e.g. %H:%M:%S)

%r

The complete calendar time using the AM/PM format of the current locale. As time12Fmt locale (e.g. %I:%M:%S %p)

%P

day-half of day from (amPm locale), converted to lowercase, "am", "pm"

%p

day-half of day from (amPm locale), "AM", "PM"

%H

hour of day (24-hour), 0-padded to two chars, "00"–"23"

%k

hour of day (24-hour), space-padded to two chars, " 0"–"23"

%I

hour of day-half (12-hour), 0-padded to two chars, "01"–"12"

%l

hour of day-half (12-hour), space-padded to two chars, " 1"–"12"

%M

minute of hour, 0-padded to two chars, "00"–"59"

%S

second of minute (without decimal part), 0-padded to two chars, "00"–"60"

%q

picosecond of second, 0-padded to twelve chars, "000000000000"–"999999999999". EXTENSION

%v

microsecond of second, 0-padded to six chars, "000000"–"999999". EXTENSION

%Q

decimal point and fraction of second, up to 6 second decimals, without trailing zeros. For a whole number of seconds, %Q produces the empty string. EXTENSION

For UTCTime

%s

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.

For Day (and LocalTime and ZonedTime and UTCTime and UniversalTime)

%D

same as %m/%d/%y

%F

same as %Y-%m-%d

%x

as dateFmt locale (e.g. %m/%d/%y)

%Y

year, no padding.

%y

year of century, 0-padded to two chars, "00"–"99"

%C

century, no padding.

%B

month name, long form (fst from months locale), "January"–"December"

%b, %h

month name, short form (snd from months locale), "Jan"–"Dec"

%m

month of year, 0-padded to two chars, "01"–"12"

%d

day of month, 0-padded to two chars, "01"–"31"

%e

day of month, space-padded to two chars, " 1"–"31"

%j

day of year, 0-padded to three chars, "001"–"366"

%G

year for Week Date format, no padding.

%g

year of century for Week Date format, 0-padded to two chars, "00"–"99"

%f

century for Week Date format, no padding. EXTENSION

%V

week of year for Week Date format, 0-padded to two chars, "01"–"53"

%u

day of week for Week Date format, "1"–"7"

%a

day of week, short form (snd from wDays locale), "Sun"–"Sat"

%A

day of week, long form (fst from wDays locale), "Sunday"–"Saturday"

%U

week of year where weeks start on Sunday (as sundayStartWeek), 0-padded to two chars, "00"–"53"

%w

day of week number, "0" (= Sunday) – "6" (= Saturday)

%W

week of year where weeks start on Monday (as mondayStartWeek), 0-padded to two chars, "00"–"53"

Examples

ISO 8601

> formatTime defaultTimeLocale "%Y-%m-%dT%H:%M:%S%N" $ mkUTCTime 2015 1 15  12 34 56.78
"2015-01-15T12:34:56+00:00"

RFC822

> formatTime defaultTimeLocale "%a, %_d %b %Y %H:%M:%S %Z" $ mkUTCTime 2015 1 15  12 34 56.78
"Thu, 15 Jan 2015 12:34:56 UTC"

YYYY-MM-DD hh:mm:ss.000000

> formatTime defaultTimeLocale "%Y-%m-%d %H:%M:%S.%v" $ mkUTCTime 2015 1 15  12 34 56.78
"2015-01-15 12:34:56.780000"

Parsing Date/Time from String

class ParseTime t where

All instances of this class may be parsed by parseTime, readTime, and readsTime.

Methods

buildTime :: TimeParse -> t

Instances

ParseTime Day

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> Day

ParseTime MondayWeek

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> MondayWeek

ParseTime MonthDay

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> MonthDay

ParseTime OrdinalDate

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> OrdinalDate

ParseTime SundayWeek

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> SundayWeek

ParseTime WeekDate

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> WeekDate

ParseTime YearMonthDay

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> YearMonthDay

ParseTime UTCTime

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> UTCTime

ParseTime UniversalTime

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> UniversalTime

ParseTime AbsoluteTime

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> AbsoluteTime

ParseTime LocalTime

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> LocalTime

ParseTime TimeOfDay

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> TimeOfDay

ParseTime TimeZone

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> TimeZone

ParseTime ZonedTime

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> ZonedTime

parseTime

Arguments

:: ParseTime t

=> TimeLocale

Locale.

-> String

Parser template spec string. See formatTime for spec.

-> String

String value to be parsed as a ParseTime instance value.

-> Maybe t

Parse a string as a ParseTime instance value.

Return Nothing if parsing fails.

Examples

ISO 8601

> parseTime defaultTimeLocale "%Y-%m-%dT%H:%M:%S%N" "2015-01-15T12:34:56+00:00" :: Maybe UTCTime
  Just 2015-01-15 12:34:56 UTC

> parseTime defaultTimeLocale "%Y-%m-%dT%H:%M:%S%N" "2015-01-15T12:34:56-12:00" :: Maybe UTCTime
  Just 2015-01-16 00:34:56 UTC

YYYY-MM-DD hh:mm:ss.0

> parseTime defaultTimeLocale "%Y-%m-%d %H:%M:%S%Q" "2015-01-15 12:34:56.78" :: Maybe UTCTime
  Just 2015-01-15 12:34:56.78 UTC

readTime

Arguments

:: ParseTime t

=> TimeLocale

Locale.

-> String

Parser template spec string. See formatTime for spec.

-> String

String value to be parsed as a ParseTime instance value.

-> t

Parse a string as a ParseTime instance value.

Call error if parsing fails.

readsTime

Arguments

:: ParseTime t

=> TimeLocale

Locale.

-> String

Parser template spec string. See formatTime for spec.

-> ReadS t

Produce a ReadS to parse a string as a ParseTime instance value.

data TimeParse

Unconstituted date-time for parsing.

Constructors

TimeParse

Fields

• tpCentury :: !Int
• tpCenturyYear :: !Int
• tpMonth :: !Month
• tpWeekOfYear :: !WeekOfYear
• tpDayOfMonth :: !DayOfMonth
• tpDayOfYear :: !DayOfYear
• tpDayOfWeek :: !DayOfWeek
• tpFlags :: !Int
• tpHour :: !Hour
• tpMinute :: !Minute
• tpSecond :: !Int
• tpSecFrac :: !DiffTime
• tpPOSIXTime :: !POSIXTime
• tpTimeZone :: !TimeZone

Instances

Show TimeParse

Defined in Data.Thyme.Format

Methods

showsPrec :: Int -> TimeParse -> ShowS

show :: TimeParse -> String

showList :: [TimeParse] -> ShowS

timeParser

Arguments

:: TimeLocale

Locale.

-> String

Parser template spec string. See formatTime for spec.

-> Parser TimeParse

Produce a Parser for UTF-8 encoded ByteStrings.

This function is used internally by parseTime, readTime, and readsTime; consider using one of those functions instead.

Attoparsec easily beats any String parser out there, but we do have to be careful to convert the input to UTF-8 ByteStrings.

Time Locale

data TimeLocale

Constructors

TimeLocale

Fields

• wDays :: [(String, String)]

  full and abbreviated week days, starting with Sunday

• months :: [(String, String)]

  full and abbreviated months

• amPm :: (String, String)

  AM/PM symbols

• dateTimeFmt :: String

  formatting strings

• dateFmt :: String

  formatting strings

• timeFmt :: String

  formatting strings

• time12Fmt :: String

  formatting strings

• knownTimeZones :: [TimeZone]

  time zones known by name

Instances

Show TimeLocale

Defined in Data.Time.Format.Locale

Methods

showsPrec :: Int -> TimeLocale -> ShowS

show :: TimeLocale -> String

showList :: [TimeLocale] -> ShowS

Eq TimeLocale

Defined in Data.Time.Format.Locale

Methods

(==) :: TimeLocale -> TimeLocale -> Bool

(/=) :: TimeLocale -> TimeLocale -> Bool

Ord TimeLocale

Defined in Data.Time.Format.Locale

Methods

compare :: TimeLocale -> TimeLocale -> Ordering

(<) :: TimeLocale -> TimeLocale -> Bool

(<=) :: TimeLocale -> TimeLocale -> Bool

(>) :: TimeLocale -> TimeLocale -> Bool

(>=) :: TimeLocale -> TimeLocale -> Bool

max :: TimeLocale -> TimeLocale -> TimeLocale

min :: TimeLocale -> TimeLocale -> TimeLocale

defaultTimeLocale :: TimeLocale

Locale representing American usage.

knownTimeZones contains only the ten time-zones mentioned in RFC 822 sec. 5: "UT", "GMT", "EST", "EDT", "CST", "CDT", "MST", "MDT", "PST", "PDT". Note that the parsing functions will regardless parse "UTC", single-letter military time-zones, and +HHMM format.

Orphan instances

Read Day

Methods

readsPrec :: Int -> ReadS Day

readList :: ReadS [Day]

readPrec :: ReadPrec Day

readListPrec :: ReadPrec [Day]

Read UTCTime

Methods

readsPrec :: Int -> ReadS UTCTime

readList :: ReadS [UTCTime]

readPrec :: ReadPrec UTCTime

readListPrec :: ReadPrec [UTCTime]

Read UTCView

Methods

readsPrec :: Int -> ReadS UTCView

readList :: ReadS [UTCView]

readPrec :: ReadPrec UTCView

readListPrec :: ReadPrec [UTCView]

Read LocalTime

Methods

readsPrec :: Int -> ReadS LocalTime

readList :: ReadS [LocalTime]

readPrec :: ReadPrec LocalTime

readListPrec :: ReadPrec [LocalTime]

Read TimeOfDay

Methods

readsPrec :: Int -> ReadS TimeOfDay

readList :: ReadS [TimeOfDay]

readPrec :: ReadPrec TimeOfDay

readListPrec :: ReadPrec [TimeOfDay]

Read ZonedTime

Methods

readsPrec :: Int -> ReadS ZonedTime

readList :: ReadS [ZonedTime]

readPrec :: ReadPrec ZonedTime

readListPrec :: ReadPrec [ZonedTime]