From ee7de4c03e93c83ef21b1c96f24d034e04dc989c Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Thu, 6 Apr 2017 12:38:46 +0000 Subject: Update gh-pages site for 09cc23726069fa04cbfeec55a9fa4bb8e4a02ff9 --- api/dotty/tools/dotc/core/Types$/Type.html | 306 ++++++++++++++--------------- 1 file changed, 145 insertions(+), 161 deletions(-) (limited to 'api/dotty/tools/dotc/core/Types$/Type.html') 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 @@ + + + +
  • +
    + + O + + T +
    + ParamInfo +
    • + + +
  • @@ -1109,16 +1124,6 @@ -
  • -
    - - T -
    - TypeParamInfo -
    • - - -
  • @@ -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.

    -
    -
    - - - - - - - - - def - - - - LambdaAbstract - - - - - - ( - - - - tparams: - - List -[ -TypeParamInfo -] - - - ) - - ( - - implicit - - - - ctx: - - Context - - - ) - - - - - - - : Type - -
    - -
    -
    -

    Lambda abstract self with given type parameters. Examples:

    -
    type T[X] = U        becomes    type T = [X] -> U
-type T[X] >: L <: U  becomes    type T >: L <: ([X] -> U)
-
    -

    TODO: Handle parameterized lower bounds

    - -
    -
    -

    Lambda abstract self with given type parameters. Examples:

    -
    type T[X] = U        becomes    type T = [X] -> U
-type T[X] >: L <: U  becomes    type T >: L <: ([X] -> U)
-
    -

    TODO: Handle parameterized lower bounds

    - -
    -
    - -
    -
    @@ -6339,9 +6258,9 @@ is covariant is irrelevant, so can be ignored.

    -
    +
    - + @@ -6363,12 +6282,17 @@ is covariant is irrelevant, so can be ignored.

    - args: + arg1: - List -[ -Type -] + Type + + , + + + + arg2: + + Type ) @@ -6396,17 +6320,11 @@ Type
    -
    -

    The type representing

    -

    T[U1, ..., Un]

    -

    where

    - +
    +
    -
    -

    The type representing

    -

    T[U1, ..., Un]

    -

    where

    - +
    +
    -
    +
    - + @@ -6520,17 +6438,12 @@ Type - arg1: - - Type - - , - - - - arg2: + args: - Type + List +[ +Type +] ) @@ -6558,11 +6471,17 @@ Type
    -
    - +
    +

    The type representing

    +

    T[U1, ..., Un]

    +

    where

    +
    -
    - +
    +

    The type representing

    +

    T[U1, ..., Un]

    +

    where

    +
    -
    +
    - + @@ -13213,7 +13132,7 @@ each other.

    - paramNamess + paramInfoss @@ -13241,19 +13160,19 @@ each other.

    [ List [ -TermName +Type ] ]
    -
    -

    The parameter names of a PolyType or MethodType, Empty list for others

    +
    +

    The parameter types of a PolyType or MethodType, Empty list for others

    -
    -

    The parameter names of a PolyType or MethodType, Empty list for others

    +
    +

    The parameter types of a PolyType or MethodType, Empty list for others

    @@ -13270,9 +13189,9 @@ TermName
    -
    +
    - + @@ -13284,7 +13203,7 @@ TermName - paramTypess + paramNamess @@ -13312,19 +13231,19 @@ TermName [ List [ -Type +TermName ] ]
    -
    -

    The parameter types of a PolyType or MethodType, Empty list for others

    +
    +

    The parameter names of a PolyType or MethodType, Empty list for others

    -
    -

    The parameter types of a PolyType or MethodType, Empty list for others

    +
    +

    The parameter names of a PolyType or MethodType, Empty list for others

    @@ -13599,11 +13518,11 @@ Type
    -

    The resultType of a PolyType, MethodType, or ExprType, the type itself for others

    +

    The resultType of a LambdaType, or ExprType, the type itself for others

    -

    The resultType of a PolyType, MethodType, or ExprType, the type itself for others

    +

    The resultType of a LambdaType, or ExprType, the type itself for others

    @@ -14430,6 +14349,71 @@ maps poly params in the current constraint set back to their type vars.

    +
    +
    + + + + + + + + + def + + + + stripPoly + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
    + +
    +
    +

    Strip PolyType prefix

    + +
    +
    +

    Strip PolyType prefix

    + +
    +
    + +
    +
    @@ -14652,13 +14636,13 @@ one of the symbols in from by the corresponding types in to
    -

    Substitute all types of the form PolyParam(from, N) by -PolyParam(to, N).

    +

    Substitute all types of the form TypeParamRef(from, N) by +TypeParamRef(to, N).

    -

    Substitute all types of the form PolyParam(from, N) by -PolyParam(to, N).

    +

    Substitute all types of the form TypeParamRef(from, N) by +TypeParamRef(to, N).

    @@ -14799,7 +14783,7 @@ the type parameters.

    from: - ParamType + ParamRef , @@ -15377,7 +15361,7 @@ Symbol tparam: - TypeParamInfo + ParamInfo ) -- cgit v1.2.3