Editorial: Use ISO Date Records in ToISOWeekOfYear/DayOfYear/DayOfWeek

Instead of passing each component individually. Also, remove the "To" from
the name, as it's not a conversion operation.

See: #2949

spec/calendar.html

@@ -135,7 +135,7 @@ <h1>Calendar Date Records</h1>
               <p>The Year-Week Record's [[Year]] field is relative to the first day of a calendar-specific "epoch year", as in the Calendar Date Record's [[Year]] field, not relative to an era as in [[EraYear]].</p>
               <p>
                 Usually the Year-Week Record's [[Year]] field will contain the same value as the Calendar Date Record's [[Year]] field, but may contain the previous or next year if the week number in the Year-Week Record's [[Week]] field overlaps two different years.
-                See also ToISOWeekOfYear.
+                See also ISOWeekOfYear.
               </p>
               <p>The Year-Week Record contains *undefined* in [[Week]] and [[Year]] field for calendars that do not have a well-defined week calendar system.</p>
               <emu-note type="editor">
@@ -667,32 +667,31 @@ <h1>
       </emu-alg>
     </emu-clause>
 
-    <emu-clause id="sec-temporal-toisoweekofyear" type="abstract operation">
+    <emu-clause id="sec-temporal-isoweekofyear" type="abstract operation">
       <h1>
-        ToISOWeekOfYear (
-          _year_: an integer,
-          _month_: an integer,
-          _day_: an integer,
+        ISOWeekOfYear (
+          _isoDate_: an ISO Date Record,
         ): a Year-Week Record
       </h1>
       <dl class="header">
         <dt>description</dt>
         <dd>It determines where a calendar day falls in the ISO 8601 week calendar and calculates its <em>calendar week of year</em>, which is the 1-based ordinal number of its calendar week within the corresponding <em>week calendar year</em> (which may differ from _year_ by up to 1 in either direction).</dd>
       </dl>
       <emu-alg>
-        1. Assert: IsValidISODate(_year_, _month_, _day_) is *true*.
+        1. Let _year_ be _isoDate_.[[Year]].
         1. Let _wednesday_ be 3.
         1. Let _thursday_ be 4.
         1. Let _friday_ be 5.
         1. Let _saturday_ be 6.
         1. Let _daysInWeek_ be 7.
         1. Let _maxWeekNumber_ be 53.
-        1. Let _dayOfYear_ be ToISODayOfYear(_year_, _month_, _day_).
-        1. Let _dayOfWeek_ be ToISODayOfWeek(_year_, _month_, _day_).
-        1. Let _week_ be floor((_dayOfYear_ + _daysInWeek_ - _dayOfWeek_ + _wednesday_ ) / _daysInWeek_).
+        1. Let _dayOfYear_ be ISODayOfYear(_isoDate_).
+        1. Let _dayOfWeek_ be ISODayOfWeek(_isoDate_).
+        1. Let _week_ be floor((_dayOfYear_ + _daysInWeek_ - _dayOfWeek_ + _wednesday_) / _daysInWeek_).
         1. If _week_ &lt; 1, then
           1. NOTE: This is the last week of the previous year.
-          1. Let _dayOfJan1st_ be ToISODayOfWeek(_year_, 1, 1).
+          1. Let _jan1st_ be CreateISODateRecord(_year_, 1, 1).
+          1. Let _dayOfJan1st_ be ISODayOfWeek(_jan1st_).
           1. If _dayOfJan1st_ = _friday_, then
             1. Return Year-Week Record { [[Week]]: _maxWeekNumber_, [[Year]]: _year_ - 1 }.
           1. If _dayOfJan1st_ = _saturday_, and MathematicalInLeapYear(EpochTimeForYear(_year_ - 1)) = 1, then
@@ -710,40 +709,34 @@ <h1>
       <emu-note>For example, week calendar year 2020 includes both 31 December 2019 (a Tuesday belonging to its calendar week 1) and 1 January 2021 (a Friday belonging to its calendar week 53).</emu-note>
     </emu-clause>
 
-    <emu-clause id="sec-temporal-toisodayofyear" type="abstract operation">
+    <emu-clause id="sec-temporal-isodayofyear" type="abstract operation">
       <h1>
-        ToISODayOfYear (
-          _year_: an integer,
-          _month_: an integer,
-          _day_: an integer,
+        ISODayOfYear (
+          _isoDate_: an ISO Date Record,
         ): an integer
       </h1>
       <dl class="header">
         <dt>description</dt>
         <dd>It returns the ISO 8601 <em>calendar day of year</em> of a calendar day, which is its 1-based ordinal number within its ISO 8601 calendar year.</dd>
       </dl>
       <emu-alg>
-        1. Assert: IsValidISODate(_year_, _month_, _day_) is *true*.
-        1. Let _epochDays_ be ISODateToEpochDays(_year_, _month_ - 1, _day_).
+        1. Let _epochDays_ be ISODateToEpochDays(_isoDate_.[[Year]], _isoDate_.[[Month]] - 1, _isoDate_.[[Day]]).
         1. Return EpochTimeToDayInYear(EpochDaysToEpochMs(_epochDays_, 0)) + 1.
       </emu-alg>
     </emu-clause>
 
-    <emu-clause id="sec-temporal-toisodayofweek" type="abstract operation">
+    <emu-clause id="sec-temporal-isodayofweek" type="abstract operation">
       <h1>
-        ToISODayOfWeek (
-          _year_: an integer,
-          _month_: an integer,
-          _day_: an integer,
+        ISODayOfWeek (
+          _isoDate_: an ISO Date Record,
         ): an integer
       </h1>
       <dl class="header">
         <dt>description</dt>
         <dd>It returns the ISO 8601 <em>calendar day of week</em> of a calendar day, which is its 1-based ordinal position within the sequence of week calendar days that starts with Monday at 1 and ends with Sunday at 7.</dd>
       </dl>
       <emu-alg>
-        1. Assert: IsValidISODate(_year_, _month_, _day_) is *true*.
-        1. Let _epochDays_ be ISODateToEpochDays(_year_, _month_ - 1, _day_).
+        1. Let _epochDays_ be ISODateToEpochDays(_isoDate_.[[Year]], _isoDate_.[[Month]] - 1, _isoDate_.[[Day]]).
         1. Let _dayOfWeek_ be EpochTimeToWeekDay(EpochDaysToEpochMs(_epochDays_, 0)).
         1. If _dayOfWeek_ = 0, return 7.
         1. Return _dayOfWeek_.
@@ -847,9 +840,9 @@ <h1>
               [[Month]]: _isoDate_.[[Month]],
               [[MonthCode]]: _monthCode_,
               [[Day]]: _isoDate_.[[Day]],
-              [[DayOfWeek]]: ToISODayOfWeek(_isoDate_.[[Year]], _isoDate_.[[Month]], _isoDate_.[[Day]]),
-              [[DayOfYear]]: ToISODayOfYear(_isoDate_.[[Year]], _isoDate_.[[Month]], _isoDate_.[[Day]]),
-              [[WeekOfYear]]: ToISOWeekOfYear(_isoDate_.[[Year]], _isoDate_.[[Month]], _isoDate_.[[Day]]),
+              [[DayOfWeek]]: ISODayOfWeek(_isoDate_),
+              [[DayOfYear]]: ISODayOfYear(_isoDate_),
+              [[WeekOfYear]]: ISOWeekOfYear(_isoDate_),
               [[DaysInWeek]]: 7,
               [[DaysInMonth]]: ISODaysInMonth(_isoDate_.[[Year]], _isoDate_.[[Month]]),
               [[DaysInYear]]: MathematicalDaysInYear(_isoDate_.[[Year]]),

spec/mainadditions.html

@@ -33,7 +33,7 @@ <h1><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type"
     <emu-clause id="sec-year-week-record-specification-type">
       <h1>The Year-Week Record Specification Type</h1>
       <p>
-        The <dfn variants="Year-Week Records">Year-Week Record</dfn> specification type is returned by the week number calculation in ToISOWeekOfYear, and the corresponding calculations for other calendars if applicable.
+        The <dfn variants="Year-Week Records">Year-Week Record</dfn> specification type is returned by the week number calculation in ISOWeekOfYear, and the corresponding calculations for other calendars if applicable.
         It comprises a <em>calendar week of year</em> with the corresponding <em>week calendar year</em>.
       </p>
       <p>Year-Week Records have the fields listed in table <emu-xref href="#table-year-week-record"></emu-xref>.</p>