diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
commit | 881c3b182fda1036d5a507d08ff85f7709d70703 (patch) | |
tree | c0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/dotty/tools/dotc/core/index.html | |
parent | b45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff) | |
download | dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2 dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip |
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/dotty/tools/dotc/core/index.html')
-rw-r--r-- | api/dotty/tools/dotc/core/index.html | 1247 |
1 files changed, 1188 insertions, 59 deletions
diff --git a/api/dotty/tools/dotc/core/index.html b/api/dotty/tools/dotc/core/index.html index 2ef98c7b3..94c7ffd16 100644 --- a/api/dotty/tools/dotc/core/index.html +++ b/api/dotty/tools/dotc/core/index.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> dotty.tools.dotc.core </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="dotty.tools.dotc.core.classfile" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'dotty.tools.dotc.core.classfile');">[+]</span> <span class="member-annotations"> </span> @@ -5363,12 +5379,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-dotty.tools.dotc.core.classfile"> + + </div> + <div class="member-body-long" id ="long-body-dotty.tools.dotc.core.classfile"> + + </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="dotty.tools.dotc.core.tasty" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'dotty.tools.dotc.core.tasty');">[+]</span> <span class="member-annotations"> </span> @@ -5392,12 +5425,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-dotty.tools.dotc.core.tasty"> + + </div> + <div class="member-body-long" id ="long-body-dotty.tools.dotc.core.tasty"> + + </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="dotty.tools.dotc.core.unpickleScala2" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'dotty.tools.dotc.core.unpickleScala2');">[+]</span> <span class="member-annotations"> </span> @@ -5421,12 +5471,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-dotty.tools.dotc.core.unpickleScala2"> + + </div> + <div class="member-body-long" id ="long-body-dotty.tools.dotc.core.unpickleScala2"> + + </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="Annotations$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Annotations$');">[+]</span> <span class="member-annotations"> </span> @@ -5450,12 +5517,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Annotations$"> + + </div> + <div class="member-body-long" id ="long-body-Annotations$"> + + </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="CheckRealizable" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CheckRealizable');">[+]</span> <span class="member-annotations"> </span> @@ -5479,13 +5563,31 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Compute realizability status</p> + <div class="member-body-short" id="short-body-CheckRealizable"> + <p>Compute realizability status</p> + + </div> + <div class="member-body-long" id ="long-body-CheckRealizable"> + <p>Compute realizability status</p> + </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="CheckRealizable$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CheckRealizable$');">[+]</span> <span class="member-annotations"> </span> @@ -5509,13 +5611,31 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Realizability status</p> + <div class="member-body-short" id="short-body-CheckRealizable$"> + <p>Realizability status</p> + + </div> + <div class="member-body-long" id ="long-body-CheckRealizable$"> + <p>Realizability status</p> + </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="ClassfileLoader" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ClassfileLoader');">[+]</span> <span class="member-annotations"> </span> @@ -5539,12 +5659,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-ClassfileLoader"> + + </div> + <div class="member-body-long" id ="long-body-ClassfileLoader"> + + </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="Comments$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Comments$');">[+]</span> <span class="member-annotations"> </span> @@ -5568,12 +5705,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Comments$"> + + </div> + <div class="member-body-long" id ="long-body-Comments$"> + + </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="Constants$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Constants$');">[+]</span> <span class="member-annotations"> </span> @@ -5597,12 +5751,29 @@ </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Constants$"> + + </div> + <div class="member-body-long" id ="long-body-Constants$"> + + </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="Constraint" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Constraint');">[+]</span> <span class="member-annotations"> </span> @@ -5626,7 +5797,8 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Constraint over undetermined type parameters. Constraints are built + <div class="member-body-short" id="short-body-Constraint"> + <p>Constraint over undetermined type parameters. Constraints are built over values of the following types:</p> <ul> <li>PolyType A constraint constrains the type parameters of a set of PolyTypes</li> @@ -5635,11 +5807,35 @@ over values of the following types:</p> that has the PolyParam as origin.</li> </ul> + </div> + <div class="member-body-long" id ="long-body-Constraint"> + <p>Constraint over undetermined type parameters. Constraints are built +over values of the following types:</p> +<ul> +<li>PolyType A constraint constrains the type parameters of a set of PolyTypes</li> +<li>PolyParam The parameters of the constrained polytypes</li> +<li>TypeVar Every constrained parameter might be associated with a TypeVar +that has the PolyParam as origin.</li> +</ul> + + </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="ConstraintHandling" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ConstraintHandling');">[+]</span> <span class="member-annotations"> </span> @@ -5663,18 +5859,42 @@ that has the PolyParam as origin.</li> </div><!-- end member-title --> <div class="member-body"> - <p>Methods for adding constraints and solving them.</p> + <div class="member-body-short" id="short-body-ConstraintHandling"> + <p>Methods for adding constraints and solving them.</p> <p>What goes into a Constraint as opposed to a ConstrainHandler?</p> <p>Constraint code is purely functional: Ope... </p> <p> </p> + </div> + <div class="member-body-long" id ="long-body-ConstraintHandling"> + <p>Methods for adding constraints and solving them.</p> +<p>What goes into a Constraint as opposed to a ConstrainHandler?</p> +<p>Constraint code is purely functional: Operations get constraints and produce new ones. +Constraint code does not have access to a type-comparer. Anything regarding lubs and glbs has to be done +elsewhere.</p> +<p>By comparison: Constraint handlers are parts of type comparers and can use their functionality. +Constraint handlers update the current constraint as a side effect.</p> + + </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="ConstraintRunInfo" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ConstraintRunInfo');">[+]</span> <span class="member-annotations"> </span> @@ -5698,12 +5918,29 @@ that has the PolyParam as origin.</li> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-ConstraintRunInfo"> + + </div> + <div class="member-body-long" id ="long-body-ConstraintRunInfo"> + + </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="Contexts$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Contexts$');">[+]</span> <span class="member-annotations"> </span> @@ -5727,12 +5964,29 @@ that has the PolyParam as origin.</li> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Contexts$"> + + </div> + <div class="member-body-long" id ="long-body-Contexts$"> + + </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="Decorators$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Decorators$');">[+]</span> <span class="member-annotations"> </span> @@ -5756,13 +6010,31 @@ that has the PolyParam as origin.</li> </div><!-- end member-title --> <div class="member-body"> - <p>This object provides useful implicit decorators for types defined elsewhere</p> + <div class="member-body-short" id="short-body-Decorators$"> + <p>This object provides useful implicit decorators for types defined elsewhere</p> + + </div> + <div class="member-body-long" id ="long-body-Decorators$"> + <p>This object provides useful implicit decorators for types defined elsewhere</p> + </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="Definitions" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Definitions');">[+]</span> <span class="member-annotations"> </span> @@ -5786,7 +6058,8 @@ that has the PolyParam as origin.</li> </div><!-- end member-title --> <div class="member-body"> - <p>A class defining symbols and types of standard definitions</p> + <div class="member-body-short" id="short-body-Definitions"> + <p>A class defining symbols and types of standard definitions</p> <p>Note: There's a much nicer design possible once we have implicit functions. The idea is explo... </p> @@ -5795,11 +6068,38 @@ The idea is explo... <p> </p> + </div> + <div class="member-body-long" id ="long-body-Definitions"> + <p>A class defining symbols and types of standard definitions</p> +<p>Note: There's a much nicer design possible once we have implicit functions. +The idea is explored to some degree in branch wip-definitions (#929): Instead of a type +and a separate symbol definition, we produce in one line an implicit function from +Context to Symbol, and possibly also the corresponding type. This cuts down on all +the duplication encountered here.</p> +<p>wip-definitions tries to do the same with an implicit conversion from a SymbolPerRun +type to a symbol type. The problem with that is universal equality. Comparisons will +not trigger the conversion and will therefore likely return false results.</p> +<p>So the branch is put on hold, until we have implicit functions, which will always +automatically be dereferenced.</p> + + </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="Definitions$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Definitions$');">[+]</span> <span class="member-annotations"> </span> @@ -5823,12 +6123,29 @@ The idea is explo... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Definitions$"> + + </div> + <div class="member-body-long" id ="long-body-Definitions$"> + + </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="DenotTransformers$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'DenotTransformers$');">[+]</span> <span class="member-annotations"> </span> @@ -5852,12 +6169,29 @@ The idea is explo... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-DenotTransformers$"> + + </div> + <div class="member-body-long" id ="long-body-DenotTransformers$"> + + </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="Denotations$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Denotations$');">[+]</span> <span class="member-annotations"> </span> @@ -5881,7 +6215,8 @@ The idea is explo... </div><!-- end member-title --> <div class="member-body"> - <p>Denotations represent the meaning of symbols and named types. + <div class="member-body-short" id="short-body-Denotations$"> + <p>Denotations represent the meaning of symbols and named types. The following diagram shows how the principal types of denotations and their denoting enti... </p> @@ -5893,11 +6228,68 @@ and their denoting enti... [Annotation] </p> + </div> + <div class="member-body-long" id ="long-body-Denotations$"> + <p>Denotations represent the meaning of symbols and named types. +The following diagram shows how the principal types of denotations +and their denoting entities relate to each other. Lines ending in +a down-arrow <code>v</code> are member methods. The two methods shown in the diagram are +"symbol" and "deref". Both methods are parameterized by the current context, +and are effectively indexed by current period.</p> +<p>Lines ending in a horizontal line mean subtying (right is a subtype of left).</p> +<p>NamedType------TermRefWithSignature +| | Symbol---------ClassSymbol +| | | | +| denot | denot | denot | denot +v v v v +Denotation-+-----SingleDenotation-+------SymDenotation-+----ClassDenotation +| | ++-----MultiDenotation | +| ++--UniqueRefDenotation ++--JointRefDenotation</p> +<p>Here's a short summary of the classes in this diagram.</p> +<p>NamedType A type consisting of a prefix type and a name, with fields +prefix: Type +name: Name +It has two subtypes: TermRef and TypeRef +TermRefWithSignature A TermRef that has in addition a signature to select an overloaded variant, with new field +sig: Signature +Symbol A label for a definition or declaration in one compiler run +ClassSymbol A symbol representing a class +Denotation The meaning of a named type or symbol during a period +MultiDenotation A denotation representing several overloaded members +SingleDenotation A denotation representing a non-overloaded member or definition, with main fields +symbol: Symbol +info: Type +UniqueRefDenotation A denotation referring to a single definition with some member type +JointRefDenotation A denotation referring to a member that could resolve to several definitions +SymDenotation A denotation representing a single definition with its original type, with main fields +name: Name +owner: Symbol +flags: Flags +privateWithin: Symbol +annotations: List[Annotation] +ClassDenotation A denotation representing a single class definition.</p> + + </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="ExplainingTypeComparer" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ExplainingTypeComparer');">[+]</span> <span class="member-annotations"> </span> @@ -5921,13 +6313,31 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - <p>A type comparer that can record traces of subtype operations</p> + <div class="member-body-short" id="short-body-ExplainingTypeComparer"> + <p>A type comparer that can record traces of subtype operations</p> + </div> + <div class="member-body-long" id ="long-body-ExplainingTypeComparer"> + <p>A type comparer that can record traces of subtype operations</p> + + </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="Flags$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Flags$');">[+]</span> <span class="member-annotations"> </span> @@ -5951,12 +6361,29 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Flags$"> + + </div> + <div class="member-body-long" id ="long-body-Flags$"> + + </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="Hashable$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Hashable$');">[+]</span> <span class="member-annotations"> </span> @@ -5980,12 +6407,29 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Hashable$"> + + </div> + <div class="member-body-long" id ="long-body-Hashable$"> + + </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="Hashable" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Hashable');">[+]</span> <span class="member-annotations"> </span> @@ -6009,12 +6453,29 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Hashable"> + + </div> + <div class="member-body-long" id ="long-body-Hashable"> + + </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="Mode" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Mode');">[+]</span> <span class="member-annotations"> </span> @@ -6038,13 +6499,31 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - <p>A collection of mode bits that are part of a context</p> + <div class="member-body-short" id="short-body-Mode"> + <p>A collection of mode bits that are part of a context</p> + </div> + <div class="member-body-long" id ="long-body-Mode"> + <p>A collection of mode bits that are part of a context</p> + + </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="Mode$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Mode$');">[+]</span> <span class="member-annotations"> </span> @@ -6068,12 +6547,29 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Mode$"> + + </div> + <div class="member-body-long" id ="long-body-Mode$"> + + </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="MutableTyperState" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'MutableTyperState');">[+]</span> <span class="member-annotations"> </span> @@ -6097,12 +6593,29 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-MutableTyperState"> + + </div> + <div class="member-body-long" id ="long-body-MutableTyperState"> + + </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="NameOps$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'NameOps$');">[+]</span> <span class="member-annotations"> </span> @@ -6126,12 +6639,29 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-NameOps$"> + + </div> + <div class="member-body-long" id ="long-body-NameOps$"> + + </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="Names$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Names$');">[+]</span> <span class="member-annotations"> </span> @@ -6155,12 +6685,29 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Names$"> + + </div> + <div class="member-body-long" id ="long-body-Names$"> + + </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="OrderingConstraint" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'OrderingConstraint');">[+]</span> <span class="member-annotations"> </span> @@ -6184,14 +6731,33 @@ and their denoting enti... </div><!-- end member-title --> <div class="member-body"> - <p>Constraint over undetermined type parameters that keeps separate maps to + <div class="member-body-short" id="short-body-OrderingConstraint"> + <p>Constraint over undetermined type parameters that keeps separate maps to reflect parameter orderings.</p> + </div> + <div class="member-body-long" id ="long-body-OrderingConstraint"> + <p>Constraint over undetermined type parameters that keeps separate maps to +reflect parameter orderings.</p> + + </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="OrderingConstraint$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'OrderingConstraint$');">[+]</span> <span class="member-annotations"> </span> @@ -6215,12 +6781,29 @@ reflect parameter orderings.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-OrderingConstraint$"> + + </div> + <div class="member-body-long" id ="long-body-OrderingConstraint$"> + + </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="Periods" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Periods');">[+]</span> <span class="member-annotations"> </span> @@ -6244,16 +6827,37 @@ reflect parameter orderings.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Periods are the central "clock" of the compiler. + <div class="member-body-short" id="short-body-Periods"> + <p>Periods are the central "clock" of the compiler. A period consists of a run id and a phase id. run ids represent compiler runs phase ids represent compil...</p> + </div> + <div class="member-body-long" id ="long-body-Periods"> + <p>Periods are the central "clock" of the compiler. +A period consists of a run id and a phase id. +run ids represent compiler runs +phase ids represent compiler phases</p> + + </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="Periods$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Periods$');">[+]</span> <span class="member-annotations"> </span> @@ -6277,12 +6881,29 @@ phase ids represent compil...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Periods$"> + + </div> + <div class="member-body-long" id ="long-body-Periods$"> + + </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="Phases$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Phases$');">[+]</span> <span class="member-annotations"> </span> @@ -6306,12 +6927,29 @@ phase ids represent compil...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Phases$"> + + </div> + <div class="member-body-long" id ="long-body-Phases$"> + + </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="Phases" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Phases');">[+]</span> <span class="member-annotations"> </span> @@ -6335,12 +6973,29 @@ phase ids represent compil...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Phases"> + + </div> + <div class="member-body-long" id ="long-body-Phases"> + + </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="Scopes$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scopes$');">[+]</span> <span class="member-annotations"> </span> @@ -6364,12 +7019,29 @@ phase ids represent compil...</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Scopes$"> + + </div> + <div class="member-body-long" id ="long-body-Scopes$"> + + </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="Signature" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Signature');">[+]</span> <span class="member-annotations"> </span> @@ -6393,7 +7065,8 @@ phase ids represent compil...</p> </div><!-- end member-title --> <div class="member-body"> - <p>The signature of a denotation. + <div class="member-body-short" id="short-body-Signature"> + <p>The signature of a denotation. Overloaded denotations with the same name are distinguished by their signatures. A signature of a method (of type PolyTyp... </p> @@ -6409,11 +7082,48 @@ their signatures. A signature of a method (of type PolyTyp... <p></p> <ul></ul> + </div> + <div class="member-body-long" id ="long-body-Signature"> + <p>The signature of a denotation. +Overloaded denotations with the same name are distinguished by +their signatures. A signature of a method (of type PolyType,MethodType, or ExprType) is +composed of a list of signature names, one for each parameter type, plus a signature for +the result type. Methods are uncurried before taking their signatures. +The signature name of a type is the fully qualified name of the type symbol of the type's erasure.</p> +<p>For instance a definition</p> +<pre><code>def f(x: Int)(y: List[String]): String +</code></pre> +<p>would have signature</p> +<pre><code>Signature( + List("scala.Int".toTypeName, "scala.collection.immutable.List".toTypeName), + "scala.String".toTypeName) +</code></pre> +<p>The signatures of non-method types are always <code>NotAMethod</code>.</p> +<p>There are three kinds of "missing" parts of signatures:</p> +<ul> +<li>tpnme.EMPTY Result type marker for NotAMethod and OverloadedSignature</li> +<li>tpnme.WILDCARD Arises from a Wildcard or error type</li> +<li>tpnme.Uninstantiated Arises from an uninstantiated type variable</li> +</ul> + + </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="Signature$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Signature$');">[+]</span> <span class="member-annotations"> </span> @@ -6437,12 +7147,29 @@ their signatures. A signature of a method (of type PolyTyp... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Signature$"> + + </div> + <div class="member-body-long" id ="long-body-Signature$"> + + </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="SourcefileLoader" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SourcefileLoader');">[+]</span> <span class="member-annotations"> </span> @@ -6466,12 +7193,29 @@ their signatures. A signature of a method (of type PolyTyp... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SourcefileLoader"> + + </div> + <div class="member-body-long" id ="long-body-SourcefileLoader"> + + </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="StdNames$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'StdNames$');">[+]</span> <span class="member-annotations"> </span> @@ -6495,12 +7239,29 @@ their signatures. A signature of a method (of type PolyTyp... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-StdNames$"> + + </div> + <div class="member-body-long" id ="long-body-StdNames$"> + + </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="Substituters" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Substituters');">[+]</span> <span class="member-annotations"> </span> @@ -6524,14 +7285,33 @@ their signatures. A signature of a method (of type PolyTyp... </div><!-- end member-title --> <div class="member-body"> - <p>Substitution operations on types. See the corresponding <code>subst</code> and + <div class="member-body-short" id="short-body-Substituters"> + <p>Substitution operations on types. See the corresponding <code>subst</code> and +<code>substThis</code> methods on class Type for an explanation.</p> + + </div> + <div class="member-body-long" id ="long-body-Substituters"> + <p>Substitution operations on types. See the corresponding <code>subst</code> and <code>substThis</code> methods on class Type for an explanation.</p> + </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="SymDenotations$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SymDenotations$');">[+]</span> <span class="member-annotations"> </span> @@ -6555,12 +7335,29 @@ their signatures. A signature of a method (of type PolyTyp... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SymDenotations$"> + + </div> + <div class="member-body-long" id ="long-body-SymDenotations$"> + + </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="SymDenotations" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SymDenotations');">[+]</span> <span class="member-annotations"> </span> @@ -6584,12 +7381,29 @@ their signatures. A signature of a method (of type PolyTyp... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SymDenotations"> + + </div> + <div class="member-body-long" id ="long-body-SymDenotations"> + + </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="SymbolLoader" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SymbolLoader');">[+]</span> <span class="member-annotations"> </span> @@ -6613,14 +7427,33 @@ their signatures. A signature of a method (of type PolyTyp... </div><!-- end member-title --> <div class="member-body"> - <p>A lazy type that completes itself by calling parameter doComplete. + <div class="member-body-short" id="short-body-SymbolLoader"> + <p>A lazy type that completes itself by calling parameter doComplete. +Any linked modules/classes or module classes are also initialized.</p> + + </div> + <div class="member-body-long" id ="long-body-SymbolLoader"> + <p>A lazy type that completes itself by calling parameter doComplete. Any linked modules/classes or module classes are also initialized.</p> + </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="SymbolLoaders" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SymbolLoaders');">[+]</span> <span class="member-annotations"> </span> @@ -6644,13 +7477,31 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A base class for Symbol loaders with some overridable behavior</p> + <div class="member-body-short" id="short-body-SymbolLoaders"> + <p>A base class for Symbol loaders with some overridable behavior</p> + + </div> + <div class="member-body-long" id ="long-body-SymbolLoaders"> + <p>A base class for Symbol loaders with some overridable behavior</p> + </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="SymbolLoaders$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'SymbolLoaders$');">[+]</span> <span class="member-annotations"> </span> @@ -6674,12 +7525,29 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-SymbolLoaders$"> + + </div> + <div class="member-body-long" id ="long-body-SymbolLoaders$"> + + </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="Symbols$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Symbols$');">[+]</span> <span class="member-annotations"> </span> @@ -6703,12 +7571,29 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Symbols$"> + + </div> + <div class="member-body-long" id ="long-body-Symbols$"> + + </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="Symbols" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Symbols');">[+]</span> <span class="member-annotations"> </span> @@ -6732,13 +7617,31 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Creation methods for symbols</p> + <div class="member-body-short" id="short-body-Symbols"> + <p>Creation methods for symbols</p> + </div> + <div class="member-body-long" id ="long-body-Symbols"> + <p>Creation methods for symbols</p> + + </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="TypeApplications" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeApplications');">[+]</span> <span class="member-annotations"> </span> @@ -6762,13 +7665,31 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - <p>A decorator that provides methods for modeling type application</p> + <div class="member-body-short" id="short-body-TypeApplications"> + <p>A decorator that provides methods for modeling type application</p> + + </div> + <div class="member-body-long" id ="long-body-TypeApplications"> + <p>A decorator that provides methods for modeling type application</p> + </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="TypeApplications$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeApplications$');">[+]</span> <span class="member-annotations"> </span> @@ -6792,12 +7713,29 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TypeApplications$"> + + </div> + <div class="member-body-long" id ="long-body-TypeApplications$"> + + </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="TypeComparer" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeComparer');">[+]</span> <span class="member-annotations"> </span> @@ -6821,13 +7759,31 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Provides methods to compare types.</p> + <div class="member-body-short" id="short-body-TypeComparer"> + <p>Provides methods to compare types.</p> + </div> + <div class="member-body-long" id ="long-body-TypeComparer"> + <p>Provides methods to compare types.</p> + + </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="TypeComparer$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeComparer$');">[+]</span> <span class="member-annotations"> </span> @@ -6851,12 +7807,29 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TypeComparer$"> + + </div> + <div class="member-body-long" id ="long-body-TypeComparer$"> + + </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="TypeErasure" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeErasure');">[+]</span> <span class="member-annotations"> </span> @@ -6880,12 +7853,29 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TypeErasure"> + + </div> + <div class="member-body-long" id ="long-body-TypeErasure"> + + </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="TypeErasure$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeErasure$');">[+]</span> <span class="member-annotations"> </span> @@ -6909,7 +7899,8 @@ Any linked modules/classes or module classes are also initialized.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Erased types are:</p> + <div class="member-body-short" id="short-body-TypeErasure$"> + <p>Erased types are:</p> <p>ErasedValueType TypeRef(prefix is ignored, denot is ClassDenotation) TermRef(prefix is ignored, denot is SymDenotation) @@ -6918,11 +7909,42 @@ Ann... </p> <p></p> + </div> + <div class="member-body-long" id ="long-body-TypeErasure$"> + <p>Erased types are:</p> +<p>ErasedValueType +TypeRef(prefix is ignored, denot is ClassDenotation) +TermRef(prefix is ignored, denot is SymDenotation) +JavaArrayType +AnnotatedType +MethodType +ThisType +SuperType +ClassInfo (NoPrefix, ...) +NoType +NoPrefix +WildcardType +ErrorType</p> +<p>only for isInstanceOf, asInstanceOf: PolyType, PolyParam, TypeBounds</p> + + </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="TypeOps$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeOps$');">[+]</span> <span class="member-annotations"> </span> @@ -6946,12 +7968,29 @@ Ann... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TypeOps$"> + + </div> + <div class="member-body-long" id ="long-body-TypeOps$"> + + </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="TypeOps" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeOps');">[+]</span> <span class="member-annotations"> </span> @@ -6975,12 +8014,29 @@ Ann... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TypeOps"> + + </div> + <div class="member-body-long" id ="long-body-TypeOps"> + + </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="TypeParamInfo" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypeParamInfo');">[+]</span> <span class="member-annotations"> </span> @@ -7004,14 +8060,33 @@ Ann... </div><!-- end member-title --> <div class="member-body"> - <p>A common super trait of Symbol and LambdaParam. + <div class="member-body-short" id="short-body-TypeParamInfo"> + <p>A common super trait of Symbol and LambdaParam. Used to capture the attributes of type parameters which can be implemented as either.</p> + </div> + <div class="member-body-long" id ="long-body-TypeParamInfo"> + <p>A common super trait of Symbol and LambdaParam. +Used to capture the attributes of type parameters which can be implemented as either.</p> + + </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="TyperState" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TyperState');">[+]</span> <span class="member-annotations"> </span> @@ -7035,12 +8110,29 @@ Used to capture the attributes of type parameters which can be implemented as ei </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-TyperState"> + + </div> + <div class="member-body-long" id ="long-body-TyperState"> + + </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="Types$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Types$');">[+]</span> <span class="member-annotations"> </span> @@ -7064,12 +8156,29 @@ Used to capture the attributes of type parameters which can be implemented as ei </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Types$"> + + </div> + <div class="member-body-long" id ="long-body-Types$"> + + </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="Uniques$" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Uniques$');">[+]</span> <span class="member-annotations"> </span> @@ -7093,12 +8202,32 @@ Used to capture the attributes of type parameters which can be implemented as ei </div><!-- end member-title --> <div class="member-body"> - <p>Defines operation <code>unique</code> for hash-consing types. + <div class="member-body-short" id="short-body-Uniques$"> + <p>Defines operation <code>unique</code> for hash-consing types. Also defines specialized hash sets for hash consing uniques of a specific type. All sets offer a <code>enterI...</code> </p> + </div> + <div class="member-body-long" id ="long-body-Uniques$"> + <p>Defines operation <code>unique</code> for hash-consing types. +Also defines specialized hash sets for hash consing uniques of a specific type. +All sets offer a <code>enterIfNew</code> method which checks whether a type +with the given parts exists already and creates a new one if not.</p> + + </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> |