diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-03-31 16:08:59 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-03-31 16:08:59 +0000 |
commit | 792c6f1169d63547b218d72841bdc8e8a59144c5 (patch) | |
tree | 2d9f314c3eead85a7f326c23a145e6f15ca828e9 /api/dotty/tools/dotc/core/Types$/Type.html | |
parent | 866d0c688713d2829ceeb0dc9ace3b075510a110 (diff) | |
download | dotty-792c6f1169d63547b218d72841bdc8e8a59144c5.tar.gz dotty-792c6f1169d63547b218d72841bdc8e8a59144c5.tar.bz2 dotty-792c6f1169d63547b218d72841bdc8e8a59144c5.zip |
Update gh-pages site for d73c8e42ca526ff2c53a17ddd1fa87044dd5bbca
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$/Type.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index 0f7988d9c..21167d524 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> @@ -6325,9 +6325,9 @@ is covariant is irrelevant, so can be ignored.</p> </script> </div><!-- end member --> - <div id="appliedTo(args)(ctx)" class="member "> + <div id="appliedTo(arg)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6349,12 +6349,9 @@ is covariant is irrelevant, so can be ignored.</p> <span class="no-left"> - args: + arg: </span> - List -<span class="no-left no-right">[</span> -Type -<span class="no-left">]</span> + Type <span class="no-left">)</span> @@ -6382,17 +6379,11 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> + </div> - <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> + </div> </div> <script> @@ -6490,9 +6481,9 @@ Type </script> </div><!-- end member --> - <div id="appliedTo(arg)(ctx)" class="member "> + <div id="appliedTo(args)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6514,9 +6505,12 @@ Type <span class="no-left"> - arg: + args: </span> - Type + List +<span class="no-left no-right">[</span> +Type +<span class="no-left">]</span> <span class="no-left">)</span> @@ -6544,11 +6538,17 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> - + <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> - <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> - + <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> </div> <script> |