polyml/basis/Date.sml

22        function, that Date.date values are records of year, month, day
26         month: int, (* Month as 0..11 *)
35     datatype month = Jan | Feb | Mar | Apr | May | Jun |
60     (* Convert a month number to the enumerated type. *)
67     (* Convert the enumerated type to a month number. *)
110         fun dayInYear (day, month, year) =
111             if isLeapYear year then Vector.sub(dayInLeapYearVec, month) + day
112             else Vector.sub(dayVec, month) + day
166             (* Convert the day into a month+day *)
173             val month = dayToMonth days 0
175                 days - Vector.sub(if isLeap then dayInLeapYearVec else dayVec, month)
177             {year=year, month=month, day=dayInMonth, hour=hrs, minute=mins,
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 +
246     (* Return the month from the enumerated type. *)
247     fun month({month, ...}:date) = monthNoToMonth month
250     fun dayOfWeek({year, month, day, ...}: date) =
254            find the day of the week for the first of any month.
257         val m0 = month+1 (* Count months from 1 *)
264         (* Add on the day within the month. *)
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) =
327                 (* Return the month corresponding to the month name
346         (* Get two digits as a day of the month.  Don't check the range. *)
388                 else case parseMonth str2 of (* Name of month. *)
412                                             SOME(date{year=year, month=mth, day=day,
427     fun toString (date as {year, month, day, hour, minute, second, ...}: date) =
442             Vector.sub(monthNames, month), " ",
448     fun fmt s (date as {year, month, day, hour, minute, second, offset}) =
479         callTiming 6 (newFormat, year, month, day, hour, minute, second,