aboutsummaryrefslogtreecommitdiff
path: root/api/strawman/collections/CollectionStrawMan5$.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
commit881c3b182fda1036d5a507d08ff85f7709d70703 (patch)
treec0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/strawman/collections/CollectionStrawMan5$.html
parentb45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff)
downloaddotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/strawman/collections/CollectionStrawMan5$.html')
-rw-r--r--api/strawman/collections/CollectionStrawMan5$.html667
1 files changed, 633 insertions, 34 deletions
diff --git a/api/strawman/collections/CollectionStrawMan5$.html b/api/strawman/collections/CollectionStrawMan5$.html
index 0629e793e..f7f10ffe3 100644
--- a/api/strawman/collections/CollectionStrawMan5$.html
+++ b/api/strawman/collections/CollectionStrawMan5$.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">
CollectionStrawMan5
</span>
+
+
</div>
@@ -5349,12 +5354,23 @@ or drop for Lists.</p>
</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="ArrayBuffer" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ArrayBuffer');">[+]</span>
<span class="member-annotations">
</span>
@@ -5378,13 +5394,31 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Concrete collection type: ArrayBuffer</p>
+ <div class="member-body-short" id="short-body-ArrayBuffer">
+ <p>Concrete collection type: ArrayBuffer</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-ArrayBuffer">
+ <p>Concrete collection type: ArrayBuffer</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="ArrayBuffer$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ArrayBuffer$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5408,12 +5442,29 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-ArrayBuffer$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-ArrayBuffer$">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="ArrayBufferView" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ArrayBufferView');">[+]</span>
<span class="member-annotations">
</span>
@@ -5437,12 +5488,29 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-ArrayBufferView">
+
+ </div>
+ <div class="member-body-long" id ="long-body-ArrayBufferView">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="Buildable" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Buildable');">[+]</span>
<span class="member-annotations">
</span>
@@ -5466,13 +5534,31 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for strict collections</p>
+ <div class="member-body-short" id="short-body-Buildable">
+ <p>Base trait for strict collections</p>
+ </div>
+ <div class="member-body-long" id ="long-body-Buildable">
+ <p>Base trait for strict collections</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="Builder" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Builder');">[+]</span>
<span class="member-annotations">
</span>
@@ -5496,13 +5582,31 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for collection builders</p>
+ <div class="member-body-short" id="short-body-Builder">
+ <p>Base trait for collection builders</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-Builder">
+ <p>Base trait for collection builders</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="Cons" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Cons');">[+]</span>
<span class="member-annotations">
</span>
@@ -5526,12 +5630,29 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Cons">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Cons">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="Cons$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Cons$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5555,12 +5676,29 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Cons$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Cons$">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'FromIterable');">[+]</span>
<span class="member-annotations">
</span>
@@ -5584,13 +5722,31 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for instances that can construct a collection from an iterable</p>
+ <div class="member-body-short" id="short-body-FromIterable">
+ <p>Base trait for instances that can construct a collection from an iterable</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-FromIterable">
+ <p>Base trait for instances that can construct a collection from an iterable</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="Iterable" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Iterable');">[+]</span>
<span class="member-annotations">
</span>
@@ -5614,13 +5770,31 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for generic collections</p>
+ <div class="member-body-short" id="short-body-Iterable">
+ <p>Base trait for generic collections</p>
+ </div>
+ <div class="member-body-long" id ="long-body-Iterable">
+ <p>Base trait for generic collections</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="IterableFactory" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'IterableFactory');">[+]</span>
<span class="member-annotations">
</span>
@@ -5644,13 +5818,31 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for companion objects of collections</p>
+ <div class="member-body-short" id="short-body-IterableFactory">
+ <p>Base trait for companion objects of collections</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-IterableFactory">
+ <p>Base trait for companion objects of collections</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="IterableLike" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'IterableLike');">[+]</span>
<span class="member-annotations">
</span>
@@ -5674,17 +5866,40 @@ or drop for Lists.</p>
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for Iterable operations</p>
+ <div class="member-body-short" id="short-body-IterableLike">
+ <p>Base trait for Iterable operations</p>
<h1><a href="#variancenote" id="variancenote">VarianceNote</a></h1>
<p>We require that for all child classes of Iterable the variance of
the child class and the variance of the...
</p>
+ </div>
+ <div class="member-body-long" id ="long-body-IterableLike">
+ <p>Base trait for Iterable operations</p>
+<h1><a href="#variancenote" id="variancenote">VarianceNote</a></h1>
+<p>We require that for all child classes of Iterable the variance of
+the child class and the variance of the <code>C</code> parameter passed to <code>IterableLike</code>
+are the same. We cannot express this since we lack variance polymorphism. That's
+why we have to resort at some places to write <code>C[A @uncheckedVariance]</code>.</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="IterableMonoTransforms" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'IterableMonoTransforms');">[+]</span>
<span class="member-annotations">
</span>
@@ -5708,12 +5923,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-IterableMonoTransforms">
+
+ </div>
+ <div class="member-body-long" id ="long-body-IterableMonoTransforms">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="IterableOnce" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'IterableOnce');">[+]</span>
<span class="member-annotations">
</span>
@@ -5737,13 +5969,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Iterator can be used only once</p>
+ <div class="member-body-short" id="short-body-IterableOnce">
+ <p>Iterator can be used only once</p>
+ </div>
+ <div class="member-body-long" id ="long-body-IterableOnce">
+ <p>Iterator can be used only once</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="IterableOps" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'IterableOps');">[+]</span>
<span class="member-annotations">
</span>
@@ -5767,12 +6017,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-IterableOps">
+
+ </div>
+ <div class="member-body-long" id ="long-body-IterableOps">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="IterablePolyTransforms" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'IterablePolyTransforms');">[+]</span>
<span class="member-annotations">
</span>
@@ -5796,12 +6063,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-IterablePolyTransforms">
+
+ </div>
+ <div class="member-body-long" id ="long-body-IterablePolyTransforms">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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>
@@ -5825,12 +6109,29 @@ the child class and the variance of the...
</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="Iterator" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Iterator');">[+]</span>
<span class="member-annotations">
</span>
@@ -5854,13 +6155,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>A core Iterator class</p>
+ <div class="member-body-short" id="short-body-Iterator">
+ <p>A core Iterator class</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-Iterator">
+ <p>A core Iterator class</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="List$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'List$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5884,12 +6203,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-List$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-List$">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="List" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'List');">[+]</span>
<span class="member-annotations">
</span>
@@ -5913,13 +6249,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Concrete collection type: List</p>
+ <div class="member-body-short" id="short-body-List">
+ <p>Concrete collection type: List</p>
+ </div>
+ <div class="member-body-long" id ="long-body-List">
+ <p>Concrete collection type: List</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="ListBuffer" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ListBuffer');">[+]</span>
<span class="member-annotations">
</span>
@@ -5943,13 +6297,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Concrete collection type: ListBuffer</p>
+ <div class="member-body-short" id="short-body-ListBuffer">
+ <p>Concrete collection type: ListBuffer</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-ListBuffer">
+ <p>Concrete collection type: ListBuffer</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="ListBuffer$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ListBuffer$');">[+]</span>
<span class="member-annotations">
</span>
@@ -5973,12 +6345,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-ListBuffer$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-ListBuffer$">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="Nil$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Nil$');">[+]</span>
<span class="member-annotations">
</span>
@@ -6002,12 +6391,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Nil$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Nil$">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="RandomAccessView" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'RandomAccessView');">[+]</span>
<span class="member-annotations">
</span>
@@ -6031,13 +6437,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>View defined in terms of indexing a range</p>
+ <div class="member-body-short" id="short-body-RandomAccessView">
+ <p>View defined in terms of indexing a range</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-RandomAccessView">
+ <p>View defined in terms of indexing a range</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="Seq" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Seq');">[+]</span>
<span class="member-annotations">
</span>
@@ -6061,13 +6485,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for sequence collections</p>
+ <div class="member-body-short" id="short-body-Seq">
+ <p>Base trait for sequence collections</p>
+ </div>
+ <div class="member-body-long" id ="long-body-Seq">
+ <p>Base trait for sequence collections</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="SeqLike" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SeqLike');">[+]</span>
<span class="member-annotations">
</span>
@@ -6091,13 +6533,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Base trait for Seq operations</p>
+ <div class="member-body-short" id="short-body-SeqLike">
+ <p>Base trait for Seq operations</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-SeqLike">
+ <p>Base trait for Seq operations</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="SeqMonoTransforms" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SeqMonoTransforms');">[+]</span>
<span class="member-annotations">
</span>
@@ -6121,12 +6581,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SeqMonoTransforms">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SeqMonoTransforms">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="StringOps" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'StringOps');">[+]</span>
<span class="member-annotations">
</span>
@@ -6150,13 +6627,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Concrete collection type: String</p>
+ <div class="member-body-short" id="short-body-StringOps">
+ <p>Concrete collection type: String</p>
+ </div>
+ <div class="member-body-long" id ="long-body-StringOps">
+ <p>Concrete collection type: String</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="StringOps$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'StringOps$');">[+]</span>
<span class="member-annotations">
</span>
@@ -6180,13 +6675,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Concrete collection type: String</p>
+ <div class="member-body-short" id="short-body-StringOps$">
+ <p>Concrete collection type: String</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-StringOps$">
+ <p>Concrete collection type: String</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="StringView" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'StringView');">[+]</span>
<span class="member-annotations">
</span>
@@ -6210,12 +6723,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-StringView">
+
+ </div>
+ <div class="member-body-long" id ="long-body-StringView">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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="StringView$" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'StringView$');">[+]</span>
<span class="member-annotations">
</span>
@@ -6239,12 +6769,29 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-StringView$">
+
+ </div>
+ <div class="member-body-long" id ="long-body-StringView$">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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>
@@ -6268,12 +6815,29 @@ the child class and the variance of the...
</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 id="View" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'View');">[+]</span>
<span class="member-annotations">
</span>
@@ -6297,13 +6861,31 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Concrete collection type: View</p>
+ <div class="member-body-short" id="short-body-View">
+ <p>Concrete collection type: View</p>
+ </div>
+ <div class="member-body-long" id ="long-body-View">
+ <p>Concrete collection type: View</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="StringOps(s)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'StringOps(s)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6342,9 +6924,26 @@ the child class and the variance of the...
</div><!-- end member-title -->
<div class="member-body">
- <p>Concrete collection type: String</p>
+ <div class="member-body-short" id="short-body-StringOps(s)">
+ <p>Concrete collection type: String</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-StringOps(s)">
+ <p>Concrete collection type: String</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>