aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/TypeOps
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-03-29 14:38:07 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-03-29 14:38:07 +0000
commit2d0a78875203cc514bb559ccce464c6bb359234b (patch)
treeca3a493d5099b1c16de859f15b5dcc08af6ff78b /api/dotty/tools/dotc/core/TypeOps
parent86445cb2ce3295ed2c38a64bae2afede0e87569d (diff)
downloaddotty-2d0a78875203cc514bb559ccce464c6bb359234b.tar.gz
dotty-2d0a78875203cc514bb559ccce464c6bb359234b.tar.bz2
dotty-2d0a78875203cc514bb559ccce464c6bb359234b.zip
Update gh-pages site for f49c10d1667de897b2073d9b15c7c6cb8cc52482
Diffstat (limited to 'api/dotty/tools/dotc/core/TypeOps')
-rw-r--r--api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html100
-rw-r--r--api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html94
-rw-r--r--api/dotty/tools/dotc/core/TypeOps/deskolemize$.html98
3 files changed, 281 insertions, 11 deletions
diff --git a/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html b/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html
index c917c1855..5336485b8 100644
--- a/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html
+++ b/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html
@@ -118,6 +118,21 @@
</li>
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/FatalError$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/FatalError.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/FatalError.html">FatalError</a>
+ </li>
+
+
+
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -1373,6 +1388,26 @@
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">PickleFormat</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">Scala2Flags</a>
+ </li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
@@ -2331,6 +2366,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">SafeLazyWrapper</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">ShowAPI</a>
@@ -3403,9 +3448,14 @@
- <li class="index-entity ">
+
+
+
+ <li class="index-entity with-companion ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps$.html">O</a>
+
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">NamerContextOps</a>
@@ -3873,6 +3923,21 @@
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">Counters</a>
+ </li>
+
+
+
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -3973,6 +4038,31 @@
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">Statistics</a>
+ </li>
+
+
+
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">StatisticsPhase</a>
+ </li>
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -5395,7 +5485,7 @@
<div id="cls" class="member private">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'cls');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'cls');">[+]</span>
<span class="member-annotations">
</span>
@@ -5443,7 +5533,7 @@
<div id="pre" class="member private">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'pre');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'pre');">[+]</span>
<span class="member-annotations">
</span>
@@ -5491,7 +5581,7 @@
<div id="apply(tp)" class="member ">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5552,7 +5642,7 @@
<div id="currentVariance" class="member ">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'currentVariance');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'currentVariance');">[+]</span>
<span class="member-annotations">
</span>
diff --git a/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html b/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html
index 6499ceab1..7de488ffa 100644
--- a/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html
+++ b/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html
@@ -118,6 +118,21 @@
</li>
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/FatalError$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/FatalError.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/FatalError.html">FatalError</a>
+ </li>
+
+
+
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -1373,6 +1388,26 @@
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">PickleFormat</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">Scala2Flags</a>
+ </li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
@@ -2331,6 +2366,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">SafeLazyWrapper</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">ShowAPI</a>
@@ -3403,9 +3448,14 @@
- <li class="index-entity ">
+
+
+
+ <li class="index-entity with-companion ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps$.html">O</a>
+
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">NamerContextOps</a>
@@ -3873,6 +3923,21 @@
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">Counters</a>
+ </li>
+
+
+
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -3973,6 +4038,31 @@
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">Statistics</a>
+ </li>
+
+
+
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">StatisticsPhase</a>
+ </li>
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -5376,7 +5466,7 @@
<div id="apply(tp)" class="member ">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>
<span class="member-annotations">
</span>
diff --git a/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html b/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html
index a38a8dd4d..ec3b76eed 100644
--- a/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html
+++ b/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html
@@ -118,6 +118,21 @@
</li>
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/FatalError$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/FatalError.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/FatalError.html">FatalError</a>
+ </li>
+
+
+
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -1373,6 +1388,26 @@
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">PickleFormat</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">Scala2Flags</a>
+ </li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
@@ -2331,6 +2366,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">SafeLazyWrapper</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">ShowAPI</a>
@@ -3403,9 +3448,14 @@
- <li class="index-entity ">
+
+
+
+ <li class="index-entity with-companion ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps$.html">O</a>
+
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">NamerContextOps</a>
@@ -3873,6 +3923,21 @@
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">Counters</a>
+ </li>
+
+
+
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -3973,6 +4038,31 @@
+ <li class="index-entity with-companion ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics$.html">O</a>
+
+ <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">Statistics</a>
+ </li>
+
+
+
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">C</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">StatisticsPhase</a>
+ </li>
+
+
+
<li class="index-entity ">
<div class="entity-kinds">
@@ -5369,7 +5459,7 @@
<div id="seen" class="member private">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'seen');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'seen');">[+]</span>
<span class="member-annotations">
</span>
@@ -5420,7 +5510,7 @@ SkolemType
<div id="apply(tp)" class="member ">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5481,7 +5571,7 @@ SkolemType
<div id="seen_=(x$1)" class="member private">
<div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'seen_=(x$1)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'seen_=(x$1)');">[+]</span>
<span class="member-annotations">
</span>