diff options
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$/Type.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 306 |
1 files changed, 145 insertions, 161 deletions
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index b5e9e38ef..a31e6f148 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -5471,10 +5476,10 @@ | | +--- ThisType | | +--- SuperType | | +--- ConstantType - | | +--- MethodParam + | | +--- TermParamRef | | +----RecThis | | +--- SkolemType - | +- PolyParam + | +- TypeParamRef | +- RefinedOrRecType -+-- RefinedType | | -+-- RecType | +- HKApply @@ -5482,12 +5487,13 @@ | +- ExprType | +- AnnotatedType | +- TypeVar - | +- PolyType + | +- HKTypeLambda | +- GroundType -+- AndType +- OrType - +- MethodType -----+- ImplicitMethodType - | +- JavaMethodType + +- MethodOrPoly ---+-- PolyType + +-- MethodType ---+- ImplicitMethodType + | +- JavaMethodType +- ClassInfo | +- NoType @@ -6003,93 +6009,6 @@ v1 is compatible with v2, if v1 = v2 or v2 is non-variant.</p> </script> </div><!-- end member --> - <div id="LambdaAbstract(tparams)(ctx)" class="member "> - <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LambdaAbstract(tparams)(ctx)');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - LambdaAbstract - - </span> - - - - <span class="no-left">(</span> - - - <span class="no-left"> - tparams: - </span> - List -<span class="no-left no-right">[</span> -TypeParamInfo -<span class="no-left">]</span> - - - <span class="no-left">)</span> - - <span class="no-left">(</span> - - <span class="no-left keyword">implicit</span> - - - <span class="no-left"> - ctx: - </span> - Context - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: Type</span> - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-LambdaAbstract(tparams)(ctx)"> - <p>Lambda abstract <code>self</code> with given type parameters. Examples:</p> -<pre><code>type T[X] = U becomes type T = [X] -> U -type T[X] >: L <: U becomes type T >: L <: ([X] -> U) -</code></pre> -<p>TODO: Handle parameterized lower bounds</p> - - </div> - <div class="member-body-long" id ="long-body-LambdaAbstract(tparams)(ctx)"> - <p>Lambda abstract <code>self</code> with given type parameters. Examples:</p> -<pre><code>type T[X] = U becomes type T = [X] -> U -type T[X] >: L <: U becomes type T >: L <: ([X] -> U) -</code></pre> -<p>TODO: Handle parameterized lower bounds</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="abstractTermMembers(ctx)" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'abstractTermMembers(ctx)');">[+]</span> @@ -6339,9 +6258,9 @@ is covariant is irrelevant, so can be ignored.</p> </script> </div><!-- end member --> - <div id="appliedTo(args)(ctx)" class="member "> + <div id="appliedTo(arg1,arg2)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6363,12 +6282,17 @@ is covariant is irrelevant, so can be ignored.</p> <span class="no-left"> - args: + arg1: </span> - List -<span class="no-left no-right">[</span> -Type -<span class="no-left">]</span> + Type + + <span class="no-left">, </span> + + + <span class=""> + arg2: + </span> + Type <span class="no-left">)</span> @@ -6396,17 +6320,11 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)"> + </div> - <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)"> + </div> </div> <script> @@ -6496,9 +6414,9 @@ Type </script> </div><!-- end member --> - <div id="appliedTo(arg1,arg2)(ctx)" class="member "> + <div id="appliedTo(args)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6520,17 +6438,12 @@ Type <span class="no-left"> - arg1: - </span> - Type - - <span class="no-left">, </span> - - - <span class=""> - arg2: + args: </span> - Type + List +<span class="no-left no-right">[</span> +Type +<span class="no-left">]</span> <span class="no-left">)</span> @@ -6558,11 +6471,17 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)"> - + <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> - <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)"> - + <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> </div> <script> @@ -9245,7 +9164,7 @@ flags in <code>excluded</code> from consideration.</p> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'firstParamTypes(ctx)');">[+]</span> <span class="member-annotations"> - @tailrec + </span> <span class="member-modifiers"> final @@ -10578,7 +10497,7 @@ be refined later.</p> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isParameterless(ctx)');">[+]</span> <span class="member-annotations"> - @tailrec + </span> <span class="member-modifiers"> final @@ -13199,9 +13118,9 @@ each other.</p> </script> </div><!-- end member --> - <div id="paramNamess(ctx)" class="member "> + <div id="paramInfoss(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramNamess(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramInfoss(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13213,7 +13132,7 @@ each other.</p> </span> <span class="member-name "> - paramNamess + paramInfoss </span> @@ -13241,19 +13160,19 @@ each other.</p> <span class="no-left no-right">[</span> List <span class="no-left no-right">[</span> -TermName +Type <span class="no-left">]</span> <span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-paramNamess(ctx)"> - <p>The parameter names of a PolyType or MethodType, Empty list for others</p> + <div class="member-body-short" id="short-body-paramInfoss(ctx)"> + <p>The parameter types of a PolyType or MethodType, Empty list for others</p> </div> - <div class="member-body-long" id ="long-body-paramNamess(ctx)"> - <p>The parameter names of a PolyType or MethodType, Empty list for others</p> + <div class="member-body-long" id ="long-body-paramInfoss(ctx)"> + <p>The parameter types of a PolyType or MethodType, Empty list for others</p> </div> </div> @@ -13270,9 +13189,9 @@ TermName </script> </div><!-- end member --> - <div id="paramTypess(ctx)" class="member "> + <div id="paramNamess(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramTypess(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramNamess(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13284,7 +13203,7 @@ TermName </span> <span class="member-name "> - paramTypess + paramNamess </span> @@ -13312,19 +13231,19 @@ TermName <span class="no-left no-right">[</span> List <span class="no-left no-right">[</span> -Type +TermName <span class="no-left">]</span> <span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-paramTypess(ctx)"> - <p>The parameter types of a PolyType or MethodType, Empty list for others</p> + <div class="member-body-short" id="short-body-paramNamess(ctx)"> + <p>The parameter names of a PolyType or MethodType, Empty list for others</p> </div> - <div class="member-body-long" id ="long-body-paramTypess(ctx)"> - <p>The parameter types of a PolyType or MethodType, Empty list for others</p> + <div class="member-body-long" id ="long-body-paramNamess(ctx)"> + <p>The parameter names of a PolyType or MethodType, Empty list for others</p> </div> </div> @@ -13599,11 +13518,11 @@ Type <div class="member-body"> <div class="member-body-short" id="short-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> <div class="member-body-long" id ="long-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> </div> @@ -14430,6 +14349,71 @@ maps poly params in the current constraint set back to their type vars.</p> </script> </div><!-- end member --> + <div id="stripPoly(ctx)" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'stripPoly(ctx)');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + stripPoly + + </span> + + + + <span class="no-left">(</span> + + <span class="no-left keyword">implicit</span> + + + <span class="no-left"> + ctx: + </span> + Context + + + <span class="no-left">)</span> + + + + + + + <span class="no-left">: Type</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-stripPoly(ctx)"> + <p>Strip PolyType prefix</p> + + </div> + <div class="member-body-long" id ="long-body-stripPoly(ctx)"> + <p>Strip PolyType prefix</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="stripTypeVar(ctx)" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'stripTypeVar(ctx)');">[+]</span> @@ -14652,13 +14636,13 @@ one of the symbols in <code>from</code> by the corresponding types in <code>to</ <div class="member-body"> <div class="member-body-short" id="short-body-subst(from,to)(ctx)"> - <p>Substitute all types of the form <code>PolyParam(from, N)</code> by -<code>PolyParam(to, N)</code>.</p> + <p>Substitute all types of the form <code>TypeParamRef(from, N)</code> by +<code>TypeParamRef(to, N)</code>.</p> </div> <div class="member-body-long" id ="long-body-subst(from,to)(ctx)"> - <p>Substitute all types of the form <code>PolyParam(from, N)</code> by -<code>PolyParam(to, N)</code>.</p> + <p>Substitute all types of the form <code>TypeParamRef(from, N)</code> by +<code>TypeParamRef(to, N)</code>.</p> </div> </div> @@ -14799,7 +14783,7 @@ the type parameters.</p> <span class="no-left"> from: </span> - ParamType + ParamRef <span class="no-left">, </span> @@ -15377,7 +15361,7 @@ Symbol <span class="no-left"> tparam: </span> - TypeParamInfo + ParamInfo <span class="no-left">)</span> |