aboutsummaryrefslogtreecommitdiff
path: root/api/strawman/collections/CollectionStrawMan1$/Iterator.html
diff options
context:
space:
mode:
Diffstat (limited to 'api/strawman/collections/CollectionStrawMan1$/Iterator.html')
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator.html398
1 files changed, 372 insertions, 26 deletions
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator.html b/api/strawman/collections/CollectionStrawMan1$/Iterator.html
index 657613bf5..b45394078 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator.html
+++ b/api/strawman/collections/CollectionStrawMan1$/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">CanIterate</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="flatMap(f)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'flatMap(f)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5472,17 +5549,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>
@@ -5532,12 +5629,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>
@@ -5587,12 +5701,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>
@@ -5631,12 +5762,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>
@@ -5662,12 +5810,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>
@@ -5706,12 +5871,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>
@@ -5732,17 +5914,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>
@@ -5776,17 +5978,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>
@@ -5812,12 +6034,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="partition(p)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'partition(p)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5851,17 +6090,42 @@ B
- <span class="no-left">: </span>
+ <span class="no-left">: <span class="no-right">(</span>
+Iterator
+<span class="no-left no-right">[</span>
+A
+<span class="no-left">]</span><span>, </span>Iterator
+<span class="no-left no-right">[</span>
+A
+<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-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="remaining" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'remaining');">[+]</span>
<span class="member-annotations">
</span>
@@ -5887,14 +6151,33 @@ B
</div><!-- end member-title -->
<div class="member-body">
- <p>If the number of elements still to be returned by this iterator is known,
+ <div class="member-body-short" id="short-body-remaining">
+ <p>If the number of elements still to be returned by this iterator is known,
that number, otherwise -1.</p>
+ </div>
+ <div class="member-body-long" id ="long-body-remaining">
+ <p>If the number of elements still to be returned by this iterator is known,
+that number, otherwise -1.</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="reverse" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'reverse');">[+]</span>
<span class="member-annotations">
</span>
@@ -5915,17 +6198,37 @@ that number, otherwise -1.</p>
- <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-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="underlying" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'underlying');">[+]</span>
<span class="member-annotations">
</span>
@@ -5946,19 +6249,41 @@ that number, otherwise -1.</p>
- <span class="no-left">: Iterator</span>
+ <span class="no-left">: Iterator
+<span class="no-left no-right">[</span>
+Nothing<span class="bounds"> &lt;: </span>Any
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>If this iterator results from applying a transfomation to another iterator,
+ <div class="member-body-short" id="short-body-underlying">
+ <p>If this iterator results from applying a transfomation to another iterator,
that other iterator, otherwise the iterator itself.</p>
+ </div>
+ <div class="member-body-long" id ="long-body-underlying">
+ <p>If this iterator results from applying a transfomation to another iterator,
+that other iterator, otherwise the iterator itself.</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="zip(that)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'zip(that)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5995,13 +6320,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>
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-30 19:29:46 +0000