Chronos

Chronos is a performance-oriented time library for Haskell, with a straightforward API. The main differences between this and the time library are:

• Chronos uses machine integers where possible. This means that time-related arithmetic should be faster, with the drawback that the types are incapable of representing times that are very far in the future or the past (because Chronos provides nanosecond, rather than picosecond, resolution). For most users, this is not a hindrance.
• Chronos provides ToJSON/FromJSON instances for serialisation.
• Chronos provides Unbox instances for working with unboxed vectors.
• Chronos provides Prim instances for working with byte arrays/primitive arrays.
• Chronos uses normal non-overloaded haskell functions for encoding and decoding time. It provides attoparsec parsers for both Text and ByteString. Additionally, Chronos provides functions for encoding time to Text or ByteString. The time library accomplishes these with the Data.Time.Format module, which uses UNIX-style datetime format strings. The approach taken by Chronos is faster and catches more mistakes at compile time, at the cost of being less expressive.

Functions

Current

now :: IO Time

Get the current time from the system clock.

today :: IO Day

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

tomorrow :: IO Day

Gets the Day of tomorrow.

yesterday :: IO Day

Gets the Day of yesterday.

todayDayOfWeek :: IO DayOfWeek

Get the current DayOfWeek from the system clock.

yesterdayDayOfWeek :: IO DayOfWeek

Get the yesterday's DayOfWeek from the system clock.

tomorrowDayOfWeek :: IO DayOfWeek

Get the tomorrow's DayOfWeek from the system clock.

timeToDayOfWeek :: Time -> DayOfWeek

Convert from Time to DayOfWeek.

epoch :: Time

The Unix epoch, that is 1970-01-01 00:00:00.

Duration

stopwatch :: IO a -> IO (Timespan, a)

Measures the time it takes to run an action and evaluate its result to WHNF. This measurement uses a monotonic clock instead of the standard system clock.

stopwatch_ :: IO a -> IO Timespan

Measures the time it takes to run an action. The result is discarded. This measurement uses a monotonic clock instead of the standard system clock.

Construction

datetimeFromYmdhms

Arguments

:: Int

Year

-> Int

Month

-> Int

Day

-> Int

Hour

-> Int

Minute

-> Int

Second

-> Datetime

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

>>> datetimeFromYmdhms 2014 2 26 17 58 52
Datetime {datetimeDate = Date {dateYear = Year {getYear = 2014}, dateMonth = Month {getMonth = 1}, dateDay = DayOfMonth {getDayOfMonth = 26}}, datetimeTime = TimeOfDay {timeOfDayHour = 17, timeOfDayMinute = 58, timeOfDayNanoseconds = 52000000000}}

timeFromYmdhms

Arguments

:: Int

Year

-> Int

Month

-> Int

Day

-> Int

Hour

-> Int

Minute

-> Int

Second

-> Time

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

>>> timeFromYmdhms 2014 2 26 17 58 52
Time {getTime = 1393437532000000000}

Conversion

timeToDatetime :: Time -> Datetime

Convert Time to Datetime.

\(t :: Time) -> (datetimeToTime (timeToDatetime t)) == t

datetimeToTime :: Datetime -> Time

Convert Datetime to Time.

\(d :: Datetime) -> timeToDatetime (datetimeToTime d) == d

datetimeToDayOfWeek :: Datetime -> DayOfWeek

Convert Datetime to DayOfWeek

dateToDayOfWeek :: Date -> DayOfWeek

Convert Date to DayOfWeek

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.

\(d :: Day) -> dateToDay (dayToDate d) == d

dateToDay :: Date -> Day

Convert a Date to a Day.

\(d :: Date) -> dayToDate (dateToDay d) == d

dayToOrdinalDate :: Day -> OrdinalDate

Convert a Day to an OrdinalDate.

ordinalDateToDay :: OrdinalDate -> Day

Convert an OrdinalDate to a Day.

monthDateToDayOfYear

Arguments

:: Bool

Is it a leap year?

-> MonthDate

-> DayOfYear

Convert a MonthDate to a DayOfYear.

dayOfYearToMonthDay

Arguments

:: Bool

Is it a leap year?

-> DayOfYear

-> MonthDate

Convert a DayOfYear to a MonthDate.

Build Timespan

second :: Timespan

A Timespan representing a single second.

minute :: Timespan

A Timespan representing a single minute.

hour :: Timespan

A Timespan representing a single hour.

day :: Timespan

A Timespan representing a single day.

week :: Timespan

A Timespan representing a single week.

Matching

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

Build a DayOfWeekMatch from seven (7) values.

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

Build a MonthMatch from twelve (12) values.

buildUnboxedMonthMatch :: Unbox a => a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> UnboxedMonthMatch a

Build an UnboxedMonthMatch from twelve (12) values.

caseDayOfWeek :: DayOfWeekMatch a -> DayOfWeek -> a

Match a DayOfWeek against a DayOfWeekMatch.

caseMonth :: MonthMatch a -> Month -> a

Match a Month against a MonthMatch.

caseUnboxedMonth :: Unbox a => UnboxedMonthMatch a -> Month -> a

Match a Month against an UnboxedMonthMatch.

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

The W3C DatetimeFormat.

>>> encode_YmdHMS SubsecondPrecisionAuto w3c (timeToDatetime (timeFromYmdhms 2014 2 26 17 58 52))
"2014-02-26T17:58:52"

\(s :: SubsecondPrecision) (dt :: Datetime) -> isJust (decode_YmdHMS w3c (encode_YmdHMS s w3c dt))

slash :: DatetimeFormat

A DatetimeFormat that separates the members of the Date by slashes.

>>> encode_YmdHMS SubsecondPrecisionAuto slash (timeToDatetime (timeFromYmdhms 2014 2 26 17 58 52))
"2014/02/26 17:58:52"

\(s :: SubsecondPrecision) (dt :: Datetime) -> isJust (decode_YmdHMS slash (encode_YmdHMS s slash dt))

hyphen :: DatetimeFormat

A DatetimeFormat that separates the members of the Date by hyphens.

>>> encode_YmdHMS SubsecondPrecisionAuto hyphen (timeToDatetime (timeFromYmdhms 2014 2 26 17 58 52))
"2014-02-26 17:58:52"

\(s :: SubsecondPrecision) (dt :: Datetime) -> isJust (decode_YmdHMS hyphen (encode_YmdHMS s hyphen dt))

compact :: DatetimeFormat

A DatetimeFormat with no separators, except for a T between the Date and Time.

>>> encode_YmdHMS SubsecondPrecisionAuto compact (timeToDatetime (timeFromYmdhms 2014 2 26 17 58 52))
"20140226T175852"

\(s :: SubsecondPrecision) (dt :: Datetime) -> isJust (decode_YmdHMS compact (encode_YmdHMS s compact dt))

timeParts :: Offset -> Time -> TimeParts

Deconstruct a Time into its TimeParts.

Months

january :: Month

The Month of January.

february :: Month

The Month of February.

march :: Month

The Month of March.

april :: Month

The Month of April.

may :: Month

The Month of May.

june :: Month

The Month of June.

july :: Month

The Month of July.

august :: Month

The Month of August.

september :: Month

The Month of September.

october :: Month

The Month of October.

november :: Month

The Month of November.

december :: Month

The Month of December.

Days of Week

sunday :: DayOfWeek

The DayOfWeek Sunday.

monday :: DayOfWeek

The DayOfWeek Monday.

tuesday :: DayOfWeek

The DayOfWeek Tuesday.

wednesday :: DayOfWeek

The DayOfWeek Wednesday.

thursday :: DayOfWeek

The DayOfWeek Thursday.

friday :: DayOfWeek

The DayOfWeek Friday.

saturday :: DayOfWeek

The DayOfWeek Saturday.

Utility

daysInMonth

Arguments

:: Bool

Is this a leap year?

-> Month

Month of year

-> Int

Return the number of days in a given month.

isLeapYear :: Year -> Bool

Is the Year a leap year?

>>> isLeapYear (Year 1996)
True

>>> isLeapYear (Year 2019)
False

observedOffsets :: Vector Offset

All UTC time offsets. See List of UTC time offsets.

Textual Conversion

Date

Text

builder_Ymd :: Maybe Char -> Date -> Builder

Given a Date and a separator, construct a Text Builder corresponding to Year/Month/Day encoding.

builder_Dmy :: Maybe Char -> Date -> Builder

Given a Date and a separator, construct a Text Builder corresponding to a Day/Month/Year encoding.

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

Given a SubsecondPrecision and a separator, construct a Text Builder corresponding to an Hour/Minute/Second encoding.

parser_Ymd :: Maybe Char -> Parser Date

Parse a Year/Month/Day-encoded Date that uses the given separator.

parser_Ymd_lenient :: Parser Date

Parse a Year/Month/Day-encoded Date that either has no separators or uses any non-numeric character for each separator.

parser_Mdy :: Maybe Char -> Parser Date

Parse a Month/Day/Year-encoded Date that uses the given separator.

parser_Mdy_lenient :: Parser Date

Parse a Month/Day/Year-encoded Date that either has no separators or uses any non-numeric character for each separator.

parser_Dmy :: Maybe Char -> Parser Date

Parse a Day/Month/Year-encoded Date that uses the given separator.

parser_Dmy_lenient :: Parser Date

Parse a Day/Month/Year-encoded Date that either has no separators or uses any non-numeric character for each separator.

UTF-8 ByteString

builderUtf8_Ymd :: Maybe Char -> Date -> Builder

Given a Date and a separator, construct a ByteString Builder corresponding to a Day/Month/Year encoding.

parserUtf8_Ymd :: Maybe Char -> Parser Date

Parse a Year/Month/Day-encoded Date that uses the given separator.

Time of Day

Text

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

Given a MeridiemLocale, a SubsecondPrecision, and a separator, construct a Text Builder according to an IMS encoding.

This differs from builder_IMSp in that their is a space between the seconds and locale.

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

Given a MeridiemLocale, a SubsecondPrecision, and a separator, construct a Text Builder according to an IMS encoding.

parser_HMS :: Maybe Char -> Parser TimeOfDay

Parse an Hour/Minute/Second-encoded TimeOfDay that uses the given separator.

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

Given a SubsecondPrecision and a separator, construct a ByteString Builder corresponding to an Hour/Minute/Second encoding of the given TimeOfDay.

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

Given a MeridiemLocale, a SubsecondPrecision, and a separator, construct a ByteString Builder corresponding to an IMS encoding of the given TimeOfDay. This differs from builderUtf8_IMSp in that there is a space between the seconds and locale.

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

Given a MeridiemLocale, a SubsecondPrecision, and a separator, construct a ByteString Builder corresponding to an IMS encoding of the given TimeOfDay.

parserUtf8_HMS :: Maybe Char -> Parser TimeOfDay

Parse an Hour/Minute/Second-encoded TimeOfDay that uses the given separator.

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.

zeptoUtf8_HMS :: Maybe Char -> Parser TimeOfDay

Parse a TimeOfDay that was encoded using the given separator.

Datetime

Text

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

Given a SubsecondPrecision and a DatetimeFormat, construct a Text Builder corresponding to a Day/Month/Year,Hour/Minute/Second encoding of the given Datetime.

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

Given a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct a Text Builder corresponding to a Day/Month/Year,IMS encoding of the given Datetime.

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

Given a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct a Text Builder corresponding to a Day/Month/Year,IMS encoding of the given Datetime. This differs from builder_DmyIMSp in that it adds a space between the locale and seconds.

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

Given a SubsecondPrecision and a DatetimeFormat, construct a Text Builder corresponding to a Year/Month/Day,Hour/Minute/Second encoding of the given Datetime.

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

Given a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct a Text Builder that corresponds to a Year/Month/Day,IMS encoding of the given Datetime.

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

Given a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct a Text Builder that corresponds to a Year/Month/Day,IMS encoding of the given Datetime. This inserts a space between the locale and seconds.

builderW3C :: Datetime -> Builder

Construct a Text Builder corresponding to the W3C encoding of the given Datetime.

Deprecated. This is just a poorly named alias for builderIso8601.

builderIso8601 :: Datetime -> Builder

Construct a Text Builder corresponding to the ISO-8601 encoding of the given Datetime.

encodeIso8601 :: Datetime -> Text

Construct Text corresponding to the ISO-8601 encoding of the given Datetime.

>>> encodeIso8601 (datetimeFromYmdhms 2014 2 26 17 58 52)
"2014-02-26T17:58:52"

encode_Ymd :: Maybe Char -> Date -> Text

Given a Date and a separator, construct a Text corresponding to a Year/Month/Day encoding.

>>> encode_Ymd (Just ':') (Date (Year 2022) january (DayOfMonth 13))
"2022:01:13"

encode_Dmy :: Maybe Char -> Date -> Text

Given a Date and a separator, construct a Text corresponding to a Day/Month/Year encoding.

>>> encode_Dmy (Just ':') (Date (Year 2022) january (DayOfMonth 13))
"13:01:2022"

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

Given a SubsecondPrecision and DatetimeFormat, construct Text that corresponds to a Day/Month/Year,Hour/Minute/Second encoding of the given Datetime.

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

Given a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct Text that corresponds to a Day/Month/Year,IMS encoding of the given Datetime. This inserts a space between the locale and seconds.

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

Given a SubsecondPrecision and DatetimeFormat, construct Text that corresponds to a Year/Month/Day,Hour/Minute/Second encoding of the given Datetime.

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

Given a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct Text that corresponds to a Year/Month/Day,IMS encoding of the given Datetime. This inserts a space between the locale and seconds.

parser_DmyHMS :: DatetimeFormat -> Parser Datetime

Parse a Day/Month/Year,Hour/Minute/Second-encoded Datetime that was encoded with the given DatetimeFormat.

parser_DmyHMS_lenient :: Parser Datetime

Parse a Day/Month/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with either no separators or any non-numeric character for each separator, such as:

01-05-2017T23:13:05 01-05-2017 23:13:05 01052017 23:13:05 01y01/2018x23;50&29

parser_YmdHMS :: DatetimeFormat -> Parser Datetime

Parses a Year/Month/Day,Hour/Minute/Second-encoded Datetime that was encoded using the given DatetimeFormat.

parser_YmdHMS_lenient :: Parser Datetime

Parses a Year/Month/Day,Hour/Minute/Second-encoded Datetime that was encoded with either no separators or any non-numeric character for each separator.

parser_YmdHMS_opt_S :: DatetimeFormat -> Parser Datetime

Parses a Year/Month/Date,Hour/Minute/Second-encoded Datetime from Text that was encoded with the given DatetimeFormat and with either of the following time formats:

• %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.

parser_YmdHMS_opt_S_lenient :: Parser Datetime

Parses a Year/Month/Date,Hour/Minute/Second-encoded Datetime from Text that was encoded with either no separators or any non-numeric character for each separator and with either of the following time formats:

• %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.

parser_DmyHMS_opt_S :: DatetimeFormat -> Parser Datetime

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.

parser_DmyHMS_opt_S_lenient :: Parser Datetime

Parse a Day/Month/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with either no separators or any non-numeric character for each separator and with either of the following time formats:

• %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.

parser_MdyHMS :: DatetimeFormat -> Parser Datetime

Parses a Month/Day/Year,Hour/Minute/Second-encoded Datetime that was encoded using the given DatetimeFormat.

parser_MdyHMS_lenient :: Parser Datetime

Parses a Month/Day/Year,Hour/Minute/Second-encoded Datetime that was encoded with either no separators or any non-numeric character for each separator.

parser_MdyHMS_opt_S :: DatetimeFormat -> Parser Datetime

Parse a Month/Day/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with with the given DatetimeFormat and with either of the following time formats:

• %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.

parser_MdyHMS_opt_S_lenient :: Parser Datetime

Parse a Month/Day/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with either no separators or any non-numeric character for each separator and with either of the following time formats:

• %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.

parser_lenient :: Parser Datetime

Parses a Datetime from Text that was encoded with any of the following formats and with either no separators or any non-numeric character for each separator.

• %Y-%M-%D %H:%M

• %Y-%M-%D %H:%M:%S

• %D-%M-%Y %H:%M

• %D-%M-%Y %H:%M:%S

• %M-%D-%Y %H:%M

• %M-%D-%Y %H:%M:%S

That is, the seconds and subseconds part is optional. If it is not provided, it is assumed to be zero. Note that this is the least performant parser due to backtracking

decode_DmyHMS :: DatetimeFormat -> Text -> Maybe Datetime

Decode a Day/Month/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with the given DatetimeFormat.

decode_DmyHMS_lenient :: Text -> Maybe Datetime

Decodes Day/Month/Year,Hour/Minute/Second-encoded Datetime from Text that is encoded with either no separators or any non-numeric characters as separators, such as:

2017-01-05T23:13:05 2017-01-05 23:13:05 20170105 23:13:05 2018x01y01/23;50&29

decode_MdyHMS :: DatetimeFormat -> Text -> Maybe Datetime

Decode a Month/Day/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with the given DatetimeFormat.

decode_MdyHMS_lenient :: Text -> Maybe Datetime

Decode a Month/Day/Year,Hour/Minute/Second-encoded Datetime from Text with either no separators or any non-numeric character for each separator.

decode_MdyHMS_opt_S :: DatetimeFormat -> Text -> Maybe Datetime

Decode a Month/Day/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with the given DatetimeFormat and with either of the following time formats:

• %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.

decode_MdyHMS_opt_S_lenient :: Text -> Maybe Datetime

Parse a Month/Day/Year,Hour/Minute/Second-encoded Datetime from Text with either no separators or any non-numeric character for each separator and with either of the following time formats:

• %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.

decode_YmdHMS :: DatetimeFormat -> Text -> Maybe Datetime

Decode a Year/Month/Day,Hour/Minute/Second-encoded Datetime from Text that was encoded with the given DatetimeFormat.

decode_YmdHMS_lenient :: Text -> Maybe Datetime

Decode a Year/Month/Day,Hour/Minute/Second-encoded Datetime from Text that was encoded with either no separators or any non-numeric character for each separator.

decode_YmdHMS_opt_S :: DatetimeFormat -> Text -> Maybe Datetime

Decode a Year/Month/Date,Hour/Minute/Second-encoded Datetime from Text that was encoded with the given DatetimeFormat and with either of the following time formats:

• %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.

decode_YmdHMS_opt_S_lenient :: Text -> Maybe Datetime

Decode a Year/Month/Date,Hour/Minute/Second-encoded Datetime from Text that was encoded with either no separators or any non-numeric character for each separator and with either of the following time formats:

• %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.

decode_DmyHMS_opt_S :: DatetimeFormat -> Text -> Maybe Datetime

Decode a Day/Month/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with with the given DatetimeFormat and with either of the following time formats:

• %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.

decode_DmyHMS_opt_S_lenient :: Text -> Maybe Datetime

Decode a Day/Month/Year,Hour/Minute/Second-encoded Datetime from Text that was encoded with either no separators or any non-numeric character for each separator and with either of the following time formats:

• %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.

decode_lenient :: Text -> Maybe Datetime

Parses text that was encoded in DMY, YMD, or MDY format with optional seconds and any non-numeric character as separators.

UTF-8 ByteString

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

Given a SubsecondPrecision and a DatetimeFormat, construct a ByteString corresponding to a Year/Month/Day,Hour/Minute/Second encoding of the given Datetime.

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

Given a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct a ByteString corresponding to a Year/Month/Day,IMS encoding of the given Datetime. This inserts a space between the locale and seconds.

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

Given a SubsecondPrecision and a DatetimeFormat, construct a ByteString Builder corresponding to a Year/Month/Day,Hour/Minute/Second encoding of the given Datetime.

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

Given a SubsecondPrecision and a DatetimeFormat, construct a ByteString Builder corresponding to a Year/Month/Day,IMS encoding of the given Datetime.

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

Given a SubsecondPrecision and a DatetimeFormat, construct a ByteString Builder corresponding to a Year/Month/Day,IMS encoding of the given Datetime. This inserts a space between the locale and seconds.

builderUtf8W3C :: Datetime -> Builder

Construct a ByteString Builder corresponding to a W3C encoding of the given Datetime.

decodeUtf8_YmdHMS :: DatetimeFormat -> ByteString -> Maybe Datetime

Decode a Year/Month/Day,Hour/Minute/Second-encoded Datetime from a ByteString.

decodeUtf8_YmdHMS_opt_S :: DatetimeFormat -> ByteString -> Maybe Datetime

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.

parserUtf8_YmdHMS :: DatetimeFormat -> Parser Datetime

Parse a Year/Month/Day,Hour/Minute/Second-encoded Datetime that was encoded using the given DatetimeFormat.

parserUtf8_YmdHMS_opt_S :: DatetimeFormat -> Parser Datetime

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.

zeptoUtf8_YmdHMS :: DatetimeFormat -> Parser Datetime

Parse a Datetime that was encoded using the given DatetimeFormat.

UTF-8 Bytes

boundedBuilderUtf8BytesIso8601Zoneless :: Datetime -> Builder 44

Encode a datetime with ISO-8601. The result does not include any indication of a time zone. If the subsecond part is zero, it is suppressed. Examples of output:

2021-01-05T23:00:51
2021-01-05T23:00:52.123000000
2021-01-05T23:00:53.674094347

decodeUtf8BytesIso8601Zoneless :: Bytes -> Maybe Datetime

Short Text

decodeShortTextIso8601Zoneless :: ShortText -> Maybe Datetime

Decode an ISO-8601-encode datetime. The encoded time must not by suffixed by an offset. Any offset (e.g. -05:00, +00:00, Z) will cause a decode failure.

encodeShortTextIso8601Zulu :: Datetime -> ShortText

encodeShortTextIso8601Zoneless :: Datetime -> ShortText

Offset Datetime

Text

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

Given an OffsetFormat, a SubsecondPrecision, and a DatetimeFormat, construct Text corresponding to the Year/Month/Day,Hour/Minute/Second-encoding of the given OffsetDatetime.

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

Given an OffsetFormat, a SubsecondPrecision, and a DatetimeFormat, construct Text corresponding to the Day/Month/Year,Hour/Minute/Second encoding of the given OffsetDatetime.

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

Given an OffsetFormat, a SubsecondPrecision, and a DatetimeFormat, construct a Text Builder corresponding to a Year/Month/Day,Hour/Minute/Second encoding of the given OffsetDatetime.

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

Given an OffsetFormat, a SubsecondPrecision, and a DatetimeFormat, construct a Text Builder corresponding to the Day/Month/Year,Hour/Minute/Second-encoding of the given OffsetDatetime.

parser_YmdHMSz :: OffsetFormat -> DatetimeFormat -> Parser OffsetDatetime

Parse a Year/Month/Day,Hour/Minute/Second-encoded OffsetDatetime that was encoded using the given OffsetFormat and DatetimeFormat.

parser_DmyHMSz :: OffsetFormat -> DatetimeFormat -> Parser OffsetDatetime

Parse a Day/Month/Year,Hour/Minute/Second-encoded OffsetDatetime that was encoded using the given OffsetFormat and DatetimeFormat.

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

Given an OffsetFormat, a MeridiemLocale, a SubsecondPrecision, and DatetimeFormat, construct a Text Builder corresponding to a Year/Month/Day,IMS-encoding of the given OffsetDatetime.

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

Given an OffsetFormat, a MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct a Text Builder corresponding to the Day/Month/Year,IMS encoding of the given OffsetDatetime.

builderW3Cz :: OffsetDatetime -> Builder

Construct a Text Builder corresponding to the w3c-formatting of the given OffsetDatetime.

UTF-8 ByteString

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

Given an OffsetFormat, a SubsecondPrecision, and a DatetimeFormat, construct a ByteString Builder corresponding to the Year/Month/Day,Hour/Minute/Second encoding of the given OffsetDatetime.

parserUtf8_YmdHMSz :: OffsetFormat -> DatetimeFormat -> Parser OffsetDatetime

Parse a Year/Month/Day,Hour/Minute/Second-encoded OffsetDatetime that was encoded using the given OffsetFormat and DatetimeFormat.

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

Given an OffsetFormat, a 'MeridiemLocale, a SubsecondPrecision, and a DatetimeFormat, construct a ByteString Builder corresponding to a Year/Month/Day,IMS-encoded OffsetDatetime.

builderUtf8W3Cz :: OffsetDatetime -> Builder

Construct a ByteString Builder corresponding to the W3C encoding of the given Datetime.

UTF-8 Bytes

parserUtf8BytesIso8601 :: Parser () s OffsetDatetime

Consume an ISO-8601-encoded datetime with offset. This will consume any of the following:

2021-12-05T23:01:09Z
2021-12-05T23:01:09.000Z
2021-12-05T23:01:09.123456789Z
2021-12-05T23:01:09+05:00
2021-12-05T23:01:09.357-11:00

boundedBuilderUtf8BytesIso8601 :: OffsetDatetime -> Builder 50

decodeUtf8BytesIso8601 :: Bytes -> Maybe OffsetDatetime

ShortText

decodeShortTextIso8601 :: ShortText -> Maybe OffsetDatetime

Decode an ISO-8601-encode datetime. The encoded time must include an offset (e.g. -05:00, +00:00, Z).

encodeShortTextIso8601 :: OffsetDatetime -> ShortText

Offset

Text

encodeOffset :: OffsetFormat -> Offset -> Text

Encode an Offset to Text using the given OffsetFormat.

builderOffset :: OffsetFormat -> Offset -> Builder

Construct a Builder corresponding to the given Offset encoded using the given OffsetFormat.

decodeOffset :: OffsetFormat -> Text -> Maybe Offset

Decode an Offset from Text that was encoded using the given OffsetFormat.

parserOffset :: OffsetFormat -> Parser Offset

Parse an Offset that was encoded using the given OffsetFormat.

UTF-8 ByteString

encodeOffsetUtf8 :: OffsetFormat -> Offset -> ByteString

Encode an Offset as a ByteString using the given OffsetFormat.

builderOffsetUtf8 :: OffsetFormat -> Offset -> Builder

Construct a ByteString Builder corresponding to the encoding of an Offset using the given OffsetFormat.

decodeOffsetUtf8 :: OffsetFormat -> ByteString -> Maybe Offset

Decode an Offset from a ByteString that was encoded using the given OffsetFormat.

parserOffsetUtf8 :: OffsetFormat -> Parser Offset

Parse an Offset that was encoded using the given OffsetFormat.

Timespan

Text

encodeTimespan :: SubsecondPrecision -> Timespan -> Text

Encode a Timespan as Text using the given SubsecondPrecision.

builderTimespan :: SubsecondPrecision -> Timespan -> Builder

Construct a Text Builder corresponding to an encoding of the given Timespan using the given SubsecondPrecision.

UTF-8 ByteString

encodeTimespanUtf8 :: SubsecondPrecision -> Timespan -> ByteString

Given a SubsecondPrecision, construct a ByteString corresponding to an encoding of the given Timespan.

builderTimespanUtf8 :: SubsecondPrecision -> Timespan -> Builder

Given a SubsecondPrecision, construct a ByteString Builder corresponding to an encoding of the given Timespan.

TimeInterval

within :: Time -> TimeInterval -> Bool

Is the given Time within the TimeInterval?

timeIntervalToTimespan :: TimeInterval -> Timespan

Convert a TimeInterval to a Timespan. This is equivalent to width.

whole :: TimeInterval

The TimeInterval that covers the entire range of Times that Chronos supports.

\(t :: Time) -> within t whole

singleton :: Time -> TimeInterval

The singleton (degenerate) TimeInterval.

lowerBound :: TimeInterval -> Time

Get the lower bound of the TimeInterval.

upperBound :: TimeInterval -> Time

Get the upper bound of the TimeInterval.

width :: TimeInterval -> Timespan

The width of the TimeInterval. This is equivalent to timeIntervalToTimespan.

timeIntervalBuilder :: Time -> Time -> TimeInterval

A smart constructor for TimeInterval. In general, you should prefer using this over the TimeInterval constructor, since it maintains the invariant that lowerBound interval <= upperBound interval.

(...) :: Time -> Time -> TimeInterval infix 3

An infix timeIntervalBuilder.

Types

newtype Day

A day represented as the modified Julian date, the number of days since midnight on November 17, 1858.

Constructors

Day

Fields

• getDay :: Int

Instances

Enum Day

Defined in Chronos

Methods

succ :: Day -> Day

pred :: Day -> Day

toEnum :: Int -> Day

fromEnum :: Day -> Int

enumFrom :: Day -> [Day]

enumFromThen :: Day -> Day -> [Day]

enumFromTo :: Day -> Day -> [Day]

enumFromThenTo :: Day -> Day -> Day -> [Day]

Eq Day

Defined in Chronos

Methods

(==) :: Day -> Day -> Bool

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

Ord Day

Defined in Chronos

Methods

compare :: Day -> Day -> Ordering

(<) :: Day -> Day -> Bool

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

(>) :: Day -> Day -> Bool

(>=) :: Day -> Day -> Bool

max :: Day -> Day -> Day

min :: Day -> Day -> Day

Read Day

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Day

readList :: ReadS [Day]

readPrec :: ReadPrec Day

readListPrec :: ReadPrec [Day]

Show Day

Defined in Chronos

Methods

showsPrec :: Int -> Day -> ShowS

show :: Day -> String

showList :: [Day] -> ShowS

Hashable Day

Defined in Chronos

Methods

hashWithSalt :: Int -> Day -> Int

hash :: Day -> Int

ToJSON Day

Defined in Chronos

Methods

toJSON :: Day -> Value

toEncoding :: Day -> Encoding

toJSONList :: [Day] -> Value

toEncodingList :: [Day] -> Encoding

FromJSON Day

Defined in Chronos

Methods

parseJSON :: Value -> Parser Day

parseJSONList :: Value -> Parser [Day]

Storable Day

Defined in Chronos

Methods

sizeOf :: Day -> Int

alignment :: Day -> Int

peekElemOff :: Ptr Day -> Int -> IO Day

pokeElemOff :: Ptr Day -> Int -> Day -> IO ()

peekByteOff :: Ptr b -> Int -> IO Day

pokeByteOff :: Ptr b -> Int -> Day -> IO ()

peek :: Ptr Day -> IO Day

poke :: Ptr Day -> Day -> IO ()

NFData Day

Defined in Chronos

Methods

rnf :: Day -> ()

Prim Day

Defined in Chronos

Methods

sizeOf# :: Day -> Int#

alignment# :: Day -> Int#

indexByteArray# :: ByteArray# -> Int# -> Day

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Day #)

writeByteArray# :: MutableByteArray# s -> Int# -> Day -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Day -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Day

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Day #)

writeOffAddr# :: Addr# -> Int# -> Day -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Day -> State# s -> State# s

Torsor Day Int

Defined in Chronos

Methods

add :: Int -> Day -> Day

difference :: Day -> Day -> Int

newtype DayOfWeek

The day of the week.

Constructors

DayOfWeek

Fields

• getDayOfWeek :: Int

Instances

Eq DayOfWeek

Defined in Chronos

Methods

(==) :: DayOfWeek -> DayOfWeek -> Bool

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

Ord DayOfWeek

Defined in Chronos

Methods

compare :: DayOfWeek -> DayOfWeek -> Ordering

(<) :: DayOfWeek -> DayOfWeek -> Bool

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

(>) :: DayOfWeek -> DayOfWeek -> Bool

(>=) :: DayOfWeek -> DayOfWeek -> Bool

max :: DayOfWeek -> DayOfWeek -> DayOfWeek

min :: DayOfWeek -> DayOfWeek -> DayOfWeek

Read DayOfWeek

Defined in Chronos

Methods

readsPrec :: Int -> ReadS DayOfWeek

readList :: ReadS [DayOfWeek]

readPrec :: ReadPrec DayOfWeek

readListPrec :: ReadPrec [DayOfWeek]

Show DayOfWeek

Defined in Chronos

Methods

showsPrec :: Int -> DayOfWeek -> ShowS

show :: DayOfWeek -> String

showList :: [DayOfWeek] -> ShowS

Hashable DayOfWeek

Defined in Chronos

Methods

hashWithSalt :: Int -> DayOfWeek -> Int

hash :: DayOfWeek -> Int

NFData DayOfWeek

Defined in Chronos

Methods

rnf :: DayOfWeek -> ()

newtype DayOfMonth

The day of the month.

Constructors

DayOfMonth

Fields

• getDayOfMonth :: Int

Instances

Enum DayOfMonth

Defined in Chronos

Methods

succ :: DayOfMonth -> DayOfMonth

pred :: DayOfMonth -> DayOfMonth

toEnum :: Int -> DayOfMonth

fromEnum :: DayOfMonth -> Int

enumFrom :: DayOfMonth -> [DayOfMonth]

enumFromThen :: DayOfMonth -> DayOfMonth -> [DayOfMonth]

enumFromTo :: DayOfMonth -> DayOfMonth -> [DayOfMonth]

enumFromThenTo :: DayOfMonth -> DayOfMonth -> DayOfMonth -> [DayOfMonth]

Eq DayOfMonth

Defined in Chronos

Methods

(==) :: DayOfMonth -> DayOfMonth -> Bool

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

Ord DayOfMonth

Defined in Chronos

Methods

compare :: DayOfMonth -> DayOfMonth -> Ordering

(<) :: DayOfMonth -> DayOfMonth -> Bool

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

(>) :: DayOfMonth -> DayOfMonth -> Bool

(>=) :: DayOfMonth -> DayOfMonth -> Bool

max :: DayOfMonth -> DayOfMonth -> DayOfMonth

min :: DayOfMonth -> DayOfMonth -> DayOfMonth

Read DayOfMonth

Defined in Chronos

Methods

readsPrec :: Int -> ReadS DayOfMonth

readList :: ReadS [DayOfMonth]

readPrec :: ReadPrec DayOfMonth

readListPrec :: ReadPrec [DayOfMonth]

Show DayOfMonth

Defined in Chronos

Methods

showsPrec :: Int -> DayOfMonth -> ShowS

show :: DayOfMonth -> String

showList :: [DayOfMonth] -> ShowS

NFData DayOfMonth

Defined in Chronos

Methods

rnf :: DayOfMonth -> ()

Prim DayOfMonth

Defined in Chronos

Methods

sizeOf# :: DayOfMonth -> Int#

alignment# :: DayOfMonth -> Int#

indexByteArray# :: ByteArray# -> Int# -> DayOfMonth

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DayOfMonth #)

writeByteArray# :: MutableByteArray# s -> Int# -> DayOfMonth -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> DayOfMonth -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> DayOfMonth

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, DayOfMonth #)

writeOffAddr# :: Addr# -> Int# -> DayOfMonth -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> DayOfMonth -> State# s -> State# s

Unbox DayOfMonth

Defined in Chronos

Vector Vector DayOfMonth

Defined in Chronos

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) DayOfMonth -> m (Vector DayOfMonth)

basicUnsafeThaw :: PrimMonad m => Vector DayOfMonth -> m (Mutable Vector (PrimState m) DayOfMonth)

basicLength :: Vector DayOfMonth -> Int

basicUnsafeSlice :: Int -> Int -> Vector DayOfMonth -> Vector DayOfMonth

basicUnsafeIndexM :: Monad m => Vector DayOfMonth -> Int -> m DayOfMonth

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) DayOfMonth -> Vector DayOfMonth -> m ()

elemseq :: Vector DayOfMonth -> DayOfMonth -> b -> b

MVector MVector DayOfMonth

Defined in Chronos

Methods

basicLength :: MVector s DayOfMonth -> Int

basicUnsafeSlice :: Int -> Int -> MVector s DayOfMonth -> MVector s DayOfMonth

basicOverlaps :: MVector s DayOfMonth -> MVector s DayOfMonth -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) DayOfMonth)

basicInitialize :: PrimMonad m => MVector (PrimState m) DayOfMonth -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> DayOfMonth -> m (MVector (PrimState m) DayOfMonth)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) DayOfMonth -> Int -> m DayOfMonth

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) DayOfMonth -> Int -> DayOfMonth -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) DayOfMonth -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) DayOfMonth -> DayOfMonth -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) DayOfMonth -> MVector (PrimState m) DayOfMonth -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) DayOfMonth -> MVector (PrimState m) DayOfMonth -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) DayOfMonth -> Int -> m (MVector (PrimState m) DayOfMonth)

newtype Vector DayOfMonth

Defined in Chronos

newtype Vector DayOfMonth = V_DayOfMonth (Vector DayOfMonth)

newtype MVector s DayOfMonth

Defined in Chronos

newtype MVector s DayOfMonth = MV_DayOfMonth (MVector s DayOfMonth)

newtype DayOfYear

The day of the year.

Constructors

DayOfYear

Fields

• getDayOfYear :: Int

Instances

Eq DayOfYear

Defined in Chronos

Methods

(==) :: DayOfYear -> DayOfYear -> Bool

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

Ord DayOfYear

Defined in Chronos

Methods

compare :: DayOfYear -> DayOfYear -> Ordering

(<) :: DayOfYear -> DayOfYear -> Bool

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

(>) :: DayOfYear -> DayOfYear -> Bool

(>=) :: DayOfYear -> DayOfYear -> Bool

max :: DayOfYear -> DayOfYear -> DayOfYear

min :: DayOfYear -> DayOfYear -> DayOfYear

Read DayOfYear

Defined in Chronos

Methods

readsPrec :: Int -> ReadS DayOfYear

readList :: ReadS [DayOfYear]

readPrec :: ReadPrec DayOfYear

readListPrec :: ReadPrec [DayOfYear]

Show DayOfYear

Defined in Chronos

Methods

showsPrec :: Int -> DayOfYear -> ShowS

show :: DayOfYear -> String

showList :: [DayOfYear] -> ShowS

NFData DayOfYear

Defined in Chronos

Methods

rnf :: DayOfYear -> ()

Prim DayOfYear

Defined in Chronos

Methods

sizeOf# :: DayOfYear -> Int#

alignment# :: DayOfYear -> Int#

indexByteArray# :: ByteArray# -> Int# -> DayOfYear

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DayOfYear #)

writeByteArray# :: MutableByteArray# s -> Int# -> DayOfYear -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> DayOfYear -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> DayOfYear

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, DayOfYear #)

writeOffAddr# :: Addr# -> Int# -> DayOfYear -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> DayOfYear -> State# s -> State# s

newtype Month

The month of the year.

Constructors

Month

Fields

• getMonth :: Int

Instances

Bounded Month

Month starts at 0 and ends at 11 (January to December)

Defined in Chronos

Methods

minBound :: Month

maxBound :: Month

Enum Month

Defined in Chronos

Methods

succ :: Month -> Month

pred :: Month -> Month

toEnum :: Int -> Month

fromEnum :: Month -> Int

enumFrom :: Month -> [Month]

enumFromThen :: Month -> Month -> [Month]

enumFromTo :: Month -> Month -> [Month]

enumFromThenTo :: Month -> Month -> Month -> [Month]

Eq Month

Defined in Chronos

Methods

(==) :: Month -> Month -> Bool

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

Ord Month

Defined in Chronos

Methods

compare :: Month -> Month -> Ordering

(<) :: Month -> Month -> Bool

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

(>) :: Month -> Month -> Bool

(>=) :: Month -> Month -> Bool

max :: Month -> Month -> Month

min :: Month -> Month -> Month

Read Month

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Month

readList :: ReadS [Month]

readPrec :: ReadPrec Month

readListPrec :: ReadPrec [Month]

Show Month

Defined in Chronos

Methods

showsPrec :: Int -> Month -> ShowS

show :: Month -> String

showList :: [Month] -> ShowS

NFData Month

Defined in Chronos

Methods

rnf :: Month -> ()

Prim Month

Defined in Chronos

Methods

sizeOf# :: Month -> Int#

alignment# :: Month -> Int#

indexByteArray# :: ByteArray# -> Int# -> Month

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Month #)

writeByteArray# :: MutableByteArray# s -> Int# -> Month -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Month -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Month

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Month #)

writeOffAddr# :: Addr# -> Int# -> Month -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Month -> State# s -> State# s

Unbox Month

Defined in Chronos

Vector Vector Month

Defined in Chronos

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Month -> m (Vector Month)

basicUnsafeThaw :: PrimMonad m => Vector Month -> m (Mutable Vector (PrimState m) Month)

basicLength :: Vector Month -> Int

basicUnsafeSlice :: Int -> Int -> Vector Month -> Vector Month

basicUnsafeIndexM :: Monad m => Vector Month -> Int -> m Month

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Month -> Vector Month -> m ()

elemseq :: Vector Month -> Month -> b -> b

MVector MVector Month

Defined in Chronos

Methods

basicLength :: MVector s Month -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Month -> MVector s Month

basicOverlaps :: MVector s Month -> MVector s Month -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Month)

basicInitialize :: PrimMonad m => MVector (PrimState m) Month -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Month -> m (MVector (PrimState m) Month)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Month -> Int -> m Month

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Month -> Int -> Month -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) Month -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Month -> Month -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Month -> MVector (PrimState m) Month -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Month -> MVector (PrimState m) Month -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Month -> Int -> m (MVector (PrimState m) Month)

newtype Vector Month

Defined in Chronos

newtype Vector Month = V_Month (Vector Month)

newtype MVector s Month

Defined in Chronos

newtype MVector s Month = MV_Month (MVector s Month)

newtype Year

The number of years elapsed since the beginning of the Common Era.

Constructors

Year

Fields

• getYear :: Int

Instances

Eq Year

Defined in Chronos

Methods

(==) :: Year -> Year -> Bool

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

Ord Year

Defined in Chronos

Methods

compare :: Year -> Year -> Ordering

(<) :: Year -> Year -> Bool

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

(>) :: Year -> Year -> Bool

(>=) :: Year -> Year -> Bool

max :: Year -> Year -> Year

min :: Year -> Year -> Year

Read Year

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Year

readList :: ReadS [Year]

readPrec :: ReadPrec Year

readListPrec :: ReadPrec [Year]

Show Year

Defined in Chronos

Methods

showsPrec :: Int -> Year -> ShowS

show :: Year -> String

showList :: [Year] -> ShowS

NFData Year

Defined in Chronos

Methods

rnf :: Year -> ()

newtype Offset

A UTC offset.

Constructors

Offset

Fields

• getOffset :: Int

Instances

Enum Offset

Defined in Chronos

Methods

succ :: Offset -> Offset

pred :: Offset -> Offset

toEnum :: Int -> Offset

fromEnum :: Offset -> Int

enumFrom :: Offset -> [Offset]

enumFromThen :: Offset -> Offset -> [Offset]

enumFromTo :: Offset -> Offset -> [Offset]

enumFromThenTo :: Offset -> Offset -> Offset -> [Offset]

Eq Offset

Defined in Chronos

Methods

(==) :: Offset -> Offset -> Bool

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

Ord Offset

Defined in Chronos

Methods

compare :: Offset -> Offset -> Ordering

(<) :: Offset -> Offset -> Bool

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

(>) :: Offset -> Offset -> Bool

(>=) :: Offset -> Offset -> Bool

max :: Offset -> Offset -> Offset

min :: Offset -> Offset -> Offset

Read Offset

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Offset

readList :: ReadS [Offset]

readPrec :: ReadPrec Offset

readListPrec :: ReadPrec [Offset]

Show Offset

Defined in Chronos

Methods

showsPrec :: Int -> Offset -> ShowS

show :: Offset -> String

showList :: [Offset] -> ShowS

ToJSON Offset

Defined in Chronos

Methods

toJSON :: Offset -> Value

toEncoding :: Offset -> Encoding

toJSONList :: [Offset] -> Value

toEncodingList :: [Offset] -> Encoding

ToJSONKey Offset

Defined in Chronos

Methods

toJSONKey :: ToJSONKeyFunction Offset

toJSONKeyList :: ToJSONKeyFunction [Offset]

FromJSON Offset

Defined in Chronos

Methods

parseJSON :: Value -> Parser Offset

parseJSONList :: Value -> Parser [Offset]

FromJSONKey Offset

Defined in Chronos

Methods

fromJSONKey :: FromJSONKeyFunction Offset

fromJSONKeyList :: FromJSONKeyFunction [Offset]

NFData Offset

Defined in Chronos

Methods

rnf :: Offset -> ()

Torsor Offset Int

Defined in Chronos

Methods

add :: Int -> Offset -> Offset

difference :: Offset -> Offset -> Int

newtype Time

POSIX time with nanosecond resolution.

Constructors

Time

Fields

• getTime :: Int64

Instances

Bounded Time

Defined in Chronos

Methods

minBound :: Time

maxBound :: Time

Eq Time

Defined in Chronos

Methods

(==) :: Time -> Time -> Bool

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

Ord Time

Defined in Chronos

Methods

compare :: Time -> Time -> Ordering

(<) :: Time -> Time -> Bool

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

(>) :: Time -> Time -> Bool

(>=) :: Time -> Time -> Bool

max :: Time -> Time -> Time

min :: Time -> Time -> Time

Read Time

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Time

readList :: ReadS [Time]

readPrec :: ReadPrec Time

readListPrec :: ReadPrec [Time]

Show Time

Defined in Chronos

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

Hashable Time

Defined in Chronos

Methods

hashWithSalt :: Int -> Time -> Int

hash :: Time -> Int

ToJSON Time

Defined in Chronos

Methods

toJSON :: Time -> Value

toEncoding :: Time -> Encoding

toJSONList :: [Time] -> Value

toEncodingList :: [Time] -> Encoding

FromJSON Time

Defined in Chronos

Methods

parseJSON :: Value -> Parser Time

parseJSONList :: Value -> Parser [Time]

Storable Time

Defined in Chronos

Methods

sizeOf :: Time -> Int

alignment :: Time -> Int

peekElemOff :: Ptr Time -> Int -> IO Time

pokeElemOff :: Ptr Time -> Int -> Time -> IO ()

peekByteOff :: Ptr b -> Int -> IO Time

pokeByteOff :: Ptr b -> Int -> Time -> IO ()

peek :: Ptr Time -> IO Time

poke :: Ptr Time -> Time -> IO ()

NFData Time

Defined in Chronos

Methods

rnf :: Time -> ()

Prim Time

Defined in Chronos

Methods

sizeOf# :: Time -> Int#

alignment# :: Time -> Int#

indexByteArray# :: ByteArray# -> Int# -> Time

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Time #)

writeByteArray# :: MutableByteArray# s -> Int# -> Time -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Time -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Time

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Time #)

writeOffAddr# :: Addr# -> Int# -> Time -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Time -> State# s -> State# s

Torsor Time Timespan

Defined in Chronos

Methods

add :: Timespan -> Time -> Time

difference :: Time -> Time -> Timespan

newtype DayOfWeekMatch a

Match a DayOfWeek. By match, we mean that a DayOfWeekMatch is a mapping from the integer value of a DayOfWeek to some value of type a. You should construct a DayOfWeekMatch with buildDayOfWeekMatch, and match it using caseDayOfWeek.

Constructors

DayOfWeekMatch

Fields

• getDayOfWeekMatch :: Vector a

Instances

NFData a => NFData (DayOfWeekMatch a)

Defined in Chronos

Methods

rnf :: DayOfWeekMatch a -> ()

newtype MonthMatch a

Match a Month. By match, we mean that a MonthMatch is a mapping from the integer value of a Month to some value of type a. You should construct a MonthMatch with buildMonthMatch, and match it using caseMonth.

Constructors

MonthMatch

Fields

• getMonthMatch :: Vector a

Instances

NFData a => NFData (MonthMatch a)

Defined in Chronos

Methods

rnf :: MonthMatch a -> ()

newtype UnboxedMonthMatch a

Like MonthMatch, but the matched value can have an instance of Unbox.

Constructors

UnboxedMonthMatch

Fields

• getUnboxedMonthMatch :: Vector a

Instances

NFData (UnboxedMonthMatch a)

Defined in Chronos

Methods

rnf :: UnboxedMonthMatch a -> ()

newtype Timespan

A timespan. This is represented internally as a number of nanoseconds.

Constructors

Timespan

Fields

• getTimespan :: Int64

Instances

Eq Timespan

Defined in Chronos

Methods

(==) :: Timespan -> Timespan -> Bool

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

Ord Timespan

Defined in Chronos

Methods

compare :: Timespan -> Timespan -> Ordering

(<) :: Timespan -> Timespan -> Bool

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

(>) :: Timespan -> Timespan -> Bool

(>=) :: Timespan -> Timespan -> Bool

max :: Timespan -> Timespan -> Timespan

min :: Timespan -> Timespan -> Timespan

Read Timespan

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Timespan

readList :: ReadS [Timespan]

readPrec :: ReadPrec Timespan

readListPrec :: ReadPrec [Timespan]

Show Timespan

Defined in Chronos

Methods

showsPrec :: Int -> Timespan -> ShowS

show :: Timespan -> String

showList :: [Timespan] -> ShowS

Semigroup Timespan

Defined in Chronos

Methods

(<>) :: Timespan -> Timespan -> Timespan

sconcat :: NonEmpty Timespan -> Timespan

stimes :: Integral b => b -> Timespan -> Timespan

Monoid Timespan

Defined in Chronos

Methods

mempty :: Timespan

mappend :: Timespan -> Timespan -> Timespan

mconcat :: [Timespan] -> Timespan

ToJSON Timespan

Defined in Chronos

Methods

toJSON :: Timespan -> Value

toEncoding :: Timespan -> Encoding

toJSONList :: [Timespan] -> Value

toEncodingList :: [Timespan] -> Encoding

FromJSON Timespan

Defined in Chronos

Methods

parseJSON :: Value -> Parser Timespan

parseJSONList :: Value -> Parser [Timespan]

NFData Timespan

Defined in Chronos

Methods

rnf :: Timespan -> ()

Additive Timespan

Defined in Chronos

Methods

zero :: Timespan

invert :: Timespan -> Timespan

plus :: Timespan -> Timespan -> Timespan

minus :: Timespan -> Timespan -> Timespan

Torsor Time Timespan

Defined in Chronos

Methods

add :: Timespan -> Time -> Time

difference :: Time -> Time -> Timespan

Scaling Timespan Int64

Defined in Chronos

Methods

scale :: Int64 -> Timespan -> Timespan

data SubsecondPrecision

The precision used when encoding seconds to a human-readable format.

Constructors

SubsecondPrecisionAuto

Rounds to second, millisecond, microsecond, or nanosecond

SubsecondPrecisionFixed !Int

Specify number of places after decimal

Instances

Eq SubsecondPrecision

Defined in Chronos

Methods

(==) :: SubsecondPrecision -> SubsecondPrecision -> Bool

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

Ord SubsecondPrecision

Defined in Chronos

Methods

compare :: SubsecondPrecision -> SubsecondPrecision -> Ordering

(<) :: SubsecondPrecision -> SubsecondPrecision -> Bool

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

(>) :: SubsecondPrecision -> SubsecondPrecision -> Bool

(>=) :: SubsecondPrecision -> SubsecondPrecision -> Bool

max :: SubsecondPrecision -> SubsecondPrecision -> SubsecondPrecision

min :: SubsecondPrecision -> SubsecondPrecision -> SubsecondPrecision

Read SubsecondPrecision

Defined in Chronos

Methods

readsPrec :: Int -> ReadS SubsecondPrecision

readList :: ReadS [SubsecondPrecision]

readPrec :: ReadPrec SubsecondPrecision

readListPrec :: ReadPrec [SubsecondPrecision]

Show SubsecondPrecision

Defined in Chronos

Methods

showsPrec :: Int -> SubsecondPrecision -> ShowS

show :: SubsecondPrecision -> String

showList :: [SubsecondPrecision] -> ShowS

NFData SubsecondPrecision

Defined in Chronos

Methods

rnf :: SubsecondPrecision -> ()

data Date

A date as represented by the Gregorian calendar.

Constructors

Date

Fields

• dateYear :: !Year
• dateMonth :: !Month
• dateDay :: !DayOfMonth

Instances

Enum Date

Defined in Chronos

Methods

succ :: Date -> Date

pred :: Date -> Date

toEnum :: Int -> Date

fromEnum :: Date -> Int

enumFrom :: Date -> [Date]

enumFromThen :: Date -> Date -> [Date]

enumFromTo :: Date -> Date -> [Date]

enumFromThenTo :: Date -> Date -> Date -> [Date]

Eq Date

Defined in Chronos

Methods

(==) :: Date -> Date -> Bool

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

Ord Date

Defined in Chronos

Methods

compare :: Date -> Date -> Ordering

(<) :: Date -> Date -> Bool

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

(>) :: Date -> Date -> Bool

(>=) :: Date -> Date -> Bool

max :: Date -> Date -> Date

min :: Date -> Date -> Date

Read Date

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Date

readList :: ReadS [Date]

readPrec :: ReadPrec Date

readListPrec :: ReadPrec [Date]

Show Date

Defined in Chronos

Methods

showsPrec :: Int -> Date -> ShowS

show :: Date -> String

showList :: [Date] -> ShowS

NFData Date

Defined in Chronos

Methods

rnf :: Date -> ()

Torsor Date Int

Defined in Chronos

Methods

add :: Int -> Date -> Date

difference :: Date -> Date -> Int

data OrdinalDate

An OrdinalDate is a Year and the number of days elapsed since the Year began.

Constructors

OrdinalDate

Fields

• ordinalDateYear :: !Year
• ordinalDateDayOfYear :: !DayOfYear

Instances

Enum OrdinalDate

Defined in Chronos

Methods

succ :: OrdinalDate -> OrdinalDate

pred :: OrdinalDate -> OrdinalDate

toEnum :: Int -> OrdinalDate

fromEnum :: OrdinalDate -> Int

enumFrom :: OrdinalDate -> [OrdinalDate]

enumFromThen :: OrdinalDate -> OrdinalDate -> [OrdinalDate]

enumFromTo :: OrdinalDate -> OrdinalDate -> [OrdinalDate]

enumFromThenTo :: OrdinalDate -> OrdinalDate -> OrdinalDate -> [OrdinalDate]

Eq OrdinalDate

Defined in Chronos

Methods

(==) :: OrdinalDate -> OrdinalDate -> Bool

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

Ord OrdinalDate

Defined in Chronos

Methods

compare :: OrdinalDate -> OrdinalDate -> Ordering

(<) :: OrdinalDate -> OrdinalDate -> Bool

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

(>) :: OrdinalDate -> OrdinalDate -> Bool

(>=) :: OrdinalDate -> OrdinalDate -> Bool

max :: OrdinalDate -> OrdinalDate -> OrdinalDate

min :: OrdinalDate -> OrdinalDate -> OrdinalDate

Read OrdinalDate

Defined in Chronos

Methods

readsPrec :: Int -> ReadS OrdinalDate

readList :: ReadS [OrdinalDate]

readPrec :: ReadPrec OrdinalDate

readListPrec :: ReadPrec [OrdinalDate]

Show OrdinalDate

Defined in Chronos

Methods

showsPrec :: Int -> OrdinalDate -> ShowS

show :: OrdinalDate -> String

showList :: [OrdinalDate] -> ShowS

NFData OrdinalDate

Defined in Chronos

Methods

rnf :: OrdinalDate -> ()

Torsor OrdinalDate Int

Defined in Chronos

Methods

add :: Int -> OrdinalDate -> OrdinalDate

difference :: OrdinalDate -> OrdinalDate -> Int

data MonthDate

A month and the day of the month. This does not actually represent a specific date, since this recurs every year.

Constructors

MonthDate

Fields

• monthDateMonth :: !Month
• monthDateDay :: !DayOfMonth

Instances

Eq MonthDate

Defined in Chronos

Methods

(==) :: MonthDate -> MonthDate -> Bool

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

Ord MonthDate

Defined in Chronos

Methods

compare :: MonthDate -> MonthDate -> Ordering

(<) :: MonthDate -> MonthDate -> Bool

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

(>) :: MonthDate -> MonthDate -> Bool

(>=) :: MonthDate -> MonthDate -> Bool

max :: MonthDate -> MonthDate -> MonthDate

min :: MonthDate -> MonthDate -> MonthDate

Read MonthDate

Defined in Chronos

Methods

readsPrec :: Int -> ReadS MonthDate

readList :: ReadS [MonthDate]

readPrec :: ReadPrec MonthDate

readListPrec :: ReadPrec [MonthDate]

Show MonthDate

Defined in Chronos

Methods

showsPrec :: Int -> MonthDate -> ShowS

show :: MonthDate -> String

showList :: [MonthDate] -> ShowS

NFData MonthDate

Defined in Chronos

Methods

rnf :: MonthDate -> ()

data Datetime

A Date as represented by the Gregorian calendar and a TimeOfDay. While the ToJSON instance encodes with a hyphen separator, the FromJSON instance allows any non-digit character to act as separator, using the lenient parser.

Constructors

Datetime

Fields

• datetimeDate :: !Date
• datetimeTime :: !TimeOfDay

Instances

Eq Datetime

Defined in Chronos

Methods

(==) :: Datetime -> Datetime -> Bool

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

Ord Datetime

Defined in Chronos

Methods

compare :: Datetime -> Datetime -> Ordering

(<) :: Datetime -> Datetime -> Bool

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

(>) :: Datetime -> Datetime -> Bool

(>=) :: Datetime -> Datetime -> Bool

max :: Datetime -> Datetime -> Datetime

min :: Datetime -> Datetime -> Datetime

Read Datetime

Defined in Chronos

Methods

readsPrec :: Int -> ReadS Datetime

readList :: ReadS [Datetime]

readPrec :: ReadPrec Datetime

readListPrec :: ReadPrec [Datetime]

Show Datetime

Defined in Chronos

Methods

showsPrec :: Int -> Datetime -> ShowS

show :: Datetime -> String

showList :: [Datetime] -> ShowS

ToJSON Datetime

Defined in Chronos

Methods

toJSON :: Datetime -> Value

toEncoding :: Datetime -> Encoding

toJSONList :: [Datetime] -> Value

toEncodingList :: [Datetime] -> Encoding

FromJSON Datetime

Defined in Chronos

Methods

parseJSON :: Value -> Parser Datetime

parseJSONList :: Value -> Parser [Datetime]

NFData Datetime

Defined in Chronos

Methods

rnf :: Datetime -> ()

data OffsetDatetime

A Datetime with a time zone Offset.

Constructors

OffsetDatetime

Fields

• offsetDatetimeDatetime :: !Datetime
• offsetDatetimeOffset :: !Offset

Instances

Eq OffsetDatetime

Defined in Chronos

Methods

(==) :: OffsetDatetime -> OffsetDatetime -> Bool

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

Ord OffsetDatetime

Defined in Chronos

Methods

compare :: OffsetDatetime -> OffsetDatetime -> Ordering

(<) :: OffsetDatetime -> OffsetDatetime -> Bool

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

(>) :: OffsetDatetime -> OffsetDatetime -> Bool

(>=) :: OffsetDatetime -> OffsetDatetime -> Bool

max :: OffsetDatetime -> OffsetDatetime -> OffsetDatetime

min :: OffsetDatetime -> OffsetDatetime -> OffsetDatetime

Read OffsetDatetime

Defined in Chronos

Methods

readsPrec :: Int -> ReadS OffsetDatetime

readList :: ReadS [OffsetDatetime]

readPrec :: ReadPrec OffsetDatetime

readListPrec :: ReadPrec [OffsetDatetime]

Show OffsetDatetime

Defined in Chronos

Methods

showsPrec :: Int -> OffsetDatetime -> ShowS

show :: OffsetDatetime -> String

showList :: [OffsetDatetime] -> ShowS

NFData OffsetDatetime

Defined in Chronos

Methods

rnf :: OffsetDatetime -> ()

data TimeOfDay

A time of day with nanosecond resolution.

Constructors

TimeOfDay

Fields

• timeOfDayHour :: !Int
• timeOfDayMinute :: !Int
• timeOfDayNanoseconds :: !Int64

Instances

Eq TimeOfDay

Defined in Chronos

Methods

(==) :: TimeOfDay -> TimeOfDay -> Bool

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

Ord TimeOfDay

Defined in Chronos

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

Read TimeOfDay

Defined in Chronos

Methods

readsPrec :: Int -> ReadS TimeOfDay

readList :: ReadS [TimeOfDay]

readPrec :: ReadPrec TimeOfDay

readListPrec :: ReadPrec [TimeOfDay]

Show TimeOfDay

Defined in Chronos

Methods

showsPrec :: Int -> TimeOfDay -> ShowS

show :: TimeOfDay -> String

showList :: [TimeOfDay] -> ShowS

NFData TimeOfDay

Defined in Chronos

Methods

rnf :: TimeOfDay -> ()

data DatetimeFormat

The format of a Datetime. In particular this provides separators for parts of the Datetime and nothing else.

Constructors

DatetimeFormat

Fields

• datetimeFormatDateSeparator :: !(Maybe Char)

  Separator in the date

• datetimeFormatSeparator :: !(Maybe Char)

  Separator between date and time

• datetimeFormatTimeSeparator :: !(Maybe Char)

  Separator in the time

Instances

Eq DatetimeFormat

Defined in Chronos

Methods

(==) :: DatetimeFormat -> DatetimeFormat -> Bool

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

Ord DatetimeFormat

Defined in Chronos

Methods

compare :: DatetimeFormat -> DatetimeFormat -> Ordering

(<) :: DatetimeFormat -> DatetimeFormat -> Bool

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

(>) :: DatetimeFormat -> DatetimeFormat -> Bool

(>=) :: DatetimeFormat -> DatetimeFormat -> Bool

max :: DatetimeFormat -> DatetimeFormat -> DatetimeFormat

min :: DatetimeFormat -> DatetimeFormat -> DatetimeFormat

Read DatetimeFormat

Defined in Chronos

Methods

readsPrec :: Int -> ReadS DatetimeFormat

readList :: ReadS [DatetimeFormat]

readPrec :: ReadPrec DatetimeFormat

readListPrec :: ReadPrec [DatetimeFormat]

Show DatetimeFormat

Defined in Chronos

Methods

showsPrec :: Int -> DatetimeFormat -> ShowS

show :: DatetimeFormat -> String

showList :: [DatetimeFormat] -> ShowS

NFData DatetimeFormat

Defined in Chronos

Methods

rnf :: DatetimeFormat -> ()

data OffsetFormat

Formatting settings for a timezone offset.

Constructors

OffsetFormatColonOff

%z (e.g., -0400)

OffsetFormatColonOn

%:z (e.g., -04:00)

OffsetFormatSecondsPrecision

%::z (e.g., -04:00:00)

OffsetFormatColonAuto

%:::z (e.g., -04, +05:30)

Instances

Bounded OffsetFormat

Defined in Chronos

Methods

minBound :: OffsetFormat

maxBound :: OffsetFormat

Enum OffsetFormat

Defined in Chronos

Methods

succ :: OffsetFormat -> OffsetFormat

pred :: OffsetFormat -> OffsetFormat

toEnum :: Int -> OffsetFormat

fromEnum :: OffsetFormat -> Int

enumFrom :: OffsetFormat -> [OffsetFormat]

enumFromThen :: OffsetFormat -> OffsetFormat -> [OffsetFormat]

enumFromTo :: OffsetFormat -> OffsetFormat -> [OffsetFormat]

enumFromThenTo :: OffsetFormat -> OffsetFormat -> OffsetFormat -> [OffsetFormat]

Eq OffsetFormat

Defined in Chronos

Methods

(==) :: OffsetFormat -> OffsetFormat -> Bool

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

Ord OffsetFormat

Defined in Chronos

Methods

compare :: OffsetFormat -> OffsetFormat -> Ordering

(<) :: OffsetFormat -> OffsetFormat -> Bool

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

(>) :: OffsetFormat -> OffsetFormat -> Bool

(>=) :: OffsetFormat -> OffsetFormat -> Bool

max :: OffsetFormat -> OffsetFormat -> OffsetFormat

min :: OffsetFormat -> OffsetFormat -> OffsetFormat

Read OffsetFormat

Defined in Chronos

Methods

readsPrec :: Int -> ReadS OffsetFormat

readList :: ReadS [OffsetFormat]

readPrec :: ReadPrec OffsetFormat

readListPrec :: ReadPrec [OffsetFormat]

Show OffsetFormat

Defined in Chronos

Methods

showsPrec :: Int -> OffsetFormat -> ShowS

show :: OffsetFormat -> String

showList :: [OffsetFormat] -> ShowS

Generic OffsetFormat

Defined in Chronos

Associated Types

type Rep OffsetFormat :: Type -> Type

Methods

from :: OffsetFormat -> Rep OffsetFormat x

to :: Rep OffsetFormat x -> OffsetFormat

NFData OffsetFormat

Defined in Chronos

Methods

rnf :: OffsetFormat -> ()

type Rep OffsetFormat

Defined in Chronos

type Rep OffsetFormat = D1 ('MetaData "OffsetFormat" "Chronos" "chronos-1.1.4-98yYxDoIig9K4Gs60qgupJ" 'False) ((C1 ('MetaCons "OffsetFormatColonOff" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OffsetFormatColonOn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OffsetFormatSecondsPrecision" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OffsetFormatColonAuto" 'PrefixI 'False) (U1 :: Type -> Type)))

data DatetimeLocale a

Locale-specific formatting for weekdays and months. The type variable will likely be instantiated to Text or ByteString.

Constructors

DatetimeLocale

Fields

• datetimeLocaleDaysOfWeekFull :: !(DayOfWeekMatch a)

  full weekdays starting with Sunday, 7 elements

• datetimeLocaleDaysOfWeekAbbreviated :: !(DayOfWeekMatch a)

  abbreviated weekdays starting with Sunday, 7 elements

• datetimeLocaleMonthsFull :: !(MonthMatch a)

  full months starting with January, 12 elements

• datetimeLocaleMonthsAbbreviated :: !(MonthMatch a)

  abbreviated months starting with January, 12 elements

Instances

NFData a => NFData (DatetimeLocale a)

Defined in Chronos

Methods

rnf :: DatetimeLocale a -> ()

data MeridiemLocale a

Locale-specific formatting for AM and PM.

Constructors

MeridiemLocale

Fields

• meridiemLocaleAm :: !a
• meridiemLocalePm :: !a

Instances

Eq a => Eq (MeridiemLocale a)

Defined in Chronos

Methods

(==) :: MeridiemLocale a -> MeridiemLocale a -> Bool

(/=) :: MeridiemLocale a -> MeridiemLocale a -> Bool

Ord a => Ord (MeridiemLocale a)

Defined in Chronos

Methods

compare :: MeridiemLocale a -> MeridiemLocale a -> Ordering

(<) :: MeridiemLocale a -> MeridiemLocale a -> Bool

(<=) :: MeridiemLocale a -> MeridiemLocale a -> Bool

(>) :: MeridiemLocale a -> MeridiemLocale a -> Bool

(>=) :: MeridiemLocale a -> MeridiemLocale a -> Bool

max :: MeridiemLocale a -> MeridiemLocale a -> MeridiemLocale a

min :: MeridiemLocale a -> MeridiemLocale a -> MeridiemLocale a

Read a => Read (MeridiemLocale a)

Defined in Chronos

Methods

readsPrec :: Int -> ReadS (MeridiemLocale a)

readList :: ReadS [MeridiemLocale a]

readPrec :: ReadPrec (MeridiemLocale a)

readListPrec :: ReadPrec [MeridiemLocale a]

Show a => Show (MeridiemLocale a)

Defined in Chronos

Methods

showsPrec :: Int -> MeridiemLocale a -> ShowS

show :: MeridiemLocale a -> String

showList :: [MeridiemLocale a] -> ShowS

NFData a => NFData (MeridiemLocale a)

Defined in Chronos

Methods

rnf :: MeridiemLocale a -> ()

data TimeInterval

A TimeInterval represents a start and end time. It can sometimes be more ergonomic than the Torsor API when you only care about whether or not a Time is within a certain range.

To construct a TimeInterval, it is best to use timeIntervalBuilder, which maintains the invariant that lowerBound interval <= upperBound interval (all functions that act on TimeIntervals assume this invariant).

Constructors

TimeInterval !Time !Time

Instances

Bounded TimeInterval

Defined in Chronos

Methods

minBound :: TimeInterval

maxBound :: TimeInterval

Eq TimeInterval

Defined in Chronos

Methods

(==) :: TimeInterval -> TimeInterval -> Bool

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

Ord TimeInterval

Defined in Chronos

Methods

compare :: TimeInterval -> TimeInterval -> Ordering

(<) :: TimeInterval -> TimeInterval -> Bool

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

(>) :: TimeInterval -> TimeInterval -> Bool

(>=) :: TimeInterval -> TimeInterval -> Bool

max :: TimeInterval -> TimeInterval -> TimeInterval

min :: TimeInterval -> TimeInterval -> TimeInterval

Read TimeInterval

Defined in Chronos

Methods

readsPrec :: Int -> ReadS TimeInterval

readList :: ReadS [TimeInterval]

readPrec :: ReadPrec TimeInterval

readListPrec :: ReadPrec [TimeInterval]

Show TimeInterval

Defined in Chronos

Methods

showsPrec :: Int -> TimeInterval -> ShowS

show :: TimeInterval -> String

showList :: [TimeInterval] -> ShowS

NFData TimeInterval

Defined in Chronos

Methods

rnf :: TimeInterval -> ()

data TimeParts

Holds all of the parts encoded by a Time. Can be used for formatting if what is presently in the API does not suffice.

Constructors

TimeParts

Fields

• timePartsDay :: !Int

  days 0-31

• timePartsMonth :: !Int

  months 0-11

• timePartsYear :: !Int
• timePartsHour :: !Int

  hours 0-23

• timePartsMinute :: !Int

  minutes 0-59

• timePartsSecond :: !Int

  seconds 0-59

• timePartsSubsecond :: !Int

  fraction of a second with nanosecond resolution

• timePartsOffset :: !Int

Instances

Eq TimeParts

Defined in Chronos

Methods

(==) :: TimeParts -> TimeParts -> Bool

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

Read TimeParts

Defined in Chronos

Methods

readsPrec :: Int -> ReadS TimeParts

readList :: ReadS [TimeParts]

readPrec :: ReadPrec TimeParts

readListPrec :: ReadPrec [TimeParts]

Show TimeParts

Defined in Chronos

Methods

showsPrec :: Int -> TimeParts -> ShowS

show :: TimeParts -> String

showList :: [TimeParts] -> ShowS

NFData TimeParts

Defined in Chronos

Methods

rnf :: TimeParts -> ()

Lenses

_timeToDatetime :: forall f. Functor f => (Datetime -> f Datetime) -> Time -> f Time

A lens-compatible variant of half of the timeToDatetime/datetimeToTime isomorphism.

Note: We do not provide an iso as that requires a dependence on the profunctor package.

_datetimeToTime :: forall f. Functor f => (Time -> f Time) -> Datetime -> f Datetime

A lens-compatible variant of half of the timeToDatetime/datetimeToTime isomorphism.

Note: We do not provide an iso as that requires a dependence on the profunctor package.

_dayToDate :: forall f. Functor f => (Date -> f Date) -> Day -> f Day

A lens-compatible variant of half of the dayToDate/dateToDay isomorphism.

Note: We do not provide an iso as that requires a dependence on the profunctor package.

_dateToDay :: forall f. Functor f => (Day -> f Day) -> Date -> f Date

A lens-compatible variant of half of the dayToDate/dateToDay isomorphism.

Note: We do not provide an iso as that requires a dependence on the profunctor package.

_getDay :: Functor f => (Int -> f Int) -> Day -> f Day

a lens for accessing the getDay field.

_getDayOfWeek :: Functor f => (Int -> f Int) -> DayOfWeek -> f DayOfWeek

a lens for accessing the getDayOfWeek field.

_getDayOfMonth :: Functor f => (Int -> f Int) -> DayOfMonth -> f DayOfMonth

a lens for accessing the getDayOfMonth field.

_getDayOfYear :: Functor f => (Int -> f Int) -> DayOfYear -> f DayOfYear

a lens for accessing the getDayOfYear field.

_getMonth :: Functor f => (Int -> f Int) -> Month -> f Month

a lens for accessing the getMonth field.

_getOffset :: Functor f => (Int -> f Int) -> Offset -> f Offset

a lens for accessing the getOffset field.

_getTime :: Functor f => (Int64 -> f Int64) -> Time -> f Time

a lens for accessing the getTime field.

_getTimespan :: Functor f => (Int64 -> f Int64) -> Timespan -> f Timespan

a lens for accessing the getTimespan field.

_dateYear :: Functor f => (Year -> f Year) -> Date -> f Date

a lens for accessing the dateYear field.

_dateMonth :: Functor f => (Month -> f Month) -> Date -> f Date

a lens for accessing the dateMonth field.

_dateDay :: Functor f => (DayOfMonth -> f DayOfMonth) -> Date -> f Date

a lens for accessing the dateDay field.

_ordinalDateYear :: Functor f => (Year -> f Year) -> OrdinalDate -> f OrdinalDate

a lens for accessing the ordinalDateYear field.

_ordinalDateDayOfYear :: Functor f => (DayOfYear -> f DayOfYear) -> OrdinalDate -> f OrdinalDate

a lens for accessing the ordinalDateDayOfYear field.

_monthDateMonth :: Functor f => (Month -> f Month) -> MonthDate -> f MonthDate

a lens for accessing the monthDateMonth field.

_monthDateDay :: Functor f => (DayOfMonth -> f DayOfMonth) -> MonthDate -> f MonthDate

a lens for accessing the monthDateDay field.

_datetimeDate :: Functor f => (Date -> f Date) -> Datetime -> f Datetime

a lens for accessing the datetimeDate field.

_datetimeTime :: Functor f => (TimeOfDay -> f TimeOfDay) -> Datetime -> f Datetime

a lens for accessing the datetimeTime field.

_offsetDatetimeDatetime :: Functor f => (Datetime -> f Datetime) -> OffsetDatetime -> f OffsetDatetime

a lens for accessing the offsetDatetimeDatetime field.

_offsetDatetimeOffset :: Functor f => (Offset -> f Offset) -> OffsetDatetime -> f OffsetDatetime

a lens for accessing the offsetDatetimeOffset field.

_timeOfDayHour :: Functor f => (Int -> f Int) -> TimeOfDay -> f TimeOfDay

a lens for accessing the timeOfDayHour field.

_timeOfDayMinute :: Functor f => (Int -> f Int) -> TimeOfDay -> f TimeOfDay

a lens for accessing the timeOfDayMinute field.

_timeOfDayNanoseconds :: Functor f => (Int64 -> f Int64) -> TimeOfDay -> f TimeOfDay

a lens for accessing the timeOfDayNanoseconds field.