aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/Substituters.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-03 18:05:53 +0000
commit881c3b182fda1036d5a507d08ff85f7709d70703 (patch)
treec0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/dotty/tools/dotc/core/Substituters.html
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/Substituters.html')
-rw-r--r--api/dotty/tools/dotc/core/Substituters.html437
1 files changed, 414 insertions, 23 deletions
diff --git a/api/dotty/tools/dotc/core/Substituters.html b/api/dotty/tools/dotc/core/Substituters.html
index 627060eac..4459be975 100644
--- a/api/dotty/tools/dotc/core/Substituters.html
+++ b/api/dotty/tools/dotc/core/Substituters.html
@@ -5321,6 +5321,9 @@
<div id="entity-container">
<div id="entity-title">
+ <span id="entity-annotations">
+
+ </span>
<span id="entity-modifiers">
</span>
@@ -5330,6 +5333,8 @@
<span id="entity-name">
Substituters
</span>
+
+
</div>
@@ -5340,12 +5345,23 @@
</div>
- <h1 class="section ">Members</h1>
+ <h1 class="section empty">
+ Constructors
+ </h1>
+
+ <div id="entity-constructors" class="entity-section empty">
+
+ </div>
+
+ <h1 class="section ">
+ Members
+ </h1>
<div id="entity-members" class="entity-section ">
<div id="SafeSubstMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SafeSubstMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5369,14 +5385,33 @@
</div><!-- end member-title -->
<div class="member-body">
- <p>A map for &quot;cycle safe substitutions&quot; which do not force the denotation
+ <div class="member-body-short" id="short-body-SafeSubstMap">
+ <p>A map for &quot;cycle safe substitutions&quot; which do not force the denotation
of a TypeRef unless the name matches up with one of the substituted symbols.</p>
+ </div>
+ <div class="member-body-long" id ="long-body-SafeSubstMap">
+ <p>A map for &quot;cycle safe substitutions&quot; which do not force the denotation
+of a TypeRef unless the name matches up with one of the substituted symbols.</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="Subst1Map" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Subst1Map');">[+]</span>
<span class="member-annotations">
</span>
@@ -5400,12 +5435,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Subst1Map">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Subst1Map">
+
+ </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="Subst2Map" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'Subst2Map');">[+]</span>
<span class="member-annotations">
</span>
@@ -5429,12 +5481,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-Subst2Map">
+
+ </div>
+ <div class="member-body-long" id ="long-body-Subst2Map">
+
+ </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="SubstBindingMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstBindingMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5458,12 +5527,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstBindingMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstBindingMap">
+
+ </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="SubstDealiasMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstDealiasMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5487,12 +5573,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstDealiasMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstDealiasMap">
+
+ </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="SubstMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5516,12 +5619,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstMap">
+
+ </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="SubstParamMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstParamMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5545,12 +5665,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstParamMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstParamMap">
+
+ </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="SubstParamsMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstParamsMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5574,12 +5711,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstParamsMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstParamsMap">
+
+ </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="SubstRecThisMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstRecThisMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5603,12 +5757,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstRecThisMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstRecThisMap">
+
+ </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="SubstSymMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstSymMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5632,12 +5803,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstSymMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstSymMap">
+
+ </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="SubstThisMap" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'SubstThisMap');">[+]</span>
<span class="member-annotations">
</span>
@@ -5661,12 +5849,29 @@ of a TypeRef unless the name matches up with one of the substituted symbols.</p>
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-SubstThisMap">
+
+ </div>
+ <div class="member-body-long" id ="long-body-SubstThisMap">
+
+ </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="existsStatic(syms)" class="member private">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'existsStatic(syms)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5708,12 +5913,29 @@ Symbol
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-existsStatic(syms)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-existsStatic(syms)">
+
+ </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="subst(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'subst(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5776,12 +5998,29 @@ Symbol
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-subst(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-subst(tp,from,to,theMap)">
+
+ </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="subst(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'subst(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5850,12 +6089,29 @@ Type
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-subst(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-subst(tp,from,to,theMap)">
+
+ </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="subst1(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'subst1(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5918,12 +6174,29 @@ Type
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-subst1(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-subst1(tp,from,to,theMap)">
+
+ </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="subst2(tp,from1,to1,from2,to2,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'subst2(tp,from1,to1,from2,to2,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6002,12 +6275,29 @@ Type
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-subst2(tp,from1,to1,from2,to2,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-subst2(tp,from1,to1,from2,to2,theMap)">
+
+ </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="substDealias(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'substDealias(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6076,12 +6366,29 @@ Type
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-substDealias(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-substDealias(tp,from,to,theMap)">
+
+ </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="substParam(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'substParam(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6144,12 +6451,29 @@ Type
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-substParam(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-substParam(tp,from,to,theMap)">
+
+ </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="substParams(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'substParams(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6215,12 +6539,29 @@ Type
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-substParams(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-substParams(tp,from,to,theMap)">
+
+ </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="substRecThis(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'substRecThis(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6283,12 +6624,29 @@ Type
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-substRecThis(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-substRecThis(tp,from,to,theMap)">
+
+ </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="substSym(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'substSym(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6357,12 +6715,29 @@ Symbol
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-substSym(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-substSym(tp,from,to,theMap)">
+
+ </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="substThis(tp,from,to,theMap)" class="member ">
<div class="member-title">
+ <span class="expand-button" onclick="toggleMemberBody(this, 'substThis(tp,from,to,theMap)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6425,8 +6800,24 @@ Symbol
</div><!-- end member-title -->
<div class="member-body">
-
+ <div class="member-body-short" id="short-body-substThis(tp,from,to,theMap)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-substThis(tp,from,to,theMap)">
+
+ </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>