aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html
diff options
context:
space:
mode:
Diffstat (limited to 'api/dotty/tools/dotc/core/StdNames$/ScalaNames.html')
-rw-r--r--api/dotty/tools/dotc/core/StdNames$/ScalaNames.html2036
1 files changed, 145 insertions, 1891 deletions
diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html b/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html
index 1751aa470..b9926e2e8 100644
--- a/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html
+++ b/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
@@ -6075,102 +6070,6 @@
</script>
</div><!-- end member -->
- <div id="AVOID_CLASH_SUFFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'AVOID_CLASH_SUFFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- AVOID_CLASH_SUFFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-AVOID_CLASH_SUFFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-AVOID_CLASH_SUFFIX">
-
- </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="AbstractFunction" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'AbstractFunction');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
- final
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- AbstractFunction
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-AbstractFunction">
-
- </div>
- <div class="member-body-long" id ="long-body-AbstractFunction">
-
- </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="AnnotatedType" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'AnnotatedType');">[+]</span>
@@ -8337,102 +8236,6 @@ Name
</script>
</div><!-- end member -->
- <div id="DEP_PARAM_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'DEP_PARAM_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- DEP_PARAM_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: String</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-DEP_PARAM_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-DEP_PARAM_PREFIX">
-
- </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="DIRECT_SUFFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'DIRECT_SUFFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- DIRECT_SUFFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-DIRECT_SUFFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-DIRECT_SUFFIX">
-
- </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="DIV" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'DIV');">[+]</span>
@@ -9249,102 +9052,6 @@ Name
</script>
</div><!-- end member -->
- <div id="ERRORenc" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ERRORenc');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
- final
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- ERRORenc
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-ERRORenc">
-
- </div>
- <div class="member-body-long" id ="long-body-ERRORenc">
-
- </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="EVIDENCE_PARAM_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'EVIDENCE_PARAM_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- EVIDENCE_PARAM_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-EVIDENCE_PARAM_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-EVIDENCE_PARAM_PREFIX">
-
- </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="EVT2U" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'EVT2U');">[+]</span>
@@ -10161,54 +9868,6 @@ Name
</script>
</div><!-- end member -->
- <div id="Function" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'Function');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
- final
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- Function
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-Function">
-
- </div>
- <div class="member-body-long" id ="long-body-Function">
-
- </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="GE" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'GE');">[+]</span>
@@ -10737,54 +10396,6 @@ Name
</script>
</div><!-- end member -->
- <div id="INLINE_ACCESSOR_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'INLINE_ACCESSOR_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- INLINE_ACCESSOR_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: String</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-INLINE_ACCESSOR_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-INLINE_ACCESSOR_PREFIX">
-
- </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="INLINEkw" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'INLINEkw');">[+]</span>
@@ -10833,198 +10444,6 @@ Name
</script>
</div><!-- end member -->
- <div id="INTERPRETER_IMPORT_WRAPPER" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'INTERPRETER_IMPORT_WRAPPER');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- INTERPRETER_IMPORT_WRAPPER
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-INTERPRETER_IMPORT_WRAPPER">
-
- </div>
- <div class="member-body-long" id ="long-body-INTERPRETER_IMPORT_WRAPPER">
-
- </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="INTERPRETER_LINE_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'INTERPRETER_LINE_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- INTERPRETER_LINE_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-INTERPRETER_LINE_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-INTERPRETER_LINE_PREFIX">
-
- </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="INTERPRETER_VAR_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'INTERPRETER_VAR_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- INTERPRETER_VAR_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-INTERPRETER_VAR_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-INTERPRETER_VAR_PREFIX">
-
- </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="INTERPRETER_WRAPPER_SUFFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'INTERPRETER_WRAPPER_SUFFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- INTERPRETER_WRAPPER_SUFFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-INTERPRETER_WRAPPER_SUFFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-INTERPRETER_WRAPPER_SUFFIX">
-
- </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="Ident" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'Ident');">[+]</span>
@@ -11073,54 +10492,6 @@ Name
</script>
</div><!-- end member -->
- <div id="ImplicitFunction" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ImplicitFunction');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
- final
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- ImplicitFunction
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-ImplicitFunction">
-
- </div>
- <div class="member-body-long" id ="long-body-ImplicitFunction">
-
- </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="Import" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'Import');">[+]</span>
@@ -11361,150 +10732,6 @@ Name
</script>
</div><!-- end member -->
- <div id="LAZY_IMPLICIT_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LAZY_IMPLICIT_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- LAZY_IMPLICIT_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-LAZY_IMPLICIT_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-LAZY_IMPLICIT_PREFIX">
-
- </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="LAZY_LOCAL" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LAZY_LOCAL');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- LAZY_LOCAL
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-LAZY_LOCAL">
-
- </div>
- <div class="member-body-long" id ="long-body-LAZY_LOCAL">
-
- </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="LAZY_LOCAL_INIT" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LAZY_LOCAL_INIT');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- LAZY_LOCAL_INIT
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-LAZY_LOCAL_INIT">
-
- </div>
- <div class="member-body-long" id ="long-body-LAZY_LOCAL_INIT">
-
- </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="LAZY_SLOW_SUFFIX" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'LAZY_SLOW_SUFFIX');">[+]</span>
@@ -11649,54 +10876,6 @@ Name
</script>
</div><!-- end member -->
- <div id="LOCALDUMMY_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LOCALDUMMY_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- LOCALDUMMY_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-LOCALDUMMY_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-LOCALDUMMY_PREFIX">
-
- </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="LOCAL_CHILD" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'LOCAL_CHILD');">[+]</span>
@@ -11745,54 +10924,6 @@ Name
</script>
</div><!-- end member -->
- <div id="LOCAL_SUFFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LOCAL_SUFFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- LOCAL_SUFFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-LOCAL_SUFFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-LOCAL_SUFFIX">
-
- </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="LSL" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'LSL');">[+]</span>
@@ -12657,54 +11788,6 @@ Name
</script>
</div><!-- end member -->
- <div id="MODULE_VAR_SUFFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'MODULE_VAR_SUFFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- MODULE_VAR_SUFFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-MODULE_VAR_SUFFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-MODULE_VAR_SUFFIX">
-
- </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="MUL" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'MUL');">[+]</span>
@@ -13761,102 +12844,6 @@ Name
</script>
</div><!-- end member -->
- <div id="OUTER_LOCAL" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'OUTER_LOCAL');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- OUTER_LOCAL
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-OUTER_LOCAL">
-
- </div>
- <div class="member-body-long" id ="long-body-OUTER_LOCAL">
-
- </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="OUTER_SELECT" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'OUTER_SELECT');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- OUTER_SELECT
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-OUTER_SELECT">
-
- </div>
- <div class="member-body-long" id ="long-body-OUTER_SELECT">
-
- </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="OVERLOADED" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'OVERLOADED');">[+]</span>
@@ -14049,54 +13036,6 @@ Name
</script>
</div><!-- end member -->
- <div id="PACKAGE_CLS" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'PACKAGE_CLS');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- PACKAGE_CLS
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-PACKAGE_CLS">
-
- </div>
- <div class="member-body-long" id ="long-body-PACKAGE_CLS">
-
- </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="PACKAGEkw" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'PACKAGEkw');">[+]</span>
@@ -14241,102 +13180,6 @@ Name
</script>
</div><!-- end member -->
- <div id="PROTECTED_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'PROTECTED_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- PROTECTED_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-PROTECTED_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-PROTECTED_PREFIX">
-
- </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="PROTECTED_SET_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'PROTECTED_SET_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- PROTECTED_SET_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-PROTECTED_SET_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-PROTECTED_SET_PREFIX">
-
- </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="PROTECTEDkw" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'PROTECTEDkw');">[+]</span>
@@ -14577,54 +13420,6 @@ Name
</script>
</div><!-- end member -->
- <div id="Product" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'Product');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
- final
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- Product
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-Product">
-
- </div>
- <div class="member-body-long" id ="long-body-Product">
-
- </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="REFINE_CLASS" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'REFINE_CLASS');">[+]</span>
@@ -15537,150 +14332,6 @@ Name
</script>
</div><!-- end member -->
- <div id="SETTER_SUFFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'SETTER_SUFFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- SETTER_SUFFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-SETTER_SUFFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-SETTER_SUFFIX">
-
- </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="SHADOWED" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'SHADOWED');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- SHADOWED
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-SHADOWED">
-
- </div>
- <div class="member-body-long" id ="long-body-SHADOWED">
-
- </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="SINGLETON_SUFFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'SINGLETON_SUFFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- SINGLETON_SUFFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-SINGLETON_SUFFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-SINGLETON_SUFFIX">
-
- </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="SKOLEM" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'SKOLEM');">[+]</span>
@@ -17652,54 +16303,6 @@ N
</script>
</div><!-- end member -->
- <div id="Tuple" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'Tuple');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
- final
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- Tuple
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-Tuple">
-
- </div>
- <div class="member-body-long" id ="long-body-Tuple">
-
- </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="Tuple2" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'Tuple2');">[+]</span>
@@ -18516,54 +17119,6 @@ N
</script>
</div><!-- end member -->
- <div id="USCORE_PARAM_PREFIX" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'USCORE_PARAM_PREFIX');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- USCORE_PARAM_PREFIX
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-USCORE_PARAM_PREFIX">
-
- </div>
- <div class="member-body-long" id ="long-body-USCORE_PARAM_PREFIX">
-
- </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="USCOREkw" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'USCOREkw');">[+]</span>
@@ -23364,6 +21919,57 @@ N
</script>
</div><!-- end member -->
+ <div id="falseModuleClassNames" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'falseModuleClassNames');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ falseModuleClassNames
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: Set
+<span class="no-left no-right">[</span>
+N
+<span class="no-left">]</span></span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-falseModuleClassNames">
+
+ </div>
+ <div class="member-body-long" id ="long-body-falseModuleClassNames">
+
+ </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="false_" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'false_');">[+]</span>
@@ -24996,54 +23602,6 @@ N
</script>
</div><!-- end member -->
- <div id="liftedTree" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'liftedTree');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- liftedTree
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-liftedTree">
-
- </div>
- <div class="member-body-long" id ="long-body-liftedTree">
-
- </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="macro" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'macro');">[+]</span>
@@ -25908,54 +24466,6 @@ N
</script>
</div><!-- end member -->
- <div id="newNestedSymbol" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'newNestedSymbol');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- newNestedSymbol
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-newNestedSymbol">
-
- </div>
- <div class="member-body-long" id ="long-body-newNestedSymbol">
-
- </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="newScopeWith" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'newScopeWith');">[+]</span>
@@ -26244,9 +24754,9 @@ N
</script>
</div><!-- end member -->
- <div id="nothingRuntimeClass" class="member ">
+ <div id="nothingClass" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nothingRuntimeClass');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nothingClass');">[+]</span>
<span class="member-annotations">
</span>
@@ -26258,7 +24768,7 @@ N
</span>
<span class="member-name ">
- nothingRuntimeClass
+ nothingClass
</span>
@@ -26272,10 +24782,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-nothingRuntimeClass">
+ <div class="member-body-short" id="short-body-nothingClass">
</div>
- <div class="member-body-long" id ="long-body-nothingRuntimeClass">
+ <div class="member-body-long" id ="long-body-nothingClass">
</div>
</div>
@@ -26292,153 +24802,9 @@ N
</script>
</div><!-- end member -->
- <div id="notifyAll_" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'notifyAll_');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- notifyAll_
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-notifyAll_">
-
- </div>
- <div class="member-body-long" id ="long-body-notifyAll_">
-
- </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="notify_" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'notify_');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- notify_
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-notify_">
-
- </div>
- <div class="member-body-long" id ="long-body-notify_">
-
- </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="nullRuntimeClass" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nullRuntimeClass');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- nullRuntimeClass
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: N</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-nullRuntimeClass">
-
- </div>
- <div class="member-body-long" id ="long-body-nullRuntimeClass">
-
- </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="null_" class="member ">
+ <div id="nothingRuntimeClass" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'null_');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nothingRuntimeClass');">[+]</span>
<span class="member-annotations">
</span>
@@ -26450,7 +24816,7 @@ N
</span>
<span class="member-name ">
- null_
+ nothingRuntimeClass
</span>
@@ -26464,10 +24830,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-null_">
+ <div class="member-body-short" id="short-body-nothingRuntimeClass">
</div>
- <div class="member-body-long" id ="long-body-null_">
+ <div class="member-body-long" id ="long-body-nothingRuntimeClass">
</div>
</div>
@@ -26484,9 +24850,9 @@ N
</script>
</div><!-- end member -->
- <div id="ofDim" class="member ">
+ <div id="notifyAll_" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ofDim');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'notifyAll_');">[+]</span>
<span class="member-annotations">
</span>
@@ -26498,7 +24864,7 @@ N
</span>
<span class="member-name ">
- ofDim
+ notifyAll_
</span>
@@ -26512,10 +24878,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-ofDim">
+ <div class="member-body-short" id="short-body-notifyAll_">
</div>
- <div class="member-body-long" id ="long-body-ofDim">
+ <div class="member-body-long" id ="long-body-notifyAll_">
</div>
</div>
@@ -26532,9 +24898,9 @@ N
</script>
</div><!-- end member -->
- <div id="origin" class="member ">
+ <div id="notify_" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'origin');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'notify_');">[+]</span>
<span class="member-annotations">
</span>
@@ -26546,7 +24912,7 @@ N
</span>
<span class="member-name ">
- origin
+ notify_
</span>
@@ -26560,10 +24926,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-origin">
+ <div class="member-body-short" id="short-body-notify_">
</div>
- <div class="member-body-long" id ="long-body-origin">
+ <div class="member-body-long" id ="long-body-notify_">
</div>
</div>
@@ -26580,9 +24946,9 @@ N
</script>
</div><!-- end member -->
- <div id="positive" class="member ">
+ <div id="nullClass" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'positive');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nullClass');">[+]</span>
<span class="member-annotations">
</span>
@@ -26594,7 +24960,7 @@ N
</span>
<span class="member-name ">
- positive
+ nullClass
</span>
@@ -26608,10 +24974,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-positive">
+ <div class="member-body-short" id="short-body-nullClass">
</div>
- <div class="member-body-long" id ="long-body-positive">
+ <div class="member-body-long" id ="long-body-nullClass">
</div>
</div>
@@ -26628,9 +24994,9 @@ N
</script>
</div><!-- end member -->
- <div id="prefix" class="member ">
+ <div id="nullRuntimeClass" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'prefix');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nullRuntimeClass');">[+]</span>
<span class="member-annotations">
</span>
@@ -26642,7 +25008,7 @@ N
</span>
<span class="member-name ">
- prefix
+ nullRuntimeClass
</span>
@@ -26656,10 +25022,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-prefix">
+ <div class="member-body-short" id="short-body-nullRuntimeClass">
</div>
- <div class="member-body-long" id ="long-body-prefix">
+ <div class="member-body-long" id ="long-body-nullRuntimeClass">
</div>
</div>
@@ -26676,9 +25042,9 @@ N
</script>
</div><!-- end member -->
- <div id="productArity" class="member ">
+ <div id="null_" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productArity');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'null_');">[+]</span>
<span class="member-annotations">
</span>
@@ -26690,7 +25056,7 @@ N
</span>
<span class="member-name ">
- productArity
+ null_
</span>
@@ -26704,10 +25070,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-productArity">
+ <div class="member-body-short" id="short-body-null_">
</div>
- <div class="member-body-long" id ="long-body-productArity">
+ <div class="member-body-long" id ="long-body-null_">
</div>
</div>
@@ -26724,9 +25090,9 @@ N
</script>
</div><!-- end member -->
- <div id="productElement" class="member ">
+ <div id="ofDim" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productElement');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ofDim');">[+]</span>
<span class="member-annotations">
</span>
@@ -26738,7 +25104,7 @@ N
</span>
<span class="member-name ">
- productElement
+ ofDim
</span>
@@ -26752,10 +25118,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-productElement">
+ <div class="member-body-short" id="short-body-ofDim">
</div>
- <div class="member-body-long" id ="long-body-productElement">
+ <div class="member-body-long" id ="long-body-ofDim">
</div>
</div>
@@ -26772,9 +25138,9 @@ N
</script>
</div><!-- end member -->
- <div id="productIterator" class="member ">
+ <div id="origin" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productIterator');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'origin');">[+]</span>
<span class="member-annotations">
</span>
@@ -26786,7 +25152,7 @@ N
</span>
<span class="member-name ">
- productIterator
+ origin
</span>
@@ -26800,10 +25166,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-productIterator">
+ <div class="member-body-short" id="short-body-origin">
</div>
- <div class="member-body-long" id ="long-body-productIterator">
+ <div class="member-body-long" id ="long-body-origin">
</div>
</div>
@@ -26820,9 +25186,9 @@ N
</script>
</div><!-- end member -->
- <div id="productPrefix" class="member ">
+ <div id="positive" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productPrefix');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'positive');">[+]</span>
<span class="member-annotations">
</span>
@@ -26834,7 +25200,7 @@ N
</span>
<span class="member-name ">
- productPrefix
+ positive
</span>
@@ -26848,10 +25214,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-productPrefix">
+ <div class="member-body-short" id="short-body-positive">
</div>
- <div class="member-body-long" id ="long-body-productPrefix">
+ <div class="member-body-long" id ="long-body-positive">
</div>
</div>
@@ -26868,9 +25234,9 @@ N
</script>
</div><!-- end member -->
- <div id="readResolve" class="member ">
+ <div id="prefix" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'readResolve');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'prefix');">[+]</span>
<span class="member-annotations">
</span>
@@ -26882,7 +25248,7 @@ N
</span>
<span class="member-name ">
- readResolve
+ prefix
</span>
@@ -26896,10 +25262,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-readResolve">
+ <div class="member-body-short" id="short-body-prefix">
</div>
- <div class="member-body-long" id ="long-body-readResolve">
+ <div class="member-body-long" id ="long-body-prefix">
</div>
</div>
@@ -26916,9 +25282,9 @@ N
</script>
</div><!-- end member -->
- <div id="reflClassCacheName" class="member ">
+ <div id="productArity" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'reflClassCacheName');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productArity');">[+]</span>
<span class="member-annotations">
</span>
@@ -26930,7 +25296,7 @@ N
</span>
<span class="member-name ">
- reflClassCacheName
+ productArity
</span>
@@ -26944,10 +25310,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-reflClassCacheName">
+ <div class="member-body-short" id="short-body-productArity">
</div>
- <div class="member-body-long" id ="long-body-reflClassCacheName">
+ <div class="member-body-long" id ="long-body-productArity">
</div>
</div>
@@ -26964,9 +25330,9 @@ N
</script>
</div><!-- end member -->
- <div id="reflMethodCacheName" class="member ">
+ <div id="productElement" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'reflMethodCacheName');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productElement');">[+]</span>
<span class="member-annotations">
</span>
@@ -26978,7 +25344,7 @@ N
</span>
<span class="member-name ">
- reflMethodCacheName
+ productElement
</span>
@@ -26992,10 +25358,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-reflMethodCacheName">
+ <div class="member-body-short" id="short-body-productElement">
</div>
- <div class="member-body-long" id ="long-body-reflMethodCacheName">
+ <div class="member-body-long" id ="long-body-productElement">
</div>
</div>
@@ -27012,9 +25378,9 @@ N
</script>
</div><!-- end member -->
- <div id="reflMethodName" class="member ">
+ <div id="productIterator" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'reflMethodName');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productIterator');">[+]</span>
<span class="member-annotations">
</span>
@@ -27026,7 +25392,7 @@ N
</span>
<span class="member-name ">
- reflMethodName
+ productIterator
</span>
@@ -27040,10 +25406,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-reflMethodName">
+ <div class="member-body-short" id="short-body-productIterator">
</div>
- <div class="member-body-long" id ="long-body-reflMethodName">
+ <div class="member-body-long" id ="long-body-productIterator">
</div>
</div>
@@ -27060,9 +25426,9 @@ N
</script>
</div><!-- end member -->
- <div id="reflParamsCacheName" class="member ">
+ <div id="productPrefix" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'reflParamsCacheName');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productPrefix');">[+]</span>
<span class="member-annotations">
</span>
@@ -27074,7 +25440,7 @@ N
</span>
<span class="member-name ">
- reflParamsCacheName
+ productPrefix
</span>
@@ -27088,10 +25454,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-reflParamsCacheName">
+ <div class="member-body-short" id="short-body-productPrefix">
</div>
- <div class="member-body-long" id ="long-body-reflParamsCacheName">
+ <div class="member-body-long" id ="long-body-productPrefix">
</div>
</div>
@@ -27108,9 +25474,9 @@ N
</script>
</div><!-- end member -->
- <div id="reflPolyCacheName" class="member ">
+ <div id="readResolve" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'reflPolyCacheName');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'readResolve');">[+]</span>
<span class="member-annotations">
</span>
@@ -27122,7 +25488,7 @@ N
</span>
<span class="member-name ">
- reflPolyCacheName
+ readResolve
</span>
@@ -27136,10 +25502,10 @@ N
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-reflPolyCacheName">
+ <div class="member-body-short" id="short-body-readResolve">
</div>
- <div class="member-body-long" id ="long-body-reflPolyCacheName">
+ <div class="member-body-long" id ="long-body-readResolve">
</div>
</div>
@@ -27204,57 +25570,6 @@ N
</script>
</div><!-- end member -->
- <div id="reflectionCacheNames" class="member private">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'reflectionCacheNames');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
- private
- </span>
- <span class="member-kind">
- val
- </span>
- <span class="member-name ">
-
- reflectionCacheNames
-
- </span>
-
-
-
-
-
-
- <span class="no-left">: Set
-<span class="no-left no-right">[</span>
-N
-<span class="no-left">]</span></span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-reflectionCacheNames">
-
- </div>
- <div class="member-body-long" id ="long-body-reflectionCacheNames">
-
- </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="reify" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'reify');">[+]</span>
@@ -31924,67 +30239,6 @@ N
</script>
</div><!-- end member -->
- <div id="isReflectionCacheName(name)" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isReflectionCacheName(name)');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- def
- </span>
- <span class="member-name ">
-
- isReflectionCacheName
-
- </span>
-
-
-
- <span class="no-left">(</span>
-
-
- <span class="no-left">
- name:
- </span>
- Name
-
-
- <span class="no-left">)</span>
-
-
-
-
-
-
- <span class="no-left">: Boolean</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-isReflectionCacheName(name)">
-
- </div>
- <div class="member-body-long" id ="long-body-isReflectionCacheName(name)">
-
- </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="newLazyValSlowComputeName(lzyValName)" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'newLazyValSlowComputeName(lzyValName)');">[+]</span>