diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
| commit | 881c3b182fda1036d5a507d08ff85f7709d70703 (patch) | |
| tree | c0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/strawman/collections/CollectionStrawMan5$ | |
| parent | b45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff) | |
| download | dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2 dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip | |
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/strawman/collections/CollectionStrawMan5$')
51 files changed, 7156 insertions, 438 deletions
diff --git a/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer$.html b/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer$.html index b9e4972ee..87e3fa0dc 100644 --- a/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer$.html +++ b/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,38 @@ <span id="entity-name"> ArrayBuffer </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">IterableFactory</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="fromIterable(coll)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5376,13 +5401,32 @@ B - <span class="no-left">: ArrayBuffer</span> + <span class="no-left">: ArrayBuffer +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer.html b/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer.html index 611fa1f24..48f59406f 100644 --- a/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer.html +++ b/api/strawman/collections/CollectionStrawMan5$/ArrayBuffer.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,39 @@ <span id="entity-name"> ArrayBuffer </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Seq</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">SeqLike</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">Builder</span> + + </div> + </div> @@ -5339,12 +5375,64 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">ArrayBuffer</span> + <span class="no-left">(</span> + + + <span class="no-left"> + initElems: + </span> + Array +<span class="no-left no-right">[</span> +AnyRef +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + initLength: + </span> + Int + + + <span class="no-left">)</span> + </div> + </div> + + + + <div class="member"> + <div class="member-title"> + <span class="member-name">ArrayBuffer</span> + <span class="no-left">(</span> + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="elems" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'elems');">[+]</span> <span class="member-annotations"> </span> @@ -5365,17 +5453,37 @@ - <span class="no-left">: Array</span> + <span class="no-left">: Array +<span class="no-left no-right">[</span> +AnyRef +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-elems"> + + </div> + <div class="member-body-long" id ="long-body-elems"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="end" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span> <span class="member-annotations"> </span> @@ -5401,12 +5509,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-end"> + + </div> + <div class="member-body-long" id ="long-body-end"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="initElems" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'initElems');">[+]</span> <span class="member-annotations"> </span> @@ -5427,17 +5552,37 @@ - <span class="no-left">: Array</span> + <span class="no-left">: Array +<span class="no-left no-right">[</span> +AnyRef +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-initElems"> + + </div> + <div class="member-body-long" id ="long-body-initElems"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="initLength" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'initLength');">[+]</span> <span class="member-annotations"> </span> @@ -5463,12 +5608,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-initLength"> + + </div> + <div class="member-body-long" id ="long-body-initLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="start" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span> <span class="member-annotations"> </span> @@ -5494,12 +5656,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-start"> + + </div> + <div class="member-body-long" id ="long-body-start"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="++(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5536,17 +5715,37 @@ B - <span class="no-left">: ArrayBuffer</span> + <span class="no-left">: ArrayBuffer +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++(xs)"> + + </div> + <div class="member-body-long" id ="long-body-++(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="+=(elem)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '+=(elem)');">[+]</span> <span class="member-annotations"> </span> @@ -5580,17 +5779,37 @@ B - <span class="no-left">: ArrayBuffer</span> + <span class="no-left">: ArrayBuffer +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-+=(elem)"> + + </div> + <div class="member-body-long" id ="long-body-+=(elem)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="apply(n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(n)');">[+]</span> <span class="member-annotations"> </span> @@ -5629,12 +5848,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(n)"> + + </div> + <div class="member-body-long" id ="long-body-apply(n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="elems_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'elems_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5676,12 +5912,29 @@ AnyRef </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-elems_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-elems_=(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="end_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'end_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5720,12 +5973,29 @@ AnyRef </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-end_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-end_=(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromIterable(it)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(it)');">[+]</span> <span class="member-annotations"> </span> @@ -5762,17 +6032,37 @@ B - <span class="no-left">: ArrayBuffer</span> + <span class="no-left">: ArrayBuffer +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(it)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(it)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5793,17 +6083,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5829,12 +6139,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="length" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'length');">[+]</span> <span class="member-annotations"> </span> @@ -5860,12 +6187,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-length"> + + </div> + <div class="member-body-long" id ="long-body-length"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="result" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'result');">[+]</span> <span class="member-annotations"> </span> @@ -5891,12 +6235,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-result"> + + </div> + <div class="member-body-long" id ="long-body-result"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="start_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'start_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5935,12 +6296,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-start_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-start_=(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="toString" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span> <span class="member-annotations"> </span> @@ -5966,12 +6344,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-toString"> + + </div> + <div class="member-body-long" id ="long-body-toString"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="trimStart(n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'trimStart(n)');">[+]</span> <span class="member-annotations"> </span> @@ -6010,12 +6405,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-trimStart(n)"> + + </div> + <div class="member-body-long" id ="long-body-trimStart(n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="view" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'view');">[+]</span> <span class="member-annotations"> </span> @@ -6036,13 +6448,32 @@ B - <span class="no-left">: View</span> + <span class="no-left">: View +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-view"> + + </div> + <div class="member-body-long" id ="long-body-view"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/ArrayBufferView.html b/api/strawman/collections/CollectionStrawMan5$/ArrayBufferView.html index 939890ae5..931f404bf 100644 --- a/api/strawman/collections/CollectionStrawMan5$/ArrayBufferView.html +++ b/api/strawman/collections/CollectionStrawMan5$/ArrayBufferView.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,87 @@ <span id="entity-name"> ArrayBufferView </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">RandomAccessView</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">ArrayBufferView</span> + <span class="no-left">(</span> + + + <span class="no-left"> + elems: + </span> + Array +<span class="no-left no-right">[</span> +AnyRef +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + start: + </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + end: + </span> + Int + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="elems" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'elems');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5434,37 @@ - <span class="no-left">: Array</span> + <span class="no-left">: Array +<span class="no-left no-right">[</span> +AnyRef +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-elems"> + + </div> + <div class="member-body-long" id ="long-body-elems"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="end" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span> <span class="member-annotations"> </span> @@ -5396,12 +5490,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-end"> + + </div> + <div class="member-body-long" id ="long-body-end"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="start" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5538,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-start"> + + </div> + <div class="member-body-long" id ="long-body-start"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="apply(n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(n)');">[+]</span> <span class="member-annotations"> </span> @@ -5471,8 +5599,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(n)"> + + </div> + <div class="member-body-long" id ="long-body-apply(n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Buildable.html b/api/strawman/collections/CollectionStrawMan5$/Buildable.html index 77d93c048..b82599d6c 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Buildable.html +++ b/api/strawman/collections/CollectionStrawMan5$/Buildable.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,35 @@ <span id="entity-name"> Buildable </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A, + + </span> + + <span class="no-left"> + + +To + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Iterable</span> + + </div> + </div> @@ -5339,12 +5371,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="newBuilder" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'newBuilder');">[+]</span> <span class="member-annotations"> </span> @@ -5365,17 +5408,37 @@ - <span class="no-left">: Builder</span> + <span class="no-left">: Builder +<span class="no-left no-right">[</span> +A<span class="">, </span>To +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-newBuilder"> + + </div> + <div class="member-body-long" id ="long-body-newBuilder"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="partition(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'partition(p)');">[+]</span> <span class="member-annotations"> </span> @@ -5409,13 +5472,31 @@ - <span class="no-left">: </span> + <span class="no-left">: <span class="no-right">(</span> +To<span>, </span>To +<span class="no-left">)</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-partition(p)"> + + </div> + <div class="member-body-long" id ="long-body-partition(p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Builder.html b/api/strawman/collections/CollectionStrawMan5$/Builder.html index 0f5079b71..d62b652d1 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Builder.html +++ b/api/strawman/collections/CollectionStrawMan5$/Builder.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,26 @@ <span id="entity-name"> Builder </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + -A, + + </span> + + <span class="no-left"> + + +To + + </span> + + <span class="no-left">]</span> + </span> + + </div> @@ -5339,12 +5362,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="++=(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++=(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5381,17 +5415,37 @@ A - <span class="no-left">: Builder</span> + <span class="no-left">: Builder +<span class="no-left no-right">[</span> +A<span class="">, </span>To +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++=(xs)"> + + </div> + <div class="member-body-long" id ="long-body-++=(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="+=(x)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '+=(x)');">[+]</span> <span class="member-annotations"> </span> @@ -5425,17 +5479,37 @@ A - <span class="no-left">: Builder</span> + <span class="no-left">: Builder +<span class="no-left no-right">[</span> +A<span class="">, </span>To +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-+=(x)"> + + </div> + <div class="member-body-long" id ="long-body-+=(x)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="result" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'result');">[+]</span> <span class="member-annotations"> </span> @@ -5461,8 +5535,24 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-result"> + + </div> + <div class="member-body-long" id ="long-body-result"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Cons$.html b/api/strawman/collections/CollectionStrawMan5$/Cons$.html index c4e782de1..521fcdcb2 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Cons$.html +++ b/api/strawman/collections/CollectionStrawMan5$/Cons$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Cons </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(x,next)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(x,next)');">[+]</span> <span class="member-annotations"> </span> @@ -5384,17 +5400,37 @@ A - <span class="no-left">: Cons</span> + <span class="no-left">: Cons +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(x,next)"> + + </div> + <div class="member-body-long" id ="long-body-apply(x,next)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5431,13 +5467,32 @@ A - <span class="no-left">: Cons</span> + <span class="no-left">: Cons +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Cons.html b/api/strawman/collections/CollectionStrawMan5$/Cons.html index 5ca1bb5ec..85cd8ace2 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Cons.html +++ b/api/strawman/collections/CollectionStrawMan5$/Cons.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,79 @@ <span id="entity-name"> Cons </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">List</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Cons</span> + <span class="no-left">(</span> + + + <span class="no-left"> + x: + </span> + A + + <span class="no-left">, </span> + + + <span class=""> + next: + </span> + List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="next" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'next');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5426,37 @@ - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-next"> + + </div> + <div class="member-body-long" id ="long-body-next"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="x" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'x');">[+]</span> <span class="member-annotations"> </span> @@ -5396,12 +5482,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-x"> + + </div> + <div class="member-body-long" id ="long-body-x"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5530,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5578,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(x,next)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(x,next)');">[+]</span> <span class="member-annotations"> </span> @@ -5508,17 +5645,37 @@ A - <span class="no-left">: Cons</span> + <span class="no-left">: Cons +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(x,next)"> + + </div> + <div class="member-body-long" id ="long-body-copy(x,next)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5544,12 +5701,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5570,17 +5744,37 @@ A - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="head" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'head');">[+]</span> <span class="member-annotations"> </span> @@ -5606,12 +5800,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-head"> + + </div> + <div class="member-body-long" id ="long-body-head"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isEmpty" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isEmpty');">[+]</span> <span class="member-annotations"> </span> @@ -5637,12 +5848,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isEmpty"> + + </div> + <div class="member-body-long" id ="long-body-isEmpty"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="next_=(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'next_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5684,12 +5912,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-next_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-next_=(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="tail" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'tail');">[+]</span> <span class="member-annotations"> </span> @@ -5710,13 +5955,32 @@ A - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-tail"> + + </div> + <div class="member-body-long" id ="long-body-tail"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/FromIterable.html b/api/strawman/collections/CollectionStrawMan5$/FromIterable.html index 1d796691c..c55108c11 100644 --- a/api/strawman/collections/CollectionStrawMan5$/FromIterable.html +++ b/api/strawman/collections/CollectionStrawMan5$/FromIterable.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,20 @@ <span id="entity-name"> FromIterable </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +C + + </span> + + <span class="no-left">]</span> + </span> + + </div> @@ -5339,12 +5356,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="fromIterable(it)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(it)');">[+]</span> <span class="member-annotations"> </span> @@ -5381,13 +5409,32 @@ B - <span class="no-left">: strawman$collections$CollectionStrawMan5$FromIterable$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$FromIterable$$C +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(it)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(it)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Iterable.html b/api/strawman/collections/CollectionStrawMan5$/Iterable.html index 8ca4cb19b..0181e837a 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Iterable.html +++ b/api/strawman/collections/CollectionStrawMan5$/Iterable.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,34 @@ <span id="entity-name"> Iterable </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">IterableOnce</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterableLike</span> + + </div> + </div> @@ -5339,12 +5370,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="coll" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'coll');">[+]</span> <span class="member-annotations"> </span> @@ -5365,17 +5407,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-coll"> + + </div> + <div class="member-body-long" id ="long-body-coll"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5401,8 +5463,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/IterableFactory.html b/api/strawman/collections/CollectionStrawMan5$/IterableFactory.html index 601941d20..2e3ab02d5 100644 --- a/api/strawman/collections/CollectionStrawMan5$/IterableFactory.html +++ b/api/strawman/collections/CollectionStrawMan5$/IterableFactory.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,29 @@ <span id="entity-name"> IterableFactory </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +C + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">FromIterable</span> + + </div> + </div> @@ -5339,12 +5365,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5381,17 +5418,37 @@ A - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterableFactory$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterableFactory$$C +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(xs)"> + + </div> + <div class="member-body-long" id ="long-body-apply(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="empty" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'empty');">[+]</span> <span class="member-annotations"> </span> @@ -5412,13 +5469,32 @@ A - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterableFactory$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterableFactory$$C +<span class="no-left no-right">[</span> +X +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-empty"> + + </div> + <div class="member-body-long" id ="long-body-empty"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/IterableLike.html b/api/strawman/collections/CollectionStrawMan5$/IterableLike.html index 4713fbca3..df26d067e 100644 --- a/api/strawman/collections/CollectionStrawMan5$/IterableLike.html +++ b/api/strawman/collections/CollectionStrawMan5$/IterableLike.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,50 @@ <span id="entity-name"> IterableLike </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A, + + </span> + + <span class="no-left"> + + +C + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">FromIterable</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterableOps</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterableMonoTransforms</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterablePolyTransforms</span> + + </div> + </div> @@ -5344,12 +5391,23 @@ why we have to resort at some places to write <code>C[A @uncheckedVariance]</cod </div> - <h1 class="section empty">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section empty"> + Members + </h1> <div id="entity-members" class="entity-section empty"> <div id="fromLikeIterable(coll)" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromLikeIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5386,13 +5444,32 @@ A - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterableLike$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterableLike$$C +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromLikeIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromLikeIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/IterableMonoTransforms.html b/api/strawman/collections/CollectionStrawMan5$/IterableMonoTransforms.html index c2f509fb3..9ac127eaa 100644 --- a/api/strawman/collections/CollectionStrawMan5$/IterableMonoTransforms.html +++ b/api/strawman/collections/CollectionStrawMan5$/IterableMonoTransforms.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,56 @@ <span id="entity-name"> IterableMonoTransforms </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A, + + </span> + + <span class="no-left"> + + +Repr + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Any</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="coll" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'coll');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5403,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-coll"> + + </div> + <div class="member-body-long" id ="long-body-coll"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="drop(n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'drop(n)');">[+]</span> <span class="member-annotations"> </span> @@ -5409,12 +5472,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-drop(n)"> + + </div> + <div class="member-body-long" id ="long-body-drop(n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="filter(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'filter(p)');">[+]</span> <span class="member-annotations"> </span> @@ -5453,12 +5533,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-filter(p)"> + + </div> + <div class="member-body-long" id ="long-body-filter(p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromLikeIterable(coll)" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromLikeIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5500,12 +5597,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromLikeIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromLikeIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="partition(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'partition(p)');">[+]</span> <span class="member-annotations"> </span> @@ -5539,17 +5653,36 @@ A - <span class="no-left">: </span> + <span class="no-left">: <span class="no-right">(</span> +Repr<span>, </span>Repr +<span class="no-left">)</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-partition(p)"> + + </div> + <div class="member-body-long" id ="long-body-partition(p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="to(fi)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'to(fi)');">[+]</span> <span class="member-annotations"> </span> @@ -5586,13 +5719,32 @@ C - <span class="no-left">: C</span> + <span class="no-left">: C +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-to(fi)"> + + </div> + <div class="member-body-long" id ="long-body-to(fi)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/IterableOnce.html b/api/strawman/collections/CollectionStrawMan5$/IterableOnce.html index 6791300cf..89ec0f686 100644 --- a/api/strawman/collections/CollectionStrawMan5$/IterableOnce.html +++ b/api/strawman/collections/CollectionStrawMan5$/IterableOnce.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,20 @@ <span id="entity-name"> IterableOnce </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + </div> @@ -5339,12 +5356,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5365,13 +5393,32 @@ - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/IterableOps.html b/api/strawman/collections/CollectionStrawMan5$/IterableOps.html index 2639a172c..a6b0e378f 100644 --- a/api/strawman/collections/CollectionStrawMan5$/IterableOps.html +++ b/api/strawman/collections/CollectionStrawMan5$/IterableOps.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,50 @@ <span id="entity-name"> IterableOps </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Any</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="foldLeft(z)(op)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'foldLeft(z)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -5389,12 +5426,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-foldLeft(z)(op)"> + + </div> + <div class="member-body-long" id ="long-body-foldLeft(z)(op)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="foldRight(z)(op)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'foldRight(z)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -5444,12 +5498,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-foldRight(z)(op)"> + + </div> + <div class="member-body-long" id ="long-body-foldRight(z)(op)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="foreach(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'foreach(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5488,12 +5559,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-foreach(f)"> + + </div> + <div class="member-body-long" id ="long-body-foreach(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="head" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'head');">[+]</span> <span class="member-annotations"> </span> @@ -5519,12 +5607,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-head"> + + </div> + <div class="member-body-long" id ="long-body-head"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="indexWhere(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'indexWhere(p)');">[+]</span> <span class="member-annotations"> </span> @@ -5563,12 +5668,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-indexWhere(p)"> + + </div> + <div class="member-body-long" id ="long-body-indexWhere(p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isEmpty" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isEmpty');">[+]</span> <span class="member-annotations"> </span> @@ -5594,12 +5716,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isEmpty"> + + </div> + <div class="member-body-long" id ="long-body-isEmpty"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5620,17 +5759,37 @@ - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="view" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'view');">[+]</span> <span class="member-annotations"> </span> @@ -5651,13 +5810,32 @@ - <span class="no-left">: View</span> + <span class="no-left">: View +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-view"> + + </div> + <div class="member-body-long" id ="long-body-view"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/IterablePolyTransforms.html b/api/strawman/collections/CollectionStrawMan5$/IterablePolyTransforms.html index 043116427..671c24542 100644 --- a/api/strawman/collections/CollectionStrawMan5$/IterablePolyTransforms.html +++ b/api/strawman/collections/CollectionStrawMan5$/IterablePolyTransforms.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,56 @@ <span id="entity-name"> IterablePolyTransforms </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A, + + </span> + + <span class="no-left"> + + +C + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Any</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="++(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5376,17 +5419,37 @@ B - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++(xs)"> + + </div> + <div class="member-body-long" id ="long-body-++(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="coll" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'coll');">[+]</span> <span class="member-annotations"> </span> @@ -5407,17 +5470,37 @@ B - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-coll"> + + </div> + <div class="member-body-long" id ="long-body-coll"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="flatMap(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flatMap(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5454,17 +5537,37 @@ B - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-flatMap(f)"> + + </div> + <div class="member-body-long" id ="long-body-flatMap(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromIterable(coll)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5501,17 +5604,37 @@ B - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="map(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'map(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5545,17 +5668,37 @@ B - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-map(f)"> + + </div> + <div class="member-body-long" id ="long-body-map(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="zip(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'zip(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5592,13 +5735,34 @@ B - <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C</span> + <span class="no-left">: strawman$collections$CollectionStrawMan5$IterablePolyTransforms$$C +<span class="no-left no-right">[</span> +<span class="no-right">(</span> +A<span>, </span>B +<span class="no-left">)</span> +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-zip(xs)"> + + </div> + <div class="member-body-long" id ="long-body-zip(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Iterator$.html b/api/strawman/collections/CollectionStrawMan5$/Iterator$.html index 61c71ee3d..693368b50 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Iterator$.html +++ b/api/strawman/collections/CollectionStrawMan5$/Iterator$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Iterator </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="empty" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'empty');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5376,37 @@ - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +Nothing +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-empty"> + + </div> + <div class="member-body-long" id ="long-body-empty"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="apply(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5407,13 +5443,32 @@ A - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(xs)"> + + </div> + <div class="member-body-long" id ="long-body-apply(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Iterator.html b/api/strawman/collections/CollectionStrawMan5$/Iterator.html index 4d7497c44..0df0350a6 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Iterator.html +++ b/api/strawman/collections/CollectionStrawMan5$/Iterator.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,29 @@ <span id="entity-name"> Iterator </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">IterableOnce</span> + + </div> + </div> @@ -5339,12 +5365,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="++(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5381,17 +5418,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++(xs)"> + + </div> + <div class="member-body-long" id ="long-body-++(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="drop(n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'drop(n)');">[+]</span> <span class="member-annotations"> </span> @@ -5425,17 +5482,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-drop(n)"> + + </div> + <div class="member-body-long" id ="long-body-drop(n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="filter(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'filter(p)');">[+]</span> <span class="member-annotations"> </span> @@ -5469,17 +5546,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-filter(p)"> + + </div> + <div class="member-body-long" id ="long-body-filter(p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="flatMap(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flatMap(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5516,17 +5613,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-flatMap(f)"> + + </div> + <div class="member-body-long" id ="long-body-flatMap(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="foldLeft(z)(op)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'foldLeft(z)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -5576,12 +5693,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-foldLeft(z)(op)"> + + </div> + <div class="member-body-long" id ="long-body-foldLeft(z)(op)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="foldRight(z)(op)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'foldRight(z)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -5631,12 +5765,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-foldRight(z)(op)"> + + </div> + <div class="member-body-long" id ="long-body-foldRight(z)(op)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="foreach(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'foreach(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5675,12 +5826,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-foreach(f)"> + + </div> + <div class="member-body-long" id ="long-body-foreach(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="hasNext" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'hasNext');">[+]</span> <span class="member-annotations"> </span> @@ -5706,12 +5874,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-hasNext"> + + </div> + <div class="member-body-long" id ="long-body-hasNext"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="indexWhere(p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'indexWhere(p)');">[+]</span> <span class="member-annotations"> </span> @@ -5750,12 +5935,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-indexWhere(p)"> + + </div> + <div class="member-body-long" id ="long-body-indexWhere(p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5776,17 +5978,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="map(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'map(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5820,17 +6042,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-map(f)"> + + </div> + <div class="member-body-long" id ="long-body-map(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="next()" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'next()');">[+]</span> <span class="member-annotations"> </span> @@ -5863,12 +6105,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-next()"> + + </div> + <div class="member-body-long" id ="long-body-next()"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="zip(that)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'zip(that)');">[+]</span> <span class="member-annotations"> </span> @@ -5905,13 +6164,34 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +<span class="no-right">(</span> +A<span>, </span>B +<span class="no-left">)</span> +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-zip(that)"> + + </div> + <div class="member-body-long" id ="long-body-zip(that)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/List$.html b/api/strawman/collections/CollectionStrawMan5$/List$.html index c047eade7..350efb2d4 100644 --- a/api/strawman/collections/CollectionStrawMan5$/List$.html +++ b/api/strawman/collections/CollectionStrawMan5$/List$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,38 @@ <span id="entity-name"> List </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">IterableFactory</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="fromIterable(coll)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5376,13 +5401,32 @@ B - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/List.html b/api/strawman/collections/CollectionStrawMan5$/List.html index 2b602f925..d54519221 100644 --- a/api/strawman/collections/CollectionStrawMan5$/List.html +++ b/api/strawman/collections/CollectionStrawMan5$/List.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> sealed </span> @@ -5330,6 +5333,39 @@ <span id="entity-name"> List </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Seq</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">SeqLike</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">Buildable</span> + + </div> + </div> @@ -5339,12 +5375,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="++(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5381,17 +5428,37 @@ B - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++(xs)"> + + </div> + <div class="member-body-long" id ="long-body-++(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="++:(prefix)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++:(prefix)');">[+]</span> <span class="member-annotations"> </span> @@ -5428,17 +5495,37 @@ B - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++:(prefix)"> + + </div> + <div class="member-body-long" id ="long-body-++:(prefix)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="apply(i)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(i)');">[+]</span> <span class="member-annotations"> </span> @@ -5477,12 +5564,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(i)"> + + </div> + <div class="member-body-long" id ="long-body-apply(i)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="drop(n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'drop(n)');">[+]</span> <span class="member-annotations"> @tailrec </span> @@ -5521,12 +5625,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-drop(n)"> + + </div> + <div class="member-body-long" id ="long-body-drop(n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromIterable(c)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(c)');">[+]</span> <span class="member-annotations"> </span> @@ -5563,17 +5684,37 @@ B - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(c)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(c)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="head" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'head');">[+]</span> <span class="member-annotations"> </span> @@ -5599,12 +5740,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-head"> + + </div> + <div class="member-body-long" id ="long-body-head"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isEmpty" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isEmpty');">[+]</span> <span class="member-annotations"> </span> @@ -5630,12 +5788,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isEmpty"> + + </div> + <div class="member-body-long" id ="long-body-isEmpty"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5656,17 +5831,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="length" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'length');">[+]</span> <span class="member-annotations"> </span> @@ -5692,12 +5887,29 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-length"> + + </div> + <div class="member-body-long" id ="long-body-length"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="newBuilder" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'newBuilder');">[+]</span> <span class="member-annotations"> </span> @@ -5718,17 +5930,37 @@ B - <span class="no-left">: Builder</span> + <span class="no-left">: Builder +<span class="no-left no-right">[</span> +A<span class="">, </span>To +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-newBuilder"> + + </div> + <div class="member-body-long" id ="long-body-newBuilder"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="tail" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'tail');">[+]</span> <span class="member-annotations"> </span> @@ -5749,13 +5981,32 @@ B - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-tail"> + + </div> + <div class="member-body-long" id ="long-body-tail"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/ListBuffer$.html b/api/strawman/collections/CollectionStrawMan5$/ListBuffer$.html index 034c7e30d..6eebdd8fd 100644 --- a/api/strawman/collections/CollectionStrawMan5$/ListBuffer$.html +++ b/api/strawman/collections/CollectionStrawMan5$/ListBuffer$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,38 @@ <span id="entity-name"> ListBuffer </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">IterableFactory</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="fromIterable(coll)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5376,13 +5401,32 @@ B - <span class="no-left">: ListBuffer</span> + <span class="no-left">: ListBuffer +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/ListBuffer.html b/api/strawman/collections/CollectionStrawMan5$/ListBuffer.html index 75bbdfbf2..6efc781cd 100644 --- a/api/strawman/collections/CollectionStrawMan5$/ListBuffer.html +++ b/api/strawman/collections/CollectionStrawMan5$/ListBuffer.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,39 @@ <span id="entity-name"> ListBuffer </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Seq</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">SeqLike</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">Builder</span> + + </div> + </div> @@ -5339,12 +5375,35 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">ListBuffer</span> + <span class="no-left">(</span> + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="aliased" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'aliased');">[+]</span> <span class="member-annotations"> </span> @@ -5370,12 +5429,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-aliased"> + + </div> + <div class="member-body-long" id ="long-body-aliased"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="first" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'first');">[+]</span> <span class="member-annotations"> </span> @@ -5396,17 +5472,37 @@ - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-first"> + + </div> + <div class="member-body-long" id ="long-body-first"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="last" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'last');">[+]</span> <span class="member-annotations"> </span> @@ -5427,17 +5523,37 @@ - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-last"> + + </div> + <div class="member-body-long" id ="long-body-last"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="+=(elem)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '+=(elem)');">[+]</span> <span class="member-annotations"> </span> @@ -5471,17 +5587,37 @@ - <span class="no-left">: ListBuffer</span> + <span class="no-left">: ListBuffer +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-+=(elem)"> + + </div> + <div class="member-body-long" id ="long-body-+=(elem)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="aliased_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'aliased_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5520,12 +5656,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-aliased_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-aliased_=(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="apply(i)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(i)');">[+]</span> <span class="member-annotations"> </span> @@ -5564,12 +5717,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(i)"> + + </div> + <div class="member-body-long" id ="long-body-apply(i)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copyElems()" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copyElems()');">[+]</span> <span class="member-annotations"> </span> @@ -5602,12 +5772,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copyElems()"> + + </div> + <div class="member-body-long" id ="long-body-copyElems()"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="first_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'first_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5649,12 +5836,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-first_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-first_=(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromIterable(coll)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5691,17 +5895,37 @@ B - <span class="no-left">: ListBuffer</span> + <span class="no-left">: ListBuffer +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5722,17 +5946,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="last_=(x$1)" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'last_=(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5774,12 +6018,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-last_=(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-last_=(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="length" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'length');">[+]</span> <span class="member-annotations"> </span> @@ -5805,12 +6066,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-length"> + + </div> + <div class="member-body-long" id ="long-body-length"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="result" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'result');">[+]</span> <span class="member-annotations"> </span> @@ -5836,12 +6114,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-result"> + + </div> + <div class="member-body-long" id ="long-body-result"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="toString" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span> <span class="member-annotations"> </span> @@ -5867,8 +6162,24 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-toString"> + + </div> + <div class="member-body-long" id ="long-body-toString"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Nil$.html b/api/strawman/collections/CollectionStrawMan5$/Nil$.html index 1731bdadd..1098ce5e9 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Nil$.html +++ b/api/strawman/collections/CollectionStrawMan5$/Nil$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,43 @@ <span id="entity-name"> Nil </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">List</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">Product0</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="head" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'head');">[+]</span> <span class="member-annotations"> </span> @@ -5365,12 +5395,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-head"> + + </div> + <div class="member-body-long" id ="long-body-head"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="isEmpty" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'isEmpty');">[+]</span> <span class="member-annotations"> </span> @@ -5396,12 +5443,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-isEmpty"> + + </div> + <div class="member-body-long" id ="long-body-isEmpty"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="tail" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'tail');">[+]</span> <span class="member-annotations"> </span> @@ -5422,13 +5486,32 @@ - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-tail"> + + </div> + <div class="member-body-long" id ="long-body-tail"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/RandomAccessView.html b/api/strawman/collections/CollectionStrawMan5$/RandomAccessView.html index 719e18f43..4d6439789 100644 --- a/api/strawman/collections/CollectionStrawMan5$/RandomAccessView.html +++ b/api/strawman/collections/CollectionStrawMan5$/RandomAccessView.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,29 @@ <span id="entity-name"> RandomAccessView </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> @@ -5339,12 +5365,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(i)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(i)');">[+]</span> <span class="member-annotations"> </span> @@ -5383,12 +5420,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(i)"> + + </div> + <div class="member-body-long" id ="long-body-apply(i)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="end" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span> <span class="member-annotations"> </span> @@ -5414,12 +5468,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-end"> + + </div> + <div class="member-body-long" id ="long-body-end"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5440,17 +5511,37 @@ - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5476,12 +5567,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="start" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span> <span class="member-annotations"> </span> @@ -5507,8 +5615,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-start"> + + </div> + <div class="member-body-long" id ="long-body-start"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/Seq.html b/api/strawman/collections/CollectionStrawMan5$/Seq.html index 0b5b91873..291eb8e63 100644 --- a/api/strawman/collections/CollectionStrawMan5$/Seq.html +++ b/api/strawman/collections/CollectionStrawMan5$/Seq.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,34 @@ <span id="entity-name"> Seq </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Iterable</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">SeqLike</span> + + </div> + </div> @@ -5339,12 +5370,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(i)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(i)');">[+]</span> <span class="member-annotations"> </span> @@ -5383,12 +5425,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(i)"> + + </div> + <div class="member-body-long" id ="long-body-apply(i)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="length" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'length');">[+]</span> <span class="member-annotations"> </span> @@ -5414,8 +5473,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-length"> + + </div> + <div class="member-body-long" id ="long-body-length"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/SeqLike.html b/api/strawman/collections/CollectionStrawMan5$/SeqLike.html index 625970a11..e651a8f34 100644 --- a/api/strawman/collections/CollectionStrawMan5$/SeqLike.html +++ b/api/strawman/collections/CollectionStrawMan5$/SeqLike.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,40 @@ <span id="entity-name"> SeqLike </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A, + + </span> + + <span class="no-left"> + + +C + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">IterableLike</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">SeqMonoTransforms</span> + + </div> + </div> @@ -5339,7 +5376,17 @@ </div> - <h1 class="section empty">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section empty"> + Members + </h1> <div id="entity-members" class="entity-section empty"> diff --git a/api/strawman/collections/CollectionStrawMan5$/SeqMonoTransforms.html b/api/strawman/collections/CollectionStrawMan5$/SeqMonoTransforms.html index ee2497495..a23318219 100644 --- a/api/strawman/collections/CollectionStrawMan5$/SeqMonoTransforms.html +++ b/api/strawman/collections/CollectionStrawMan5$/SeqMonoTransforms.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,61 @@ <span id="entity-name"> SeqMonoTransforms </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A, + + </span> + + <span class="no-left"> + + +Repr + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Any</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterableMonoTransforms</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="reverse" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'reverse');">[+]</span> <span class="member-annotations"> </span> @@ -5365,8 +5413,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-reverse"> + + </div> + <div class="member-body-long" id ="long-body-reverse"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/StringOps$.html b/api/strawman/collections/CollectionStrawMan5$/StringOps$.html index 4192a75b9..2ab744b7a 100644 --- a/api/strawman/collections/CollectionStrawMan5$/StringOps$.html +++ b/api/strawman/collections/CollectionStrawMan5$/StringOps$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,6 +5333,8 @@ <span id="entity-name"> StringOps </span> + + </div> @@ -5339,7 +5344,17 @@ </div> - <h1 class="section empty">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section empty"> + Members + </h1> <div id="entity-members" class="entity-section empty"> diff --git a/api/strawman/collections/CollectionStrawMan5$/StringOps.html b/api/strawman/collections/CollectionStrawMan5$/StringOps.html index 35bc564d9..3fee4b179 100644 --- a/api/strawman/collections/CollectionStrawMan5$/StringOps.html +++ b/api/strawman/collections/CollectionStrawMan5$/StringOps.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,6 +5333,32 @@ <span id="entity-name"> StringOps </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">AnyVal</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterableOps</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">SeqMonoTransforms</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterablePolyTransforms</span> + + </div> + </div> @@ -5339,12 +5368,41 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">StringOps</span> + <span class="no-left">(</span> + + + <span class="no-left"> + s: + </span> + String + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="s" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 's');">[+]</span> <span class="member-annotations"> </span> @@ -5370,12 +5428,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-s"> + + </div> + <div class="member-body-long" id ="long-body-s"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="++(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5417,12 +5492,29 @@ Char </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++(xs)"> + + </div> + <div class="member-body-long" id ="long-body-++(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="++(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '++(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5461,12 +5553,29 @@ Char </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-++(xs)"> + + </div> + <div class="member-body-long" id ="long-body-++(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="coll" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'coll');">[+]</span> <span class="member-annotations"> </span> @@ -5487,17 +5596,37 @@ Char - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-coll"> + + </div> + <div class="member-body-long" id ="long-body-coll"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="flatMap(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'flatMap(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5536,12 +5665,29 @@ Char </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-flatMap(f)"> + + </div> + <div class="member-body-long" id ="long-body-flatMap(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromIterable(coll)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5578,17 +5724,37 @@ B - <span class="no-left">: List</span> + <span class="no-left">: List +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromLikeIterable(coll)" class="member protected"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromLikeIterable(coll)');">[+]</span> <span class="member-annotations"> </span> @@ -5630,12 +5796,29 @@ Char </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromLikeIterable(coll)"> + + </div> + <div class="member-body-long" id ="long-body-fromLikeIterable(coll)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5656,17 +5839,37 @@ Char - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="map(f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'map(f)');">[+]</span> <span class="member-annotations"> </span> @@ -5705,8 +5908,24 @@ Char </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-map(f)"> + + </div> + <div class="member-body-long" id ="long-body-map(f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/StringView$.html b/api/strawman/collections/CollectionStrawMan5$/StringView$.html index 00a978971..e464a4f42 100644 --- a/api/strawman/collections/CollectionStrawMan5$/StringView$.html +++ b/api/strawman/collections/CollectionStrawMan5$/StringView$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,38 @@ <span id="entity-name"> StringView </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Function1</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(s)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(s)');">[+]</span> <span class="member-annotations"> </span> @@ -5378,12 +5403,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(s)"> + + </div> + <div class="member-body-long" id ="long-body-apply(s)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5422,8 +5464,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/StringView.html b/api/strawman/collections/CollectionStrawMan5$/StringView.html index f51cefada..077da6235 100644 --- a/api/strawman/collections/CollectionStrawMan5$/StringView.html +++ b/api/strawman/collections/CollectionStrawMan5$/StringView.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,56 @@ <span id="entity-name"> StringView </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">RandomAccessView</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">StringView</span> + <span class="no-left">(</span> + + + <span class="no-left"> + s: + </span> + String + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="end" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span> <span class="member-annotations"> </span> @@ -5365,12 +5408,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-end"> + + </div> + <div class="member-body-long" id ="long-body-end"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="s" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 's');">[+]</span> <span class="member-annotations"> </span> @@ -5396,12 +5456,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-s"> + + </div> + <div class="member-body-long" id ="long-body-s"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="start" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5504,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-start"> + + </div> + <div class="member-body-long" id ="long-body-start"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5552,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="apply(n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(n)');">[+]</span> <span class="member-annotations"> </span> @@ -5502,12 +5613,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(n)"> + + </div> + <div class="member-body-long" id ="long-body-apply(n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(s)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(s)');">[+]</span> <span class="member-annotations"> </span> @@ -5546,12 +5674,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(s)"> + + </div> + <div class="member-body-long" id ="long-body-copy(s)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5577,8 +5722,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$.html b/api/strawman/collections/CollectionStrawMan5$/View$.html index da5d97e1a..d6b781b7b 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> View </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="Concat" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Concat');">[+]</span> <span class="member-annotations"> </span> @@ -5363,12 +5379,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Concat"> + + </div> + <div class="member-body-long" id ="long-body-Concat"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Concat$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Concat$');">[+]</span> <span class="member-annotations"> </span> @@ -5392,12 +5425,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Concat$"> + + </div> + <div class="member-body-long" id ="long-body-Concat$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Drop" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Drop');">[+]</span> <span class="member-annotations"> </span> @@ -5421,12 +5471,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Drop"> + + </div> + <div class="member-body-long" id ="long-body-Drop"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Drop$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Drop$');">[+]</span> <span class="member-annotations"> </span> @@ -5450,12 +5517,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Drop$"> + + </div> + <div class="member-body-long" id ="long-body-Drop$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Elems" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Elems');">[+]</span> <span class="member-annotations"> </span> @@ -5479,12 +5563,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Elems"> + + </div> + <div class="member-body-long" id ="long-body-Elems"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Elems$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Elems$');">[+]</span> <span class="member-annotations"> </span> @@ -5508,12 +5609,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Elems$"> + + </div> + <div class="member-body-long" id ="long-body-Elems$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Empty$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Empty$');">[+]</span> <span class="member-annotations"> </span> @@ -5537,12 +5655,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Empty$"> + + </div> + <div class="member-body-long" id ="long-body-Empty$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Filter" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Filter');">[+]</span> <span class="member-annotations"> </span> @@ -5566,12 +5701,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Filter"> + + </div> + <div class="member-body-long" id ="long-body-Filter"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Filter$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Filter$');">[+]</span> <span class="member-annotations"> </span> @@ -5595,12 +5747,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Filter$"> + + </div> + <div class="member-body-long" id ="long-body-Filter$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="FlatMap" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FlatMap');">[+]</span> <span class="member-annotations"> </span> @@ -5624,12 +5793,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-FlatMap"> + + </div> + <div class="member-body-long" id ="long-body-FlatMap"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="FlatMap$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'FlatMap$');">[+]</span> <span class="member-annotations"> </span> @@ -5653,12 +5839,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-FlatMap$"> + + </div> + <div class="member-body-long" id ="long-body-FlatMap$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Map" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Map');">[+]</span> <span class="member-annotations"> </span> @@ -5682,12 +5885,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Map"> + + </div> + <div class="member-body-long" id ="long-body-Map"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Map$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Map$');">[+]</span> <span class="member-annotations"> </span> @@ -5711,12 +5931,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Map$"> + + </div> + <div class="member-body-long" id ="long-body-Map$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Partition" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Partition');">[+]</span> <span class="member-annotations"> </span> @@ -5740,12 +5977,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Partition"> + + </div> + <div class="member-body-long" id ="long-body-Partition"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Partition$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Partition$');">[+]</span> <span class="member-annotations"> </span> @@ -5769,12 +6023,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Partition$"> + + </div> + <div class="member-body-long" id ="long-body-Partition$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Partitioned" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Partitioned');">[+]</span> <span class="member-annotations"> </span> @@ -5798,12 +6069,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Partitioned"> + + </div> + <div class="member-body-long" id ="long-body-Partitioned"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Partitioned$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Partitioned$');">[+]</span> <span class="member-annotations"> </span> @@ -5827,12 +6115,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Partitioned$"> + + </div> + <div class="member-body-long" id ="long-body-Partitioned$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Zip" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Zip');">[+]</span> <span class="member-annotations"> </span> @@ -5856,12 +6161,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Zip"> + + </div> + <div class="member-body-long" id ="long-body-Zip"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="Zip$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Zip$');">[+]</span> <span class="member-annotations"> </span> @@ -5885,12 +6207,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Zip$"> + + </div> + <div class="member-body-long" id ="long-body-Zip$"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="fromIterator(it)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterator(it)');">[+]</span> <span class="member-annotations"> </span> @@ -5927,13 +6266,32 @@ A - <span class="no-left">: View</span> + <span class="no-left">: View +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterator(it)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterator(it)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Concat$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Concat$.html index af72b3575..7e7ada4ac 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Concat$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Concat$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Concat </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(underlying,other)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(underlying,other)');">[+]</span> <span class="member-annotations"> </span> @@ -5387,17 +5403,37 @@ A - <span class="no-left">: Concat</span> + <span class="no-left">: Concat +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(underlying,other)"> + + </div> + <div class="member-body-long" id ="long-body-apply(underlying,other)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5434,13 +5470,32 @@ A - <span class="no-left">: Concat</span> + <span class="no-left">: Concat +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Concat.html b/api/strawman/collections/CollectionStrawMan5$/View$/Concat.html index cb7004139..0dd633644 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Concat.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Concat.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,82 @@ <span id="entity-name"> Concat </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Concat</span> + <span class="no-left">(</span> + + + <span class="no-left"> + underlying: + </span> + Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + other: + </span> + IterableOnce +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="other" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'other');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5429,37 @@ - <span class="no-left">: IterableOnce</span> + <span class="no-left">: IterableOnce +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-other"> + + </div> + <div class="member-body-long" id ="long-body-other"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlying" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5480,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-underlying"> + + </div> + <div class="member-body-long" id ="long-body-underlying"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5536,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5584,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(underlying,other)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(underlying,other)');">[+]</span> <span class="member-annotations"> </span> @@ -5511,17 +5654,37 @@ A - <span class="no-left">: Concat</span> + <span class="no-left">: Concat +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(underlying,other)"> + + </div> + <div class="member-body-long" id ="long-body-copy(underlying,other)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5542,17 +5705,37 @@ A - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5573,17 +5756,37 @@ A - <span class="no-left">: IterableOnce</span> + <span class="no-left">: IterableOnce +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5604,17 +5807,37 @@ A - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5640,8 +5863,24 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Drop$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Drop$.html index 45847b657..41c30eca5 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Drop$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Drop$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Drop </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(underlying,n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(underlying,n)');">[+]</span> <span class="member-annotations"> </span> @@ -5384,17 +5400,37 @@ A - <span class="no-left">: Drop</span> + <span class="no-left">: Drop +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(underlying,n)"> + + </div> + <div class="member-body-long" id ="long-body-apply(underlying,n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5431,13 +5467,32 @@ A - <span class="no-left">: Drop</span> + <span class="no-left">: Drop +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Drop.html b/api/strawman/collections/CollectionStrawMan5$/View$/Drop.html index 3674d9e7a..61700a012 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Drop.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Drop.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,79 @@ <span id="entity-name"> Drop </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Drop</span> + <span class="no-left">(</span> + + + <span class="no-left"> + underlying: + </span> + Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + n: + </span> + Int + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="n" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'n');">[+]</span> <span class="member-annotations"> </span> @@ -5365,12 +5431,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-n"> + + </div> + <div class="member-body-long" id ="long-body-n"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlying" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5474,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-underlying"> + + </div> + <div class="member-body-long" id ="long-body-underlying"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5530,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5578,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(underlying,n)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(underlying,n)');">[+]</span> <span class="member-annotations"> </span> @@ -5508,17 +5645,37 @@ A - <span class="no-left">: Drop</span> + <span class="no-left">: Drop +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(underlying,n)"> + + </div> + <div class="member-body-long" id ="long-body-copy(underlying,n)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5539,17 +5696,37 @@ A - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5575,12 +5752,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5601,17 +5795,37 @@ A - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5637,8 +5851,24 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Elems$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Elems$.html index 3d7226e56..30c8e6c12 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Elems$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Elems$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Elems </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(xs)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(xs)');">[+]</span> <span class="member-annotations"> </span> @@ -5376,17 +5392,37 @@ A - <span class="no-left">: Elems</span> + <span class="no-left">: Elems +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(xs)"> + + </div> + <div class="member-body-long" id ="long-body-apply(xs)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5423,13 +5459,32 @@ A - <span class="no-left">: Elems</span> + <span class="no-left">: Elems +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Elems.html b/api/strawman/collections/CollectionStrawMan5$/View$/Elems.html index aa3db55f8..2d30a10fc 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Elems.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Elems.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,71 @@ <span id="entity-name"> Elems </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Elems</span> + <span class="no-left">(</span> + + + <span class="no-left"> + xs: + </span> + <repeated> +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="xs" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'xs');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5418,37 @@ - <span class="no-left">: Seq</span> + <span class="no-left">: Seq +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-xs"> + + </div> + <div class="member-body-long" id ="long-body-xs"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5396,12 +5474,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5422,17 +5517,37 @@ - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5458,8 +5573,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Empty$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Empty$.html index 569b24ab3..327a9c18d 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Empty$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Empty$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,43 @@ <span id="entity-name"> Empty </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">Product0</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5390,37 @@ - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5396,8 +5446,24 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Filter$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Filter$.html index debea19a2..d76c60709 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Filter$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Filter$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Filter </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(underlying,p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(underlying,p)');">[+]</span> <span class="member-annotations"> </span> @@ -5384,17 +5400,37 @@ A - <span class="no-left">: Filter</span> + <span class="no-left">: Filter +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(underlying,p)"> + + </div> + <div class="member-body-long" id ="long-body-apply(underlying,p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5431,13 +5467,32 @@ A - <span class="no-left">: Filter</span> + <span class="no-left">: Filter +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Filter.html b/api/strawman/collections/CollectionStrawMan5$/View$/Filter.html index da939a49d..7518ee183 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Filter.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Filter.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,79 @@ <span id="entity-name"> Filter </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Filter</span> + <span class="no-left">(</span> + + + <span class="no-left"> + underlying: + </span> + Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + p: + </span> + A<span class="right-arrow"> => </span>Boolean + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="p" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'p');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5426,34 @@ - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>Boolean</span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-p"> + + </div> + <div class="member-body-long" id ="long-body-p"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlying" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5474,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-underlying"> + + </div> + <div class="member-body-long" id ="long-body-underlying"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5530,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5578,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(underlying,p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(underlying,p)');">[+]</span> <span class="member-annotations"> </span> @@ -5508,17 +5645,37 @@ A - <span class="no-left">: Filter</span> + <span class="no-left">: Filter +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(underlying,p)"> + + </div> + <div class="member-body-long" id ="long-body-copy(underlying,p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5539,17 +5696,37 @@ A - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5570,17 +5747,34 @@ A - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>Boolean</span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5601,13 +5795,32 @@ A - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap$.html b/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap$.html index 68bd8e20a..cd8309187 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> FlatMap </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(underlying,f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(underlying,f)');">[+]</span> <span class="member-annotations"> </span> @@ -5387,17 +5403,37 @@ B - <span class="no-left">: FlatMap</span> + <span class="no-left">: FlatMap +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(underlying,f)"> + + </div> + <div class="member-body-long" id ="long-body-apply(underlying,f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5434,13 +5470,32 @@ A<span class="">, </span>B - <span class="no-left">: FlatMap</span> + <span class="no-left">: FlatMap +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap.html b/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap.html index 089506357..9607e1eec 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/FlatMap.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,88 @@ <span id="entity-name"> FlatMap </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A, + + </span> + + <span class="no-left"> + + B + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">FlatMap</span> + <span class="no-left">(</span> + + + <span class="no-left"> + underlying: + </span> + Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + f: + </span> + A<span class="right-arrow"> => </span>IterableOnce +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span> + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="f" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'f');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5435,37 @@ - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>IterableOnce +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-f"> + + </div> + <div class="member-body-long" id ="long-body-f"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlying" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5486,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-underlying"> + + </div> + <div class="member-body-long" id ="long-body-underlying"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5542,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5590,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(underlying,f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(underlying,f)');">[+]</span> <span class="member-annotations"> </span> @@ -5511,17 +5660,37 @@ B - <span class="no-left">: FlatMap</span> + <span class="no-left">: FlatMap +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(underlying,f)"> + + </div> + <div class="member-body-long" id ="long-body-copy(underlying,f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5542,17 +5711,37 @@ B - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5573,17 +5762,37 @@ B - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>IterableOnce +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5604,13 +5813,32 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Map$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Map$.html index b5b286e1d..814c90ba7 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Map$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Map$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Map </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(underlying,f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(underlying,f)');">[+]</span> <span class="member-annotations"> </span> @@ -5384,17 +5400,37 @@ A - <span class="no-left">: Map</span> + <span class="no-left">: Map +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(underlying,f)"> + + </div> + <div class="member-body-long" id ="long-body-apply(underlying,f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5431,13 +5467,32 @@ A<span class="">, </span>B - <span class="no-left">: Map</span> + <span class="no-left">: Map +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Map.html b/api/strawman/collections/CollectionStrawMan5$/View$/Map.html index f28319b17..6ec4b4bf7 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Map.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Map.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,85 @@ <span id="entity-name"> Map </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A, + + </span> + + <span class="no-left"> + + B + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Map</span> + <span class="no-left">(</span> + + + <span class="no-left"> + underlying: + </span> + Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + f: + </span> + A<span class="right-arrow"> => </span>B + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="f" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'f');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5432,34 @@ - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>B</span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-f"> + + </div> + <div class="member-body-long" id ="long-body-f"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlying" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5480,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-underlying"> + + </div> + <div class="member-body-long" id ="long-body-underlying"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5536,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5584,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(underlying,f)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(underlying,f)');">[+]</span> <span class="member-annotations"> </span> @@ -5508,17 +5651,37 @@ A - <span class="no-left">: Map</span> + <span class="no-left">: Map +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(underlying,f)"> + + </div> + <div class="member-body-long" id ="long-body-copy(underlying,f)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5539,17 +5702,37 @@ A - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5570,17 +5753,34 @@ A - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>B</span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5601,17 +5801,37 @@ A - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5637,8 +5857,24 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Partition$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Partition$.html index 00d1eef89..ed341b7e9 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Partition$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Partition$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Partition </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(underlying,p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(underlying,p)');">[+]</span> <span class="member-annotations"> </span> @@ -5384,17 +5400,37 @@ A - <span class="no-left">: Partition</span> + <span class="no-left">: Partition +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(underlying,p)"> + + </div> + <div class="member-body-long" id ="long-body-apply(underlying,p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5431,13 +5467,32 @@ A - <span class="no-left">: Partition</span> + <span class="no-left">: Partition +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Partition.html b/api/strawman/collections/CollectionStrawMan5$/View$/Partition.html index a06354de9..62a6d4165 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Partition.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Partition.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,70 @@ <span id="entity-name"> Partition </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Partition</span> + <span class="no-left">(</span> + + + <span class="no-left"> + underlying: + </span> + Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + p: + </span> + A<span class="right-arrow"> => </span>Boolean + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="left" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'left');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5417,37 @@ - <span class="no-left">: Partitioned</span> + <span class="no-left">: Partitioned +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-left"> + + </div> + <div class="member-body-long" id ="long-body-left"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="p" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'p');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5468,34 @@ - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>Boolean</span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-p"> + + </div> + <div class="member-body-long" id ="long-body-p"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="right" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'right');">[+]</span> <span class="member-annotations"> </span> @@ -5422,17 +5516,37 @@ - <span class="no-left">: Partitioned</span> + <span class="no-left">: Partitioned +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-right"> + + </div> + <div class="member-body-long" id ="long-body-right"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlying" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span> <span class="member-annotations"> </span> @@ -5453,17 +5567,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-underlying"> + + </div> + <div class="member-body-long" id ="long-body-underlying"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5489,12 +5623,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5520,12 +5671,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(underlying,p)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(underlying,p)');">[+]</span> <span class="member-annotations"> </span> @@ -5570,17 +5738,37 @@ A - <span class="no-left">: Partition</span> + <span class="no-left">: Partition +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(underlying,p)"> + + </div> + <div class="member-body-long" id ="long-body-copy(underlying,p)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5601,17 +5789,37 @@ A - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5632,13 +5840,29 @@ A - <span class="no-left">: </span> + <span class="no-left">: A<span class="right-arrow"> => </span>Boolean</span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned$.html index 33eb9bd7a..67eac50b0 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Partitioned </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(partition,cond)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(partition,cond)');">[+]</span> <span class="member-annotations"> </span> @@ -5384,17 +5400,37 @@ A - <span class="no-left">: Partitioned</span> + <span class="no-left">: Partitioned +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(partition,cond)"> + + </div> + <div class="member-body-long" id ="long-body-apply(partition,cond)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5431,13 +5467,32 @@ A - <span class="no-left">: Partitioned</span> + <span class="no-left">: Partitioned +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned.html b/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned.html index 788cc4b7d..e88ab1a55 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Partitioned.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,79 @@ <span id="entity-name"> Partitioned </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Partitioned</span> + <span class="no-left">(</span> + + + <span class="no-left"> + partition: + </span> + Partition +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + cond: + </span> + Boolean + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="cond" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'cond');">[+]</span> <span class="member-annotations"> </span> @@ -5365,12 +5431,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-cond"> + + </div> + <div class="member-body-long" id ="long-body-cond"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="partition" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'partition');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5474,37 @@ - <span class="no-left">: Partition</span> + <span class="no-left">: Partition +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-partition"> + + </div> + <div class="member-body-long" id ="long-body-partition"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5530,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5578,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(partition,cond)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(partition,cond)');">[+]</span> <span class="member-annotations"> </span> @@ -5508,17 +5645,37 @@ A - <span class="no-left">: Partitioned</span> + <span class="no-left">: Partitioned +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(partition,cond)"> + + </div> + <div class="member-body-long" id ="long-body-copy(partition,cond)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5539,17 +5696,37 @@ A - <span class="no-left">: Partition</span> + <span class="no-left">: Partition +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5575,12 +5752,29 @@ A </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5601,13 +5795,32 @@ A - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Zip$.html b/api/strawman/collections/CollectionStrawMan5$/View$/Zip$.html index d42052a04..4548d9dff 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Zip$.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Zip$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Zip </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="apply(underlying,other)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(underlying,other)');">[+]</span> <span class="member-annotations"> </span> @@ -5387,17 +5403,37 @@ B - <span class="no-left">: Zip</span> + <span class="no-left">: Zip +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(underlying,other)"> + + </div> + <div class="member-body-long" id ="long-body-apply(underlying,other)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -5434,13 +5470,32 @@ A<span class="">, </span>B - <span class="no-left">: Zip</span> + <span class="no-left">: Zip +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View$/Zip.html b/api/strawman/collections/CollectionStrawMan5$/View$/Zip.html index 96902d490..51f1ac98f 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View$/Zip.html +++ b/api/strawman/collections/CollectionStrawMan5$/View$/Zip.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,88 @@ <span id="entity-name"> Zip </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + A, + + </span> + + <span class="no-left"> + + B + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">View</span> + + </div> + </div> - <h1 class="section ">Members</h1> + <h1 class="section "> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section "> + + + <div class="member"> + <div class="member-title"> + <span class="member-name">Zip</span> + <span class="no-left">(</span> + + + <span class="no-left"> + underlying: + </span> + Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + other: + </span> + IterableOnce +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span> + + + <span class="no-left">)</span> + </div> + </div> + + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="other" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'other');">[+]</span> <span class="member-annotations"> </span> @@ -5360,17 +5435,37 @@ - <span class="no-left">: IterableOnce</span> + <span class="no-left">: IterableOnce +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-other"> + + </div> + <div class="member-body-long" id ="long-body-other"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="underlying" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span> <span class="member-annotations"> </span> @@ -5391,17 +5486,37 @@ - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-underlying"> + + </div> + <div class="member-body-long" id ="long-body-underlying"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span> <span class="member-annotations"> </span> @@ -5427,12 +5542,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_1"> + + </div> + <div class="member-body-long" id ="long-body-_1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="_2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span> <span class="member-annotations"> </span> @@ -5458,12 +5590,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-_2"> + + </div> + <div class="member-body-long" id ="long-body-_2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy(underlying,other)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy(underlying,other)');">[+]</span> <span class="member-annotations"> </span> @@ -5511,17 +5660,37 @@ B - <span class="no-left">: Zip</span> + <span class="no-left">: Zip +<span class="no-left no-right">[</span> +A<span class="">, </span>B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy(underlying,other)"> + + </div> + <div class="member-body-long" id ="long-body-copy(underlying,other)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$1" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5542,17 +5711,37 @@ B - <span class="no-left">: Iterable</span> + <span class="no-left">: Iterable +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$1"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$1"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="copy$default$2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5573,17 +5762,37 @@ B - <span class="no-left">: IterableOnce</span> + <span class="no-left">: IterableOnce +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-copy$default$2"> + + </div> + <div class="member-body-long" id ="long-body-copy$default$2"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="iterator" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span> <span class="member-annotations"> </span> @@ -5604,17 +5813,37 @@ B - <span class="no-left">: Iterator</span> + <span class="no-left">: Iterator +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-iterator"> + + </div> + <div class="member-body-long" id ="long-body-iterator"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="knownLength" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'knownLength');">[+]</span> <span class="member-annotations"> </span> @@ -5640,8 +5869,24 @@ B </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-knownLength"> + + </div> + <div class="member-body-long" id ="long-body-knownLength"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> diff --git a/api/strawman/collections/CollectionStrawMan5$/View.html b/api/strawman/collections/CollectionStrawMan5$/View.html index 9fe33eb8a..d1cb64fbc 100644 --- a/api/strawman/collections/CollectionStrawMan5$/View.html +++ b/api/strawman/collections/CollectionStrawMan5$/View.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,6 +5333,34 @@ <span id="entity-name"> View </span> + + <span id="entity-type-params"> + <span class="no-left">[</span> + + <span class="no-left"> + + +A + + </span> + + <span class="no-left">]</span> + </span> + + + <div id="super-types"> + + + <span class="keyword">extends</span> + + <span class="entity-super-type">Iterable</span> + + + <span class="keyword">with</span> + + <span class="entity-super-type">IterableLike</span> + + </div> + </div> @@ -5339,12 +5370,23 @@ </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="fromIterable(c)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'fromIterable(c)');">[+]</span> <span class="member-annotations"> </span> @@ -5381,17 +5423,37 @@ B - <span class="no-left">: View</span> + <span class="no-left">: View +<span class="no-left no-right">[</span> +B +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-fromIterable(c)"> + + </div> + <div class="member-body-long" id ="long-body-fromIterable(c)"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> <div id="view" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'view');">[+]</span> <span class="member-annotations"> </span> @@ -5412,13 +5474,32 @@ B - <span class="no-left">: View</span> + <span class="no-left">: View +<span class="no-left no-right">[</span> +A +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-view"> + + </div> + <div class="member-body-long" id ="long-body-view"> + + </div> </div> + <script> + function toggleMemberBody(span, sig) { + var shortBody = document.getElementById("short-body-" + sig); + var longBody = document.getElementById("long-body-" + sig); + + shortBody.classList.toggle("toggled") + longBody.classList.toggle("toggled") + + span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; + } + </script> </div><!-- end member --> </div> |