polyml/basis/Date.sml

22        function, that Date.date values are records of year, month, day
27         day: int, (* Day as 1..(28, 29, 30, 31) *)
108         (* Get the day in the year.  Either of day or year may be unnormalised
110         fun dayInYear (day, month, year) =
111             if isLeapYear year then Vector.sub(dayInLeapYearVec, month) + day
112             else Vector.sub(dayVec, month) + day
138         (* Convert days to number of years plus the day within the year. *)
164             (* Get the day and year.  The day is a value between 0 and 364/365. *)
166             (* Convert the day into a month+day *)
177             {year=year, month=month, day=dayInMonth, hour=hrs, minute=mins,
181         (* Get the day in the year. *)
182         fun yearDay({day, month, year, ...}:date) = dayInYear(day, month, year)
212         fun date {year, month, day, hour, minute, second, offset} =
230                     LargeInt.fromInt (dayInYear(day, monthToMonthNo month, year) + yearToDays year) * secsPerDay +
240     and day: date->int = #day
249     (* Get the day of the week as a number - not exported. *)
250     fun dayOfWeek({year, month, day, ...}: date) =
254            find the day of the week for the first of any month.
264         (* Add on the day within the month. *)
265         (dow + day - 1) mod 7
268     (* Get day of week as an enumerated type - exported. *)
284     fun compare({year=y1, month=m1, day=d1, hour=h1, minute=n1, second=s1, ...}:date,
285                 {year=y2, month=m2, day=d2, hour=h2, minute=n2, second=s2, ...}:date) =
313         (* Get the day of the week.  We don't actually use it but we
346         (* Get two digits as a day of the month.  Don't check the range. *)
397                         |   SOME(day, str5) =>
412                                             SOME(date{year=year, month=mth, day=day,
427     fun toString (date as {year, month, day, hour, minute, second, ...}: date) =
443             int2str 2 day, " ",
448     fun fmt s (date as {year, month, day, hour, minute, second, offset}) =
479         callTiming 6 (newFormat, year, month, day, hour, minute, second,