Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 457 insertions, 25 deletions

diff --git a/api/dotty/tools/dotc/core/Mode$.html b/api/dotty/tools/dotc/core/Mode$.html
index 747612fcf..d8916aa67 100644
--- a/api/dotty/tools/dotc/core/Mode$.html
+++ b/api/dotty/tools/dotc/core/Mode$.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             final
         </span>
@@ -5330,16 +5333,29 @@
         <span id="entity-name">
             Mode
         </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="AllowDependentFunctions" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'AllowDependentFunctions');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5365,15 +5381,35 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Allow dependent functions. This is currently necessary for unpickling, because
+                <div class="member-body-short" id="short-body-AllowDependentFunctions">
+                    <p>Allow dependent functions. This is currently necessary for unpickling, because
 some dependent functions are passed through from the front end(s?), even...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-AllowDependentFunctions">
+                    <p>Allow dependent functions. This is currently necessary for unpickling, because
+some dependent functions are passed through from the front end(s?), even though they
+are technically speaking illegal.</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="AllowLambdaWildcardApply" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'AllowLambdaWildcardApply');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5399,14 +5435,33 @@ some dependent functions are passed through from the front end(s?), even...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Allow hk applications of type lambdas to wildcard arguments;
+                <div class="member-body-short" id="short-body-AllowLambdaWildcardApply">
+                    <p>Allow hk applications of type lambdas to wildcard arguments;
 used for checking that such applications do not normally arise</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-AllowLambdaWildcardApply">
+                    <p>Allow hk applications of type lambdas to wildcard arguments;
+used for checking that such applications do not normally arise</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="CheckCyclic" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'CheckCyclic');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5432,12 +5487,29 @@ used for checking that such applications do not normally arise</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-CheckCyclic">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-CheckCyclic">
+                    
+                </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="GADTflexible" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'GADTflexible');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5463,13 +5535,31 @@ used for checking that such applications do not normally arise</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Allow GADTFlexType labelled types to have their bounds adjusted</p>
+                <div class="member-body-short" id="short-body-GADTflexible">
+                    <p>Allow GADTFlexType labelled types to have their bounds adjusted</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-GADTflexible">
+                    <p>Allow GADTFlexType labelled types to have their bounds adjusted</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="ImplicitExploration" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ImplicitExploration');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5495,15 +5585,35 @@ used for checking that such applications do not normally arise</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>We are currently in a <code>viewExists</code> check. In that case, ambiguous
+                <div class="member-body-short" id="short-body-ImplicitExploration">
+                    <p>We are currently in a <code>viewExists</code> check. In that case, ambiguous
+implicits checks are disabled and we succeed with the first implicit
+found.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-ImplicitExploration">
+                    <p>We are currently in a <code>viewExists</code> check. In that case, ambiguous
 implicits checks are disabled and we succeed with the first implicit
 found.</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="ImplicitShadowing" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ImplicitShadowing');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5529,14 +5639,33 @@ found.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>We are currently typechecking an ident to determine whether some implicit
+                <div class="member-body-short" id="short-body-ImplicitShadowing">
+                    <p>We are currently typechecking an ident to determine whether some implicit
+is shadowed - don't do any other shadowing tests.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-ImplicitShadowing">
+                    <p>We are currently typechecking an ident to determine whether some implicit
 is shadowed - don't do any other shadowing tests.</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="ImplicitsEnabled" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ImplicitsEnabled');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5562,12 +5691,29 @@ is shadowed - don't do any other shadowing tests.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-ImplicitsEnabled">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-ImplicitsEnabled">
+                    
+                </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="InPackageClauseName" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'InPackageClauseName');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5593,14 +5739,33 @@ is shadowed - don't do any other shadowing tests.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>We are elaborating the fully qualified name of a package clause.
+                <div class="member-body-short" id="short-body-InPackageClauseName">
+                    <p>We are elaborating the fully qualified name of a package clause.
 In this case, identifiers should never be imported.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-InPackageClauseName">
+                    <p>We are elaborating the fully qualified name of a package clause.
+In this case, identifiers should never be imported.</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="InSuperCall" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'InSuperCall');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5626,12 +5791,29 @@ In this case, identifiers should never be imported.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-InSuperCall">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-InSuperCall">
+                    
+                </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="InferringReturnType" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'InferringReturnType');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5657,12 +5839,29 @@ In this case, identifiers should never be imported.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-InferringReturnType">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-InferringReturnType">
+                    
+                </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="None" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'None');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5688,12 +5887,29 @@ In this case, identifiers should never be imported.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-None">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-None">
+                    
+                </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="OldOverloadingResolution" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'OldOverloadingResolution');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5719,13 +5935,31 @@ In this case, identifiers should never be imported.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Use Scala2 scheme for overloading and implicit resolution</p>
+                <div class="member-body-short" id="short-body-OldOverloadingResolution">
+                    <p>Use Scala2 scheme for overloading and implicit resolution</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-OldOverloadingResolution">
+                    <p>Use Scala2 scheme for overloading and implicit resolution</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="Pattern" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'Pattern');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5751,12 +5985,29 @@ In this case, identifiers should never be imported.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-Pattern">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-Pattern">
+                    
+                </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="PatternOrType" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'PatternOrType');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5782,12 +6033,29 @@ In this case, identifiers should never be imported.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-PatternOrType">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-PatternOrType">
+                    
+                </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="Printing" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'Printing');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5813,14 +6081,33 @@ In this case, identifiers should never be imported.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>We are currently printing something: avoid to produce more logs about
+                <div class="member-body-short" id="short-body-Printing">
+                    <p>We are currently printing something: avoid to produce more logs about
+the printing</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-Printing">
+                    <p>We are currently printing something: avoid to produce more logs about
 the printing</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="ReadPositions" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ReadPositions');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5846,13 +6133,31 @@ the printing</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Read original positions when unpickling from TASTY</p>
+                <div class="member-body-short" id="short-body-ReadPositions">
+                    <p>Read original positions when unpickling from TASTY</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-ReadPositions">
+                    <p>Read original positions when unpickling from TASTY</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="Scala2Unpickling" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2Unpickling');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5878,13 +6183,31 @@ the printing</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>We are currently unpickling Scala2 info</p>
+                <div class="member-body-short" id="short-body-Scala2Unpickling">
+                    <p>We are currently unpickling Scala2 info</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-Scala2Unpickling">
+                    <p>We are currently unpickling Scala2 info</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="Type" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'Type');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5910,12 +6233,29 @@ the printing</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-Type">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-Type">
+                    
+                </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="TypevarsMissContext" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'TypevarsMissContext');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5941,16 +6281,38 @@ the printing</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>This mode bit is set if we collect information without reference to a valid
+                <div class="member-body-short" id="short-body-TypevarsMissContext">
+                    <p>This mode bit is set if we collect information without reference to a valid
 context with typerstate and constraint. This is typically done when we
 cache...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-TypevarsMissContext">
+                    <p>This mode bit is set if we collect information without reference to a valid
+context with typerstate and constraint. This is typically done when we
+cache the eligibility of implicits. Caching needs to be done across different constraints.
+Therefore, if TypevarsMissContext is set, subtyping becomes looser, and assumes
+that PolyParams can be sub- and supertypes of anything. See TypeComparer.</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="modeName" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'modeName');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5971,17 +6333,37 @@ cache...
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+String
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-modeName">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-modeName">
+                    
+                </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="apply(bits)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'apply(bits)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6020,12 +6402,29 @@ cache...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-apply(bits)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-apply(bits)">
+                    
+                </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="newMode(bit,name)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newMode(bit,name)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6072,12 +6471,29 @@ cache...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-newMode(bit,name)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-newMode(bit,name)">
+                    
+                </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="unapply(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6116,8 +6532,24 @@ cache...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-unapply(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-unapply(x$1)">
+                    
+                </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>