diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 11:46:26 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 11:46:26 +0000 |
commit | db0e81121b822a28bff2e08c3e752c1f346a82ee (patch) | |
tree | 5e1c646ca1d4a800a84e6cdcad11ecf4bb50702b /api/dotty/tools/dotc/typer | |
parent | c89c74c0a1762995ee70b57cc428bc978115b881 (diff) | |
download | dotty-db0e81121b822a28bff2e08c3e752c1f346a82ee.tar.gz dotty-db0e81121b822a28bff2e08c3e752c1f346a82ee.tar.bz2 dotty-db0e81121b822a28bff2e08c3e752c1f346a82ee.zip |
Update gh-pages site for 92a9d05fd64ac97140aa0f01214c4738526383c3
Diffstat (limited to 'api/dotty/tools/dotc/typer')
-rw-r--r-- | api/dotty/tools/dotc/typer/Applications$.html | 156 |
1 files changed, 152 insertions, 4 deletions
diff --git a/api/dotty/tools/dotc/typer/Applications$.html b/api/dotty/tools/dotc/typer/Applications$.html index 650b29a2e..a77947314 100644 --- a/api/dotty/tools/dotc/typer/Applications$.html +++ b/api/dotty/tools/dotc/typer/Applications$.html @@ -5417,6 +5417,80 @@ <div id="entity-members" class="entity-section "> + <div id="canProductMatch(tp)(ctx)" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'canProductMatch(tp)(ctx)');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + canProductMatch + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + tp: + </span> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a> + + + <span class="no-left">)</span> + + <span class="no-left">(</span> + + <span class="no-left keyword">implicit</span> + + + <span class="no-left"> + ctx: + </span> + <a href="../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a> + + + <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-canProductMatch(tp)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-canProductMatch(tp)(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 id="extractorMember(tp,name)(ctx)" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'extractorMember(tp,name)(ctx)');">[+]</span> @@ -5987,14 +6061,14 @@ parameterless <code>isDefined</code> member of result type <code>Boolean</code>. <div class="member-body"> <div class="member-body-short" id="short-body-isProductMatch(tp,numArgs)(ctx)"> <p>Does <code>tp</code> fit the "product match" conditions as an unapply result type -for a pattern with <code>numArgs</code> subpatterns> -This is the case of <code>tp</code> is a subtype of the...<numArgs></p> +for a pattern with <code>numArgs</code> subpatterns? +This is the case of <code>tp</code> has members <code>_1</code> to <code>_N</code></p> </div> <div class="member-body-long" id ="long-body-isProductMatch(tp,numArgs)(ctx)"> <p>Does <code>tp</code> fit the "product match" conditions as an unapply result type -for a pattern with <code>numArgs</code> subpatterns> -This is the case of <code>tp</code> is a subtype of the Product<numArgs> class.</p> +for a pattern with <code>numArgs</code> subpatterns? +This is the case of <code>tp</code> has members <code>_1</code> to <code>_N</code> where <code>N == numArgs</code>.</p> </div> </div> @@ -6011,6 +6085,80 @@ This is the case of <code>tp</code> is a subtype of the Product<numArgs> class.< </script> </div><!-- end member --> + <div id="productArity(tp)(ctx)" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productArity(tp)(ctx)');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + productArity + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + tp: + </span> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a> + + + <span class="no-left">)</span> + + <span class="no-left">(</span> + + <span class="no-left keyword">implicit</span> + + + <span class="no-left"> + ctx: + </span> + <a href="../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a> + + + <span class="no-left">)</span> + + + + + + + <span class="no-left">: Int</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-productArity(tp)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-productArity(tp)(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 id="productSelectorTypes(tp,errorPos)(ctx)" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productSelectorTypes(tp,errorPos)(ctx)');">[+]</span> |