EtaExpansion

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 asInstanceOf [T0] : T0

   Attributes

   final

   Definition Classes

   Any

7. def clone (): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

8. def eq (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

9. def equals (arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

10. def etaExpand (unit: CompilationUnit, tree: Tree): Tree

    Expand partial function applications of type type.

    Expand partial function applications of type type.

     p.f(es_1)...(es_n)
        ==>  {
               private synthetic val eta$f   = p.f   // if p is not stable
               ...
               private synthetic val eta$e_i = e_i    // if e_i is not stable
               ...
               (ps_1 => ... => ps_m => eta$f([es_1])...([es_m])(ps_1)...(ps_m))
             }
    

    tree is already attributed

11. object etaExpansion extends AnyRef

12. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef → Any

14. def hashCode (): Int

    Definition Classes

    AnyRef → Any

15. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

16. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

17. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

18. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

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

    Attributes

    final

    Definition Classes

    AnyRef

20. def toString (): String

    Definition Classes

    AnyRef → Any

21. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

23. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()