Lines Matching defs:month
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,