diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-10 09:38:07 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-10 09:38:07 +0000 |
commit | 882b4b6e06393574267297ca4fc13fa31bfcfd3f (patch) | |
tree | 7eeb5cf07f8ba61c2121ec602fead72e3d3cbef9 /api/dotty/tools/dotc/config/Printers$.html | |
parent | c3bd69ce20a9250b772294885b57021c24e24a8e (diff) | |
download | dotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.tar.gz dotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.tar.bz2 dotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.zip |
Update gh-pages site for 318700fdaacd7e6707519e03f15a5ede99ca558a
Diffstat (limited to 'api/dotty/tools/dotc/config/Printers$.html')
-rw-r--r-- | api/dotty/tools/dotc/config/Printers$.html | 88 |
1 files changed, 48 insertions, 40 deletions
diff --git a/api/dotty/tools/dotc/config/Printers$.html b/api/dotty/tools/dotc/config/Printers$.html index d8d83a3e4..0cefeced4 100644 --- a/api/dotty/tools/dotc/config/Printers$.html +++ b/api/dotty/tools/dotc/config/Printers$.html @@ -3144,21 +3144,6 @@ </li> - <li class="index-entity with-companion "> - <div class="entity-kinds"> - - <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a> - - <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a> - </li> - - - - - - <li class="index-entity "> <div class="entity-kinds"> @@ -3202,16 +3187,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a> @@ -3253,21 +3228,6 @@ - - <li class="index-entity with-companion "> - <div class="entity-kinds"> - - <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a> - - <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a> - </li> - - - - - <li class="index-entity entity-package"> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a> @@ -5938,6 +5898,54 @@ </script> </div><!-- end member --> + <div id="exhaustivity" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'exhaustivity');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + val + </span> + <span class="member-name "> + + exhaustivity + + </span> + + + + + + + <span class="no-left">: Printer</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-exhaustivity"> + + </div> + <div class="member-body-long" id ="long-body-exhaustivity"> + + </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="gadts" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'gadts');">[+]</span> |