Infer

Value Members

1. def != (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

2. def != (arg0: Any): Boolean

   Attributes

   final

   Definition Classes

   Any

3. def ## (): Int

   Attributes

   final

   Definition Classes

   AnyRef → Any

4. def == (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

5. def == (arg0: Any): Boolean

   Attributes

   final

   Definition Classes

   Any

6. def actualArgs (pos: Position, actuals: List[Tree], nformals: Int): List[Tree]

7. def actualTypes (actuals: List[Type], nformals: Int): List[Type]

8. def asInstanceOf [T0] : T0

   Attributes

   final

   Definition Classes

   Any

9. def clone (): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

10. def eq (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

11. def equals (arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

13. def formalTypes (formals: List[Type], nargs: Int, removeByName: Boolean = true, removeRepeated: Boolean = true): List[Type]

    The formal parameter types corresponding to formals.

    The formal parameter types corresponding to formals. If formals has a repeated last parameter, a list of (nargs - params.length + 1) copies of its type is returned. By-name types are replaced with their underlying type.

    removeByName

    allows keeping ByName parameters. Used in NamesDefaults.

    removeRepeated

    allows keeping repeated parameter (if there's one argument). Used in NamesDefaults.

14. def freshVar (tparam: Symbol): TypeVar

    A fresh type variable with given type parameter as origin.

    A fresh type variable with given type parameter as origin.

    tparam

    ...

    returns

    ...

15. def getClass (): java.lang.Class[_]

    Attributes

    final

    Definition Classes

    AnyRef → Any

16. def hashCode (): Int

    Definition Classes

    AnyRef → Any

17. object instantiate extends TypeMap

    Map every TypeVar to its constraint.

18. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

19. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

20. def normalize (tp: Type): Type

    Automatically perform the following conversions on expression types: A method type becomes the corresponding function type.

    Automatically perform the following conversions on expression types: A method type becomes the corresponding function type. A nullary method type becomes its result type. Implicit parameters are skipped. This method seems to be performance critical.

21. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

22. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

23. def skipImplicit (tp: Type): Type

24. def solvedTypes (tvars: List[TypeVar], tparams: List[Symbol], variances: List[Int], upper: Boolean, depth: Int): List[Type]

    Solve constraint collected in types tvars.

    Solve constraint collected in types tvars.

    tvars

    All type variables to be instantiated.

    tparams

    The type parameters corresponding to tvars

    variances

    The variances of type parameters; need to reverse solution direction for all contravariant variables.

    upper

    When true search for max solution else min.

25. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes

    final

    Definition Classes

    AnyRef

26. def toString (): String

    Definition Classes

    AnyRef → Any

27. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

28. def wait (arg0: Long, arg1: Int): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

29. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()