Chronos

Functions

Current

now :: IO Time

today :: IO Day

Gets the current Day. This does not take the user's time zone into account.

tomorrow :: IO Day

yesterday :: IO Day

epoch :: Time

Construction

datetimeFromYmdhms :: Int -> Int -> Int -> Int -> Int -> Int -> Datetime

Construct a Datetime from year, month, day, hour, minute, second:

>>> datetimeFromYmdhms 2014 2 26 17 58 52
foobar

timeFromYmdhms :: Int -> Int -> Int -> Int -> Int -> Int -> Time

Conversion

timeToDatetime :: Time -> Datetime

Convert Time to Datetime.

datetimeToTime :: Datetime -> Time

Convert Datetime to Time.

timeToOffsetDatetime :: Offset -> Time -> OffsetDatetime

Convert Time to OffsetDatetime by providing an Offset.

offsetDatetimeToTime :: OffsetDatetime -> Time

Convert OffsetDatetime to Time.

timeToDayTruncate :: Time -> Day

Convert Time to Day. This function is lossy; consequently, it does not roundtrip with dayToTimeMidnight.

dayToTimeMidnight :: Day -> Time

Convert midnight of the given Day to Time.

dayToDate :: Day -> Date

Convert Day to a Date.

dateToDay :: Date -> Day

Convert Date to a Day.

Build Timespan

second :: Timespan

minute :: Timespan

hour :: Timespan

day :: Timespan

week :: Timespan

Matching

buildDayOfWeekMatch :: a -> a -> a -> a -> a -> a -> a -> DayOfWeekMatch a

buildMonthMatch :: a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> MonthMatch a

caseMonth :: MonthMatch a -> Month -> a

Format

The formats provided is this module are language-agnostic. To find meridiem formats and month formats, look in a language-specific module.

w3c :: DatetimeFormat

slash :: DatetimeFormat

hyphen :: DatetimeFormat

compact :: DatetimeFormat

Months

january :: Month

february :: Month

march :: Month

april :: Month

may :: Month

june :: Month

july :: Month

august :: Month

september :: Month

october :: Month

november :: Month

december :: Month

Days of Week

sunday :: DayOfWeek

monday :: DayOfWeek

tuesday :: DayOfWeek

wednesday :: DayOfWeek

thursday :: DayOfWeek

friday :: DayOfWeek

saturday :: DayOfWeek

Textual Conversion

Date

Text

builder_Ymd :: Maybe Char -> Date -> Builder

This could be written much more efficiently since we know the exact size the resulting Text will be.

builder_Dmy :: Maybe Char -> Date -> Builder

builder_HMS :: SubsecondPrecision -> Maybe Char -> TimeOfDay -> Builder

parser_Ymd :: Maybe Char -> Parser Date

parser_Mdy :: Maybe Char -> Parser Date

parser_Dmy :: Maybe Char -> Parser Date

UTF-8 ByteString

builderUtf8_Ymd :: Maybe Char -> Date -> Builder

parserUtf8_Ymd :: Maybe Char -> Parser Date

Time of Day

Text

builder_IMS_p :: MeridiemLocale Text -> SubsecondPrecision -> Maybe Char -> TimeOfDay -> Builder

builder_IMSp :: MeridiemLocale Text -> SubsecondPrecision -> Maybe Char -> TimeOfDay -> Builder

parser_HMS :: Maybe Char -> Parser TimeOfDay

parser_HMS_opt_S :: Maybe Char -> Parser TimeOfDay

Parses text that is formatted as either of the following:

• %H:%M

• %H:%M:%S

That is, the seconds and subseconds part is optional. If it is not provided, it is assumed to be zero. This format shows up in Google Chrome's datetime-local inputs.

UTF-8 ByteString

builderUtf8_HMS :: SubsecondPrecision -> Maybe Char -> TimeOfDay -> Builder

builderUtf8_IMS_p :: MeridiemLocale ByteString -> SubsecondPrecision -> Maybe Char -> TimeOfDay -> Builder

builderUtf8_IMSp :: MeridiemLocale ByteString -> SubsecondPrecision -> Maybe Char -> TimeOfDay -> Builder

parserUtf8_HMS :: Maybe Char -> Parser TimeOfDay

parserUtf8_HMS_opt_S :: Maybe Char -> Parser TimeOfDay

Parses text that is formatted as either of the following:

• %H:%M

• %H:%M:%S

That is, the seconds and subseconds part is optional. If it is not provided, it is assumed to be zero. This format shows up in Google Chrome's datetime-local inputs.

Datetime

Text

builder_DmyHMS :: SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builder_DmyIMSp :: MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builder_DmyIMS_p :: MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builder_YmdHMS :: SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

This could be written much more efficiently since we know the exact size the resulting Text will be.

builder_YmdIMSp :: MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builder_YmdIMS_p :: MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builderW3C :: Datetime -> Builder

encode_DmyHMS :: SubsecondPrecision -> DatetimeFormat -> Datetime -> Text

encode_DmyIMS_p :: MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Text

encode_YmdHMS :: SubsecondPrecision -> DatetimeFormat -> Datetime -> Text

encode_YmdIMS_p :: MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Text

parser_DmyHMS :: DatetimeFormat -> Parser Datetime

parser_YmdHMS :: DatetimeFormat -> Parser Datetime

parser_YmdHMS_opt_S :: DatetimeFormat -> Parser Datetime

parser_DmyHMS_opt_S :: DatetimeFormat -> Parser Datetime

decode_DmyHMS :: DatetimeFormat -> Text -> Maybe Datetime

decode_YmdHMS :: DatetimeFormat -> Text -> Maybe Datetime

decode_YmdHMS_opt_S :: DatetimeFormat -> Text -> Maybe Datetime

decode_DmyHMS_opt_S :: DatetimeFormat -> Text -> Maybe Datetime

UTF-8 ByteString

encodeUtf8_YmdHMS :: SubsecondPrecision -> DatetimeFormat -> Datetime -> ByteString

encodeUtf8_YmdIMS_p :: MeridiemLocale ByteString -> SubsecondPrecision -> DatetimeFormat -> Datetime -> ByteString

builderUtf8_YmdHMS :: SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builderUtf8_YmdIMSp :: MeridiemLocale ByteString -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builderUtf8_YmdIMS_p :: MeridiemLocale ByteString -> SubsecondPrecision -> DatetimeFormat -> Datetime -> Builder

builderUtf8W3C :: Datetime -> Builder

decodeUtf8_YmdHMS :: DatetimeFormat -> ByteString -> Maybe Datetime

decodeUtf8_YmdHMS_opt_S :: DatetimeFormat -> ByteString -> Maybe Datetime

parserUtf8_YmdHMS :: DatetimeFormat -> Parser Datetime

parserUtf8_YmdHMS_opt_S :: DatetimeFormat -> Parser Datetime

Offset Datetime

Text

encode_YmdHMSz :: OffsetFormat -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Text

encode_DmyHMSz :: OffsetFormat -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Text

builder_YmdHMSz :: OffsetFormat -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Builder

builder_DmyHMSz :: OffsetFormat -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Builder

parser_YmdHMSz :: OffsetFormat -> DatetimeFormat -> Parser OffsetDatetime

parser_DmyHMSz :: OffsetFormat -> DatetimeFormat -> Parser OffsetDatetime

builder_YmdIMS_p_z :: OffsetFormat -> MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Builder

builder_DmyIMS_p_z :: OffsetFormat -> MeridiemLocale Text -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Builder

builderW3Cz :: OffsetDatetime -> Builder

UTF-8 ByteString

builderUtf8_YmdHMSz :: OffsetFormat -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Builder

parserUtf8_YmdHMSz :: OffsetFormat -> DatetimeFormat -> Parser OffsetDatetime

builderUtf8_YmdIMS_p_z :: OffsetFormat -> MeridiemLocale ByteString -> SubsecondPrecision -> DatetimeFormat -> OffsetDatetime -> Builder

builderUtf8W3Cz :: OffsetDatetime -> Builder