diff options
Diffstat (limited to 'api/strawman/collections/CollectionStrawMan4$/View$.html')
-rw-r--r-- | api/strawman/collections/CollectionStrawMan4$/View$.html | 440 |
1 files changed, 416 insertions, 24 deletions
diff --git a/api/strawman/collections/CollectionStrawMan4$/View$.html b/api/strawman/collections/CollectionStrawMan4$/View$.html index fe68b4787..ab5c909d8 100644 --- a/api/strawman/collections/CollectionStrawMan4$/View$.html +++ b/api/strawman/collections/CollectionStrawMan4$/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="Reverse" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Reverse');">[+]</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-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 id="Reverse$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Reverse$');">[+]</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-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 id="Zip" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Zip');">[+]</span> <span class="member-annotations"> </span> @@ -5914,12 +6253,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> @@ -5943,12 +6299,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> @@ -5985,13 +6358,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> |