diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-03-29 14:38:07 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-03-29 14:38:07 +0000 |
commit | 2d0a78875203cc514bb559ccce464c6bb359234b (patch) | |
tree | ca3a493d5099b1c16de859f15b5dcc08af6ff78b /api/dotty/tools/dotc/core/TypeOps | |
parent | 86445cb2ce3295ed2c38a64bae2afede0e87569d (diff) | |
download | dotty-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.html | 100 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html | 94 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/TypeOps/deskolemize$.html | 98 |
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> |