From 881c3b182fda1036d5a507d08ff85f7709d70703 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Fri, 3 Feb 2017 18:05:53 +0000 Subject: Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359 --- api/dotty/tools/dotc/core/TypeApplications$.html | 272 +++++++++++++++++++++-- 1 file changed, 257 insertions(+), 15 deletions(-) (limited to 'api/dotty/tools/dotc/core/TypeApplications$.html') diff --git a/api/dotty/tools/dotc/core/TypeApplications$.html b/api/dotty/tools/dotc/core/TypeApplications$.html index 44bde6514..d92668ef7 100644 --- a/api/dotty/tools/dotc/core/TypeApplications$.html +++ b/api/dotty/tools/dotc/core/TypeApplications$.html @@ -5321,6 +5321,9 @@
+ + + final @@ -5330,16 +5333,29 @@ TypeApplications + +
-

Members

+

+ Constructors +

+ +
+ +
+ +

+ Members +

+ [+] @@ -5363,15 +5379,35 @@
-

Extractor for type application T[U_1, ..., U_n]. This is the refined type

+
+

Extractor for type application T[U_1, ..., U_n]. This is the refined type

T { type p_1 v_1= U_1; ...; type p_n v_n= U_n }

where v_i, p_i are the variances...

+
+
+

Extractor for type application T[U_1, ..., U_n]. This is the refined type

+

T { type p_1 v_1= U_1; ...; type p_n v_n= U_n }

+

where v_i, p_i are the variances and names of the type parameters of T.

+ +
+
+ [+] @@ -5395,16 +5431,37 @@
-

Extractor for

+
+

Extractor for

[v1 X1: B1, ..., vn Xn: Bn] -> C[X1, ..., Xn]

where v1, ..., vn and B1, ..., Bn are the variances and bounds of the type parameters of the clas...

+
+
+

Extractor for

+

[v1 X1: B1, ..., vn Xn: Bn] -> C[X1, ..., Xn]

+

where v1, ..., vn and B1, ..., Bn are the variances and bounds of the type parameters +of the class C.

+ +
+
+ [+] @@ -5428,7 +5485,8 @@ of the clas...

-

A type map that tries to reduce (part of) the result type of the type lambda tycon +

+

A type map that tries to reduce (part of) the result type of the type lambda tycon with the given args(some of which are wildcard arguments represented...

    @@ -5447,11 +5505,64 @@ with the given args(some of which are wildcard arguments represente

    +
    +
    +

    A type map that tries to reduce (part of) the result type of the type lambda tycon +with the given args(some of which are wildcard arguments represented by type bounds). +Non-wildcard arguments are substituted everywhere as usual. A wildcard argument +>: L <: H is substituted for a type lambda parameter X only under certain conditions.

    +
      +
    1. +

      If Mode.AllowLambdaWildcardApply is set: +The wildcard argument is substituted only if X appears in a toplevel refinement of the form

      +

      { type A = X }

      +
      2. +
    +

    and there are no other occurrences of X in the reduced type. In that case +the refinement above is replaced by

    +
      { type A >: L <: U }
+
    +

    The allReplaced field indicates whether all occurrences of type lambda parameters +in the reduced type have been replaced with arguments.

    +
      +
    1. +

      If Mode.AllowLambdaWildcardApply is not set: +All refinements of the form

      +

      { type A = X }

      +
      2. +
    +

    are replaced by:

    +
      { type A >: L <: U }
+
    +

    Any other occurrence of X in tycon is replaced by U, if the +occurrence of X in tycon is covariant, or nonvariant, or by L, +if the occurrence is contravariant.

    +

    The idea is that the AllowLambdaWildcardApply mode is used to check whether +a type can be soundly reduced, and to give an error or warning if that +is not the case. By contrast, the default mode, with AllowLambdaWildcardApply +not set, reduces all applications even if this yields a different type, so +its postcondition is that no type parameters of tycon appear in the +result type. Using this mode, we can guarantee that appliedTo will never +produce a higher-kinded application with a type lambda as type constructor.

    + +
    +
    + [+] @@ -5472,18 +5583,36 @@ with the given args(some of which are wildcard arguments represente - : + : Type => Type
    -

    If tp is a TypeBounds instance return its upper bound else return tp

    +
    +

    If tp is a TypeBounds instance return its upper bound else return tp

    + +
    +
    +

    If tp is a TypeBounds instance return its upper bound else return tp

    +
    +
    + [+] @@ -5504,18 +5633,36 @@ with the given args(some of which are wildcard arguments represente - : + : Type => Type
    -

    If tp is a TypeBounds instance return its lower bound else return tp

    +
    +

    If tp is a TypeBounds instance return its lower bound else return tp

    + +
    +
    +

    If tp is a TypeBounds instance return its lower bound else return tp

    +
    +
    + [+] @@ -5536,18 +5683,36 @@ with the given args(some of which are wildcard arguments represente - : + : Type => Type
    -

    Assert type is not a TypeBounds instance and return it unchanged

    +
    +

    Assert type is not a TypeBounds instance and return it unchanged

    + +
    +
    +

    Assert type is not a TypeBounds instance and return it unchanged

    +
    +
    + [+] @@ -5608,18 +5773,39 @@ Type - : List + : List +[ +Type +]
    -

    Adapt all arguments to possible higher-kinded type parameters using etaExpandIfHK

    +
    +

    Adapt all arguments to possible higher-kinded type parameters using etaExpandIfHK

    + +
    +
    +

    Adapt all arguments to possible higher-kinded type parameters using etaExpandIfHK

    +
    +
    + [+] @@ -5666,14 +5852,33 @@ Type
    -

    Does variance v1 conform to variance v2? +

    +

    Does variance v1 conform to variance v2? +This is the case if the variances are the same or sym is nonvariant.

    + +
    +
    +

    Does variance v1 conform to variance v2? This is the case if the variances are the same or sym is nonvariant.

    +
    +
    + [+] @@ -5733,13 +5938,31 @@ This is the case if the variances are the same or sym is nonvariant
    -

    Does the variance of type parameter tparam1 conform to the variance of type parameter tparam2?

    +
    +

    Does the variance of type parameter tparam1 conform to the variance of type parameter tparam2?

    + +
    +
    +

    Does the variance of type parameter tparam1 conform to the variance of type parameter tparam2?

    +
    +
    + [+] @@ -5805,11 +6028,30 @@ TypeParamInfo
    -

    Do the variances of type parameters tparams1 conform to the variances +

    +

    Do the variances of type parameters tparams1 conform to the variances of corresponding type parameters tparams2? This is only the case of tparams1 and t...

    +
    +
    +

    Do the variances of type parameters tparams1 conform to the variances +of corresponding type parameters tparams2? +This is only the case of tparams1 and tparams2 have the same length.

    + +
    +
    -- cgit v1.2.3