Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria |
Safe Haskell | None |
Language | Haskell2010 |
- Exported types
- Methods
- Overloaded methods
- addDays
- addMonths
- addYears
- clamp
- clear
- compare
- copy
- daysBetween
- free
- getDay
- getDayOfYear
- getDaysInMonth
- getIso8601WeekOfYear
- getJulian
- getMondayWeekOfYear
- getMondayWeeksInYear
- getMonth
- getSundayWeekOfYear
- getSundayWeeksInYear
- getWeekday
- getYear
- isFirstOfMonth
- isLastOfMonth
- isLeapYear
- new
- newDmy
- newJulian
- order
- setDay
- setDmy
- setJulian
- setMonth
- setParse
- setTime
- setTimeT
- setTimeVal
- setYear
- strftime
- subtractDays
- subtractMonths
- subtractYears
- toStructTm
- valid
- validDay
- validDmy
- validJulian
- validMonth
- validWeekday
- validYear
- Properties
Represents a day between January 1, Year 1 and a few thousand years in the future. None of its members should be accessed directly.
If the Date
-struct is obtained from dateNew
, it will be safe
to mutate but invalid and thus not safe for calendrical computations.
If it's declared on the stack, it will contain garbage so must be
initialized with dateClear
. dateClear
makes the date invalid
but sane. An invalid date doesn't represent a day, it's "empty." A date
becomes valid after you set it to a Julian day or you set a day, month,
and year.
Synopsis
- newtype Date = Date (ManagedPtr Date)
- newZeroDate :: MonadIO m => m Date
- noDate :: Maybe Date
- dateAddDays :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateAddMonths :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateAddYears :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateClamp :: (HasCallStack, MonadIO m) => Date -> Date -> Date -> m ()
- dateClear :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateCompare :: (HasCallStack, MonadIO m) => Date -> Date -> m Int32
- dateCopy :: (HasCallStack, MonadIO m) => Date -> m Date
- dateDaysBetween :: (HasCallStack, MonadIO m) => Date -> Date -> m Int32
- dateFree :: (HasCallStack, MonadIO m) => Date -> m ()
- dateGetDay :: (HasCallStack, MonadIO m) => Date -> m Word8
- dateGetDayOfYear :: (HasCallStack, MonadIO m) => Date -> m Word32
- dateGetDaysInMonth :: (HasCallStack, MonadIO m) => DateMonth -> Word16 -> m Word8
- dateGetIso8601WeekOfYear :: (HasCallStack, MonadIO m) => Date -> m Word32
- dateGetJulian :: (HasCallStack, MonadIO m) => Date -> m Word32
- dateGetMondayWeekOfYear :: (HasCallStack, MonadIO m) => Date -> m Word32
- dateGetMondayWeeksInYear :: (HasCallStack, MonadIO m) => Word16 -> m Word8
- dateGetMonth :: (HasCallStack, MonadIO m) => Date -> m DateMonth
- dateGetSundayWeekOfYear :: (HasCallStack, MonadIO m) => Date -> m Word32
- dateGetSundayWeeksInYear :: (HasCallStack, MonadIO m) => Word16 -> m Word8
- dateGetWeekday :: (HasCallStack, MonadIO m) => Date -> m DateWeekday
- dateGetYear :: (HasCallStack, MonadIO m) => Date -> m Word16
- dateIsFirstOfMonth :: (HasCallStack, MonadIO m) => Date -> m Bool
- dateIsLastOfMonth :: (HasCallStack, MonadIO m) => Date -> m Bool
- dateIsLeapYear :: (HasCallStack, MonadIO m) => Word16 -> m Bool
- dateNew :: (HasCallStack, MonadIO m) => m Date
- dateNewDmy :: (HasCallStack, MonadIO m) => Word8 -> DateMonth -> Word16 -> m Date
- dateNewJulian :: (HasCallStack, MonadIO m) => Word32 -> m Date
- dateOrder :: (HasCallStack, MonadIO m) => Date -> Date -> m ()
- dateSetDay :: (HasCallStack, MonadIO m) => Date -> Word8 -> m ()
- dateSetDmy :: (HasCallStack, MonadIO m) => Date -> Word8 -> DateMonth -> Word16 -> m ()
- dateSetJulian :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateSetMonth :: (HasCallStack, MonadIO m) => Date -> DateMonth -> m ()
- dateSetParse :: (HasCallStack, MonadIO m) => Date -> Text -> m ()
- dateSetTime :: (HasCallStack, MonadIO m) => Date -> Int32 -> m ()
- dateSetTimeT :: (HasCallStack, MonadIO m) => Date -> CLong -> m ()
- dateSetTimeVal :: (HasCallStack, MonadIO m) => Date -> TimeVal -> m ()
- dateSetYear :: (HasCallStack, MonadIO m) => Date -> Word16 -> m ()
- dateStrftime :: (HasCallStack, MonadIO m) => Text -> Word64 -> Text -> Date -> m Word64
- dateSubtractDays :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateSubtractMonths :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateSubtractYears :: (HasCallStack, MonadIO m) => Date -> Word32 -> m ()
- dateToStructTm :: (HasCallStack, MonadIO m) => Date -> Ptr () -> m ()
- dateValid :: (HasCallStack, MonadIO m) => Date -> m Bool
- dateValidDay :: (HasCallStack, MonadIO m) => Word8 -> m Bool
- dateValidDmy :: (HasCallStack, MonadIO m) => Word8 -> DateMonth -> Word16 -> m Bool
- dateValidJulian :: (HasCallStack, MonadIO m) => Word32 -> m Bool
- dateValidMonth :: (HasCallStack, MonadIO m) => DateMonth -> m Bool
- dateValidWeekday :: (HasCallStack, MonadIO m) => DateWeekday -> m Bool
- dateValidYear :: (HasCallStack, MonadIO m) => Word16 -> m Bool
- getDateDay :: MonadIO m => Date -> m Word32
- setDateDay :: MonadIO m => Date -> Word32 -> m ()
- getDateDmy :: MonadIO m => Date -> m Word32
- setDateDmy :: MonadIO m => Date -> Word32 -> m ()
- getDateJulian :: MonadIO m => Date -> m Word32
- setDateJulian :: MonadIO m => Date -> Word32 -> m ()
- getDateJulianDays :: MonadIO m => Date -> m Word32
- setDateJulianDays :: MonadIO m => Date -> Word32 -> m ()
- getDateMonth :: MonadIO m => Date -> m Word32
- setDateMonth :: MonadIO m => Date -> Word32 -> m ()
- getDateYear :: MonadIO m => Date -> m Word32
- setDateYear :: MonadIO m => Date -> Word32 -> m ()
Exported types
Memory-managed wrapper type.
Methods
Overloaded methods
addDays
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
Increments a date some number of days. To move forward by weeks, add weeks*7 days. The date must be valid.
addMonths
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
Increments a date by some number of months. If the day of the month is greater than 28, this routine may change the day of the month (because the destination month may not have the current day in it). The date must be valid.
addYears
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
Increments a date by some number of years. If the date is February 29, and the destination year is not a leap year, the date will be changed to February 28. The date must be valid.
clamp
clear
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
compare
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Date |
|
-> m Int32 | Returns: 0 for equal, less than zero if |
qsort()
-style comparison function for dates.
Both dates must be valid.
copy
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Date | Returns: a newly-allocated |
Copies a GDate to a newly-allocated GDate. If the input was invalid
(as determined by dateValid
), the invalid state will be copied
as is into the new object.
Since: 2.56
daysBetween
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Date |
|
-> m Int32 | Returns: the number of days between |
Computes the number of days between two dates.
If date2
is prior to date1
, the returned value is negative.
Both dates must be valid.
free
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m () |
getDay
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Word8 | Returns: day of the month |
Returns the day of the month. The date must be valid.
getDayOfYear
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Word32 | Returns: day of the year |
Returns the day of the year, where Jan 1 is the first day of the year. The date must be valid.
getDaysInMonth
:: (HasCallStack, MonadIO m) | |
=> DateMonth |
|
-> Word16 |
|
-> m Word8 | Returns: number of days in |
Returns the number of days in a month, taking leap years into account.
getIso8601WeekOfYear
dateGetIso8601WeekOfYear Source #
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Word32 | Returns: ISO 8601 week number of the year. |
Returns the week of the year, where weeks are interpreted according to ISO 8601.
Since: 2.6
getJulian
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Word32 | Returns: Julian day |
Returns the Julian day or "serial number" of the Date
. The
Julian day is simply the number of days since January 1, Year 1; i.e.,
January 1, Year 1 is Julian day 1; January 2, Year 1 is Julian day 2,
etc. The date must be valid.
getMondayWeekOfYear
dateGetMondayWeekOfYear Source #
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Word32 | Returns: week of the year |
Returns the week of the year, where weeks are understood to start on Monday. If the date is before the first Monday of the year, return 0. The date must be valid.
getMondayWeeksInYear
dateGetMondayWeeksInYear Source #
:: (HasCallStack, MonadIO m) | |
=> Word16 |
|
-> m Word8 | Returns: number of Mondays in the year |
Returns the number of weeks in the year, where weeks are taken to start on Monday. Will be 52 or 53. The date must be valid. (Years always have 52 7-day periods, plus 1 or 2 extra days depending on whether it's a leap year. This function is basically telling you how many Mondays are in the year, i.e. there are 53 Mondays if one of the extra days happens to be a Monday.)
getMonth
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m DateMonth | Returns: month of the year as a |
Returns the month of the year. The date must be valid.
getSundayWeekOfYear
dateGetSundayWeekOfYear Source #
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Word32 | Returns: week number |
Returns the week of the year during which this date falls, if weeks are understood to begin on Sunday. The date must be valid. Can return 0 if the day is before the first Sunday of the year.
getSundayWeeksInYear
dateGetSundayWeeksInYear Source #
:: (HasCallStack, MonadIO m) | |
=> Word16 |
|
-> m Word8 | Returns: the number of weeks in |
Returns the number of weeks in the year, where weeks are taken to start on Sunday. Will be 52 or 53. The date must be valid. (Years always have 52 7-day periods, plus 1 or 2 extra days depending on whether it's a leap year. This function is basically telling you how many Sundays are in the year, i.e. there are 53 Sundays if one of the extra days happens to be a Sunday.)
getWeekday
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m DateWeekday | Returns: day of the week as a |
Returns the day of the week for a Date
. The date must be valid.
getYear
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Word16 | Returns: year in which the date falls |
Returns the year of a Date
. The date must be valid.
isFirstOfMonth
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Bool | Returns: |
Returns True
if the date is on the first of a month.
The date must be valid.
isLastOfMonth
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Bool | Returns: |
Returns True
if the date is the last day of the month.
The date must be valid.
isLeapYear
:: (HasCallStack, MonadIO m) | |
=> Word16 |
|
-> m Bool | Returns: |
Returns True
if the year is a leap year.
For the purposes of this function, leap year is every year divisible by 4 unless that year is divisible by 100. If it is divisible by 100 it would be a leap year only if that year is also divisible by 400.
new
:: (HasCallStack, MonadIO m) | |
=> m Date | Returns: a newly-allocated |
newDmy
:: (HasCallStack, MonadIO m) | |
=> Word8 |
|
-> DateMonth |
|
-> Word16 |
|
-> m Date | Returns: a newly-allocated |
Like dateNew
, but also sets the value of the date. Assuming the
day-month-year triplet you pass in represents an existing day, the
returned date will be valid.
newJulian
:: (HasCallStack, MonadIO m) | |
=> Word32 |
|
-> m Date | Returns: a newly-allocated |
Like dateNew
, but also sets the value of the date. Assuming the
Julian day number you pass in is valid (greater than 0, less than an
unreasonably large number), the returned date will be valid.
order
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Date |
|
-> m () |
Checks if date1
is less than or equal to date2
,
and swap the values if this is not the case.
setDay
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word8 |
|
-> m () |
Sets the day of the month for a Date
. If the resulting
day-month-year triplet is invalid, the date will be invalid.
setDmy
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word8 |
|
-> DateMonth |
|
-> Word16 |
|
-> m () |
Sets the value of a Date
from a day, month, and year.
The day-month-year triplet must be valid; if you aren't
sure it is, call dateValidDmy
to check before you
set it.
setJulian
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
Sets the value of a Date
from a Julian day number.
setMonth
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> DateMonth |
|
-> m () |
Sets the month of the year for a Date
. If the resulting
day-month-year triplet is invalid, the date will be invalid.
setParse
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Text |
|
-> m () |
Parses a user-inputted string str
, and try to figure out what date it
represents, taking the [current locale][setlocale] into account. If the
string is successfully parsed, the date will be valid after the call.
Otherwise, it will be invalid. You should check using dateValid
to see whether the parsing succeeded.
This function is not appropriate for file formats and the like; it isn't very precise, and its exact behavior varies with the locale. It's intended to be a heuristic routine that guesses what the user means by a given string (and it does work pretty well in that capacity).
setTime
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Int32 |
|
-> m () |
Deprecated: (Since version 2.10)Use dateSetTimeT
instead.
Sets the value of a date from a GTime
value.
The time to date conversion is done using the user's current timezone.
setTimeT
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> CLong |
|
-> m () |
Sets the value of a date to the date corresponding to a time specified as a time_t. The time to date conversion is done using the user's current timezone.
To set the value of a date to the current day, you could write:
C code
time_t now = time (NULL); if (now == (time_t) -1) // handle the error g_date_set_time_t (date, now);
Since: 2.10
setTimeVal
setYear
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word16 |
|
-> m () |
Sets the year for a Date
. If the resulting day-month-year
triplet is invalid, the date will be invalid.
strftime
:: (HasCallStack, MonadIO m) | |
=> Text |
|
-> Word64 |
|
-> Text |
|
-> Date |
|
-> m Word64 | Returns: number of characters written to the buffer, or 0 the buffer was too small |
Generates a printed representation of the date, in a
[locale][setlocale]-specific way.
Works just like the platform's C library strftime()
function,
but only accepts date-related formats; time-related formats
give undefined results. Date must be valid. Unlike strftime()
(which uses the locale encoding), works on a UTF-8 format
string and stores a UTF-8 result.
This function does not provide any conversion specifiers in
addition to those implemented by the platform's C library.
For example, don't expect that using dateStrftime
would
make the %F provided by the C99 strftime()
work on Windows
where the C library only complies to C89.
subtractDays
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
Moves a date some number of days into the past. To move by weeks, just move by weeks*7 days. The date must be valid.
subtractMonths
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
Moves a date some number of months into the past. If the current day of the month doesn't exist in the destination month, the day of the month may change. The date must be valid.
subtractYears
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Word32 |
|
-> m () |
Moves a date some number of years into the past. If the current day doesn't exist in the destination year (i.e. it's February 29 and you move to a non-leap-year) then the day is changed to February 29. The date must be valid.
toStructTm
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> Ptr () |
|
-> m () |
Fills in the date-related bits of a struct tm using the date
value.
Initializes the non-date parts with something sane but meaningless.
valid
:: (HasCallStack, MonadIO m) | |
=> Date |
|
-> m Bool | Returns: Whether the date is valid |
validDay
:: (HasCallStack, MonadIO m) | |
=> Word8 |
|
-> m Bool | Returns: |
Returns True
if the day of the month is valid (a day is valid if it's
between 1 and 31 inclusive).
validDmy
validJulian
:: (HasCallStack, MonadIO m) | |
=> Word32 |
|
-> m Bool | Returns: |
Returns True
if the Julian day is valid. Anything greater than zero
is basically a valid Julian, though there is a 32-bit limit.
validMonth
:: (HasCallStack, MonadIO m) | |
=> DateMonth |
|
-> m Bool | Returns: |
validWeekday
:: (HasCallStack, MonadIO m) | |
=> DateWeekday |
|
-> m Bool | Returns: |
Returns True
if the weekday is valid. The seven DateWeekday
enumeration
values are the only valid weekdays.
validYear
:: (HasCallStack, MonadIO m) | |
=> Word16 |
|
-> m Bool | Returns: |
Properties
day
the day of the day-month-year representation of the date, as a number between 1 and 31
getDateDay :: MonadIO m => Date -> m Word32 Source #
Get the value of the “day
” field.
When overloading is enabled, this is equivalent to
get
date #day
setDateDay :: MonadIO m => Date -> Word32 -> m () Source #
Set the value of the “day
” field.
When overloading is enabled, this is equivalent to
set
date [ #day:=
value ]
dmy
this is set if day
, month
and year
are valid
getDateDmy :: MonadIO m => Date -> m Word32 Source #
Get the value of the “dmy
” field.
When overloading is enabled, this is equivalent to
get
date #dmy
setDateDmy :: MonadIO m => Date -> Word32 -> m () Source #
Set the value of the “dmy
” field.
When overloading is enabled, this is equivalent to
set
date [ #dmy:=
value ]
julian
this bit is set if julianDays
is valid
getDateJulian :: MonadIO m => Date -> m Word32 Source #
Get the value of the “julian
” field.
When overloading is enabled, this is equivalent to
get
date #julian
setDateJulian :: MonadIO m => Date -> Word32 -> m () Source #
Set the value of the “julian
” field.
When overloading is enabled, this is equivalent to
set
date [ #julian:=
value ]
julianDays
the Julian representation of the date
getDateJulianDays :: MonadIO m => Date -> m Word32 Source #
Get the value of the “julian_days
” field.
When overloading is enabled, this is equivalent to
get
date #julianDays
setDateJulianDays :: MonadIO m => Date -> Word32 -> m () Source #
Set the value of the “julian_days
” field.
When overloading is enabled, this is equivalent to
set
date [ #julianDays:=
value ]
month
the day of the day-month-year representation of the date, as a number between 1 and 12
getDateMonth :: MonadIO m => Date -> m Word32 Source #
Get the value of the “month
” field.
When overloading is enabled, this is equivalent to
get
date #month
setDateMonth :: MonadIO m => Date -> Word32 -> m () Source #
Set the value of the “month
” field.
When overloading is enabled, this is equivalent to
set
date [ #month:=
value ]
year
the day of the day-month-year representation of the date
getDateYear :: MonadIO m => Date -> m Word32 Source #
Get the value of the “year
” field.
When overloading is enabled, this is equivalent to
get
date #year
setDateYear :: MonadIO m => Date -> Word32 -> m () Source #
Set the value of the “year
” field.
When overloading is enabled, this is equivalent to
set
date [ #year:=
value ]