diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 12:38:46 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 12:38:46 +0000 |
| commit | ee7de4c03e93c83ef21b1c96f24d034e04dc989c (patch) | |
| tree | 19dfbe356644b5ae0a144b6e11ee4a80de3c4cdf /api/dotty/tools/dotc/core/TypeOps | |
| parent | dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c (diff) | |
| download | dotty-ee7de4c03e93c83ef21b1c96f24d034e04dc989c.tar.gz dotty-ee7de4c03e93c83ef21b1c96f24d034e04dc989c.tar.bz2 dotty-ee7de4c03e93c83ef21b1c96f24d034e04dc989c.zip | |
Update gh-pages site for 09cc23726069fa04cbfeec55a9fa4bb8e4a02ff9
Diffstat (limited to 'api/dotty/tools/dotc/core/TypeOps')
| -rw-r--r-- | api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html | 25 | ||||
| -rw-r--r-- | api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html | 25 | ||||
| -rw-r--r-- | api/dotty/tools/dotc/core/TypeOps/deskolemize$.html | 25 |
3 files changed, 45 insertions, 30 deletions
diff --git a/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html b/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html index 8224a1692..b660290f4 100644 --- a/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html +++ b/api/dotty/tools/dotc/core/TypeOps/AsSeenFromMap.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html b/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html index 274dc94cb..45b0bf816 100644 --- a/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html +++ b/api/dotty/tools/dotc/core/TypeOps/SimplifyMap.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html b/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html index 932a7c7f0..b109eb899 100644 --- a/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html +++ b/api/dotty/tools/dotc/core/TypeOps/deskolemize$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> |