aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/Decorators$
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/dotty/tools/dotc/core/Decorators$
parentb45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff)
downloaddotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2
dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/dotty/tools/dotc/core/Decorators$')
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/ListDecorator$.html17
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/ListDecorator.html250
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator$.html17
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator.html143
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator$.html17
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator.html90
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/StringDecorator$.html17
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/StringDecorator.html128
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/StringInterpolators$.html17
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/StringInterpolators.html145
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator$.html17
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator.html90
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/TextToString$.html17
-rw-r--r--api/dotty/tools/dotc/core/Decorators$/TextToString.html82
14 files changed, 996 insertions, 51 deletions
diff --git a/api/dotty/tools/dotc/core/Decorators$/ListDecorator$.html b/api/dotty/tools/dotc/core/Decorators$/ListDecorator$.html
index 11df03950..7dc156f2e 100644
--- a/api/dotty/tools/dotc/core/Decorators$/ListDecorator$.html
+++ b/api/dotty/tools/dotc/core/Decorators$/ListDecorator$.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">
ListDecorator
</span>
+
+
</div>
@@ -5340,7 +5345,17 @@ on lists that avoid duplication of list nodes where feasible.</p>
</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/dotty/tools/dotc/core/Decorators$/ListDecorator.html b/api/dotty/tools/dotc/core/Decorators$/ListDecorator.html
index c3ca36a76..93bb78744 100644
--- a/api/dotty/tools/dotc/core/Decorators$/ListDecorator.html
+++ b/api/dotty/tools/dotc/core/Decorators$/ListDecorator.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,29 @@
<span id="entity-name">
ListDecorator
</span>
+
+ <span id="entity-type-params">
+ <span class="no-left">[</span>
+
+ <span class="no-left">
+
+ T
+
+ </span>
+
+ <span class="no-left">]</span>
+ </span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</span>
+
+ </div>
+
</div>
@@ -5340,12 +5366,44 @@ on lists that avoid duplication of list nodes where feasible.</p>
</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">ListDecorator</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ xs:
+ </span>
+ List
+<span class="no-left no-right">[</span>
+T
+<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>
@@ -5366,17 +5424,37 @@ on lists that avoid duplication of list nodes where feasible.</p>
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+T
+<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="&(ys)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, '&(ys)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5413,18 +5491,39 @@ T
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Intersection on lists seen as sets</p>
+ <div class="member-body-short" id="short-body-&(ys)">
+ <p>Intersection on lists seen as sets</p>
+ </div>
+ <div class="member-body-long" id ="long-body-&(ys)">
+ <p>Intersection on lists seen as sets</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="filterConserve(p)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'filterConserve(p)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5458,20 +5557,43 @@ T
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Like <code>xs filter p</code> but returns list <code>xs</code> itself - instead of a copy -
+ <div class="member-body-short" id="short-body-filterConserve(p)">
+ <p>Like <code>xs filter p</code> but returns list <code>xs</code> itself - instead of a copy -
+if <code>p</code> is true for all elements and <code>xs</code> is not longer
+than <code>MaxFilterRecursions</code>.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-filterConserve(p)">
+ <p>Like <code>xs filter p</code> but returns list <code>xs</code> itself - instead of a copy -
if <code>p</code> is true for all elements and <code>xs</code> is not longer
than <code>MaxFilterRecursions</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="foldRightBN(z)(op)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'foldRightBN(z)(op)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5521,12 +5643,29 @@ than <code>MaxFilterRecursions</code>.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-foldRightBN(z)(op)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-foldRightBN(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="hasSameLengthAs(ys)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'hasSameLengthAs(ys)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5568,12 +5707,29 @@ U
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-hasSameLengthAs(ys)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-hasSameLengthAs(ys)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="mapconserve(f)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'mapconserve(f)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5607,17 +5763,37 @@ U
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+U
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-mapconserve(f)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-mapconserve(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="zipWithConserve(ys)(f)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'zipWithConserve(ys)(f)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5665,21 +5841,45 @@ U
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Like <code>(xs, ys).zipped.map(f)</code>, but returns list <code>xs</code> itself
+ <div class="member-body-short" id="short-body-zipWithConserve(ys)(f)">
+ <p>Like <code>(xs, ys).zipped.map(f)</code>, but returns list <code>xs</code> itself
- instead of a copy - if function <code>f</code> maps all elements of
<code>xs</code> to themselves. Also, it is required...
</p>
+ </div>
+ <div class="member-body-long" id ="long-body-zipWithConserve(ys)(f)">
+ <p>Like <code>(xs, ys).zipped.map(f)</code>, but returns list <code>xs</code> itself
+- instead of a copy - if function <code>f</code> maps all elements of
+<code>xs</code> to themselves. Also, it is required that <code>ys</code> is at least
+as long as <code>xs</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="|(ys)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, '|(ys)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5716,14 +5916,34 @@ T
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <p>Union on lists seen as sets</p>
+ <div class="member-body-short" id="short-body-|(ys)">
+ <p>Union on lists seen as sets</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-|(ys)">
+ <p>Union on lists seen as sets</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/dotty/tools/dotc/core/Decorators$/ListOfListDecorator$.html b/api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator$.html
index 4f2cba034..47a04b7fa 100644
--- a/api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator$.html
+++ b/api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator$.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,11 +5333,23 @@
<span id="entity-name">
ListOfListDecorator
</span>
+
+
</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/dotty/tools/dotc/core/Decorators$/ListOfListDecorator.html b/api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator.html
index 5d845a351..c9b83094f 100644
--- a/api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator.html
+++ b/api/dotty/tools/dotc/core/Decorators$/ListOfListDecorator.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,74 @@
<span id="entity-name">
ListOfListDecorator
</span>
+
+ <span id="entity-type-params">
+ <span class="no-left">[</span>
+
+ <span class="no-left">
+
+ T
+
+ </span>
+
+ <span class="no-left">]</span>
+ </span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</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">ListOfListDecorator</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ xss:
+ </span>
+ List
+<span class="no-left no-right">[</span>
+List
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</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="xss" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'xss');">[+]</span>
<span class="member-annotations">
</span>
@@ -5360,17 +5421,40 @@
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+List
+<span class="no-left no-right">[</span>
+T
+<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-xss">
+
+ </div>
+ <div class="member-body-long" id ="long-body-xss">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="nestedMap(f)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'nestedMap(f)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5404,17 +5488,40 @@
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+List
+<span class="no-left no-right">[</span>
+U
+<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-nestedMap(f)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-nestedMap(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="nestedMapconserve(f)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'nestedMapconserve(f)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5448,13 +5555,35 @@
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+List
+<span class="no-left no-right">[</span>
+U
+<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-nestedMapconserve(f)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-nestedMapconserve(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/dotty/tools/dotc/core/Decorators$/PhaseListDecorator$.html b/api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator$.html
index 74720c2ef..c28bfabdc 100644
--- a/api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator$.html
+++ b/api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator$.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">
PhaseListDecorator
</span>
+
+
</div>
@@ -5341,7 +5346,17 @@ exact meaning of &quot;contains&quot; here.</p>
</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/dotty/tools/dotc/core/Decorators$/PhaseListDecorator.html b/api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator.html
index 2c7e22342..83848e668 100644
--- a/api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator.html
+++ b/api/dotty/tools/dotc/core/Decorators$/PhaseListDecorator.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,17 @@
<span id="entity-name">
PhaseListDecorator
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</span>
+
+ </div>
+
</div>
@@ -5341,12 +5355,44 @@ exact meaning of &quot;contains&quot; here.</p>
</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">PhaseListDecorator</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ names:
+ </span>
+ List
+<span class="no-left no-right">[</span>
+String
+<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="names" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'names');">[+]</span>
<span class="member-annotations">
</span>
@@ -5367,17 +5413,37 @@ exact meaning of &quot;contains&quot; here.</p>
- <span class="no-left">: List</span>
+ <span class="no-left">: List
+<span class="no-left no-right">[</span>
+String
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-names">
+
+ </div>
+ <div class="member-body-long" id ="long-body-names">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="containsPhase(phase)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'containsPhase(phase)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5416,8 +5482,24 @@ exact meaning of &quot;contains&quot; here.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-containsPhase(phase)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-containsPhase(phase)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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/dotty/tools/dotc/core/Decorators$/StringDecorator$.html b/api/dotty/tools/dotc/core/Decorators$/StringDecorator$.html
index 0cb40add8..61b5e5d7b 100644
--- a/api/dotty/tools/dotc/core/Decorators$/StringDecorator$.html
+++ b/api/dotty/tools/dotc/core/Decorators$/StringDecorator$.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">
StringDecorator
</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/dotty/tools/dotc/core/Decorators$/StringDecorator.html b/api/dotty/tools/dotc/core/Decorators$/StringDecorator.html
index 31029e63a..2c7c5c8b4 100644
--- a/api/dotty/tools/dotc/core/Decorators$/StringDecorator.html
+++ b/api/dotty/tools/dotc/core/Decorators$/StringDecorator.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,22 @@
<span id="entity-name">
StringDecorator
</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">PreName</span>
+
+ </div>
+
</div>
@@ -5339,12 +5358,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">StringDecorator</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 +5418,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="toTermName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'toTermName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5401,12 +5466,29 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-toTermName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-toTermName">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="toText(printer)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'toText(printer)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5445,15 +5527,35 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>The text representation of this showable element.
+ <div class="member-body-short" id="short-body-toText(printer)">
+ <p>The text representation of this showable element.
+This normally dispatches to a pattern matching
+method in Printers.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-toText(printer)">
+ <p>The text representation of this showable element.
This normally dispatches to a pattern matching
method in Printers.</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="toTypeName" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'toTypeName');">[+]</span>
<span class="member-annotations">
</span>
@@ -5479,8 +5581,24 @@ method in Printers.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-toTypeName">
+
+ </div>
+ <div class="member-body-long" id ="long-body-toTypeName">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ 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/dotty/tools/dotc/core/Decorators$/StringInterpolators$.html b/api/dotty/tools/dotc/core/Decorators$/StringInterpolators$.html
index 357d62c8d..92dc500c3 100644
--- a/api/dotty/tools/dotc/core/Decorators$/StringInterpolators$.html
+++ b/api/dotty/tools/dotc/core/Decorators$/StringInterpolators$.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,11 +5333,23 @@
<span id="entity-name">
StringInterpolators
</span>
+
+
</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/dotty/tools/dotc/core/Decorators$/StringInterpolators.html b/api/dotty/tools/dotc/core/Decorators$/StringInterpolators.html
index a7bd17b58..8e35dc2db 100644
--- a/api/dotty/tools/dotc/core/Decorators$/StringInterpolators.html
+++ b/api/dotty/tools/dotc/core/Decorators$/StringInterpolators.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,56 @@
<span id="entity-name">
StringInterpolators
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</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">StringInterpolators</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ sc:
+ </span>
+ StringContext
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="sc" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'sc');">[+]</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-sc">
+
+ </div>
+ <div class="member-body-long" id ="long-body-sc">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="em(args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'em(args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5425,14 +5485,33 @@ Any
</div><!-- end member-title -->
<div class="member-body">
- <p>Formatting for error messages: Like <code>i</code> but suppress follow-on
+ <div class="member-body-short" id="short-body-em(args)(ctx)">
+ <p>Formatting for error messages: Like <code>i</code> but suppress follow-on
error messages after the first one if some of their arguments are &quot;non-sensical&quot;.</p>
+ </div>
+ <div class="member-body-long" id ="long-body-em(args)(ctx)">
+ <p>Formatting for error messages: Like <code>i</code> but suppress follow-on
+error messages after the first one if some of their arguments are &quot;non-sensical&quot;.</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="ex(args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'ex(args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5487,14 +5566,33 @@ Any
</div><!-- end member-title -->
<div class="member-body">
- <p>Formatting with added explanations: Like <code>em</code>, but add explanations to
+ <div class="member-body-short" id="short-body-ex(args)(ctx)">
+ <p>Formatting with added explanations: Like <code>em</code>, but add explanations to
+give more info about type variables and to disambiguate where needed.</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-ex(args)(ctx)">
+ <p>Formatting with added explanations: Like <code>em</code>, but add explanations to
give more info about type variables and to disambiguate where needed.</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="hl(args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'hl(args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5549,13 +5647,31 @@ Any
</div><!-- end member-title -->
<div class="member-body">
- <p>Formatter that adds syntax highlighting to all interpolated values</p>
+ <div class="member-body-short" id="short-body-hl(args)(ctx)">
+ <p>Formatter that adds syntax highlighting to all interpolated values</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-hl(args)(ctx)">
+ <p>Formatter that adds syntax highlighting to all interpolated values</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="i(args)(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'i(args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5610,9 +5726,26 @@ Any
</div><!-- end member-title -->
<div class="member-body">
- <p>General purpose string formatting</p>
+ <div class="member-body-short" id="short-body-i(args)(ctx)">
+ <p>General purpose string formatting</p>
+
+ </div>
+ <div class="member-body-long" id ="long-body-i(args)(ctx)">
+ <p>General purpose string formatting</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/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator$.html b/api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator$.html
index 3372b6917..e88099484 100644
--- a/api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator$.html
+++ b/api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator$.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">
SymbolIteratorDecorator
</span>
+
+
</div>
@@ -5340,7 +5345,17 @@ works like find but avoids Option, replacing None with NoSymbol.</p>
</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/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator.html b/api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator.html
index df76df077..e01fee624 100644
--- a/api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator.html
+++ b/api/dotty/tools/dotc/core/Decorators$/SymbolIteratorDecorator.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,17 @@
<span id="entity-name">
SymbolIteratorDecorator
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</span>
+
+ </div>
+
</div>
@@ -5340,12 +5354,44 @@ works like find but avoids Option, replacing None with NoSymbol.</p>
</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">SymbolIteratorDecorator</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ it:
+ </span>
+ Iterator
+<span class="no-left no-right">[</span>
+Symbol
+<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="it" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'it');">[+]</span>
<span class="member-annotations">
</span>
@@ -5366,17 +5412,37 @@ works like find but avoids Option, replacing None with NoSymbol.</p>
- <span class="no-left">: Iterator</span>
+ <span class="no-left">: Iterator
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-it">
+
+ </div>
+ <div class="member-body-long" id ="long-body-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="findSymbol(p)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'findSymbol(p)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5415,8 +5481,24 @@ works like find but avoids Option, replacing None with NoSymbol.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-findSymbol(p)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-findSymbol(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/dotty/tools/dotc/core/Decorators$/TextToString$.html b/api/dotty/tools/dotc/core/Decorators$/TextToString$.html
index a4fadfe2c..5a89ec06a 100644
--- a/api/dotty/tools/dotc/core/Decorators$/TextToString$.html
+++ b/api/dotty/tools/dotc/core/Decorators$/TextToString$.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,11 +5333,23 @@
<span id="entity-name">
TextToString
</span>
+
+
</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/dotty/tools/dotc/core/Decorators$/TextToString.html b/api/dotty/tools/dotc/core/Decorators$/TextToString.html
index f8bfd770a..6ed792976 100644
--- a/api/dotty/tools/dotc/core/Decorators$/TextToString.html
+++ b/api/dotty/tools/dotc/core/Decorators$/TextToString.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,56 @@
<span id="entity-name">
TextToString
</span>
+
+
+ <div id="super-types">
+
+
+ <span class="keyword">extends</span>
+
+ <span class="entity-super-type">AnyVal</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">TextToString</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ text:
+ </span>
+ Text
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="text" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'text');">[+]</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-text">
+
+ </div>
+ <div class="member-body-long" id ="long-body-text">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
<div id="show(ctx)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'show(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5411,8 +5471,24 @@
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-show(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-show(ctx)">
+
+ </div>
</div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
</div><!-- end member -->
</div>