aboutsummaryrefslogtreecommitdiff
path: root/api/strawman/collections/CollectionStrawMan1$/Iterator$
diff options
context:
space:
mode:
Diffstat (limited to 'api/strawman/collections/CollectionStrawMan1$/Iterator$')
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat$.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop$.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap$.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Map$.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Map.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition$.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse$.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip$.html10
-rw-r--r--api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip.html10
14 files changed, 98 insertions, 42 deletions
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat$.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat$.html
index 1de784dca..d0432985d 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat$.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat$.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Concat"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat.html
index c1a2a6ec9..6d1ebbe3b 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Concat.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Concat"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop$.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop$.html
index 85048399f..861dba7ae 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop$.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop$.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Drop"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop.html
index af7c3fb43..8526fb1c7 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Drop.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Drop"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap$.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap$.html
index 607e04ced..494d4f3dd 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap$.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap$.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - FlatMap"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap.html
index 504e877f6..bc02cf54c 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/FlatMap.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - FlatMap"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map$.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map$.html
index e68ea77a3..c6719205e 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map$.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map$.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Map"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map.html
index 806358206..81b178510 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Map.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Map"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition$.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition$.html
index 47bdbdf34..65b5484a3 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition$.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition$.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Partition"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition.html
index 8d041fcf2..9cf860ef8 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Partition.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Partition"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse$.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse$.html
index dc647c570..c3a4e8f67 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse$.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse$.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Reverse"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse.html
index 12335563d..3ce4d7565 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Reverse.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Reverse"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip$.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip$.html
index 1acb8b618..7a7b662db 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip$.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip$.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Zip"
diff --git a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip.html b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip.html
index b08be964b..a1cb7cc6f 100644
--- a/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip.html
+++ b/api/strawman/collections/CollectionStrawMan1$/Iterator$/Zip.html
@@ -13,6 +13,7 @@
integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi"
crossorigin="anonymous"
>
+
<link
rel="stylesheet"
href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css"
@@ -5401,9 +5402,12 @@
</ul>
</div>
<div id="content-body">
- <div id="menu-toggle" onclick="toggleMenu()">
- <i class="fa fa-bars" aria-hidden="true"></i>
- </div>
+ <button type="button" id="menu-toggle" onclick="toggleMenu()" aria-expanded="false">
+ <span class="sr-only" aria-hidden="true">Toggle navigation</span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ <span class="icon-bar"></span>
+ </button>
<script>
document.title = "Dotty API - Zip"
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 09:33:51 +0000