deskolemize

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def andThen(f: (Type) ⇒ Type): TypeMap

   

   Definition Classes

   TypeMap

5. def andThen[A](g: (Type) ⇒ A): (Type) ⇒ A

   

   Definition Classes

   Function1

   Annotations

   @unspecialized()

6. def apply(tp: Type): Type

   

   Definition Classes

   deskolemize → TypeMap → Function1

7. def approx(lo: Type = defn.NothingType, hi: Type = defn.AnyType): Type

   

   Definition Classes

   ApproximatingTypeMap

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def compose[A](g: (A) ⇒ Type): (A) ⇒ Type

    

    Definition Classes

    Function1

    Annotations

    @unspecialized()

11. implicit val ctx: Context

    

    Attributes

    protected

    Definition Classes

    TypeMap

12. def derivedAndOrType(tp: AndOrType, tp1: Type, tp2: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

13. def derivedAnnotatedType(tp: AnnotatedType, underlying: Type, annot: Annotation): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

14. def derivedAppliedType(tp: HKApply, tycon: Type, args: List[Type]): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

15. def derivedClassInfo(tp: ClassInfo, pre: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

16. def derivedExprType(tp: ExprType, restpe: Type): Type

    

    Attributes

    protected

    Definition Classes

    TypeMap

17. def derivedJavaArrayType(tp: JavaArrayType, elemtp: Type): Type

    

    Attributes

    protected

    Definition Classes

    TypeMap

18. def derivedMethodType(tp: MethodType, formals: List[Type], restpe: Type): Type

    

    Attributes

    protected

    Definition Classes

    TypeMap

19. def derivedPolyType(tp: PolyType, pbounds: List[TypeBounds], restpe: Type): Type

    

    Attributes

    protected

    Definition Classes

    TypeMap

20. def derivedRecType(tp: RecType, parent: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

21. def derivedRefinedType(tp: RefinedType, parent: Type, info: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

22. def derivedSelect(tp: NamedType, pre: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

23. def derivedSuperType(tp: SuperType, thistp: Type, supertp: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

24. def derivedTypeAlias(tp: TypeAlias, alias: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

25. def derivedTypeBounds(tp: TypeBounds, lo: Type, hi: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

26. def derivedWildcardType(tp: WildcardType, bounds: Type): Type

    

    Attributes

    protected

    Definition Classes

    ApproximatingTypeMap → TypeMap

27. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

28. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

29. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

30. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

31. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

32. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

33. def mapClassInfo(tp: ClassInfo): Type

    

    Can be overridden.

    Can be overridden. By default, only the prefix is mapped.

    Attributes

    protected

    Definition Classes

    TypeMap

34. def mapOver(tree: ast.tpd.Tree): ast.tpd.Tree

    

    Definition Classes

    TypeMap

35. def mapOver(annot: Annotation): Annotation

    

    Definition Classes

    TypeMap

36. def mapOver(scope: Scope): Scope

    

    Definition Classes

    TypeMap

37. def mapOver(syms: List[Symbol]): List[Symbol]

    

    Definition Classes

    TypeMap

38. def mapOver(tp: Type): Type

    

    Map this function over given type

    Map this function over given type

    Definition Classes

    TypeMap

39. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

40. final def notify(): Unit

    

    Definition Classes

    AnyRef

41. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

42. def stopAtStatic: Boolean

    

    Attributes

    protected

    Definition Classes

    TypeMap

43. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

44. def toString(): String

    

    Definition Classes

    Function1 → AnyRef → Any

45. var variance: Int

    

    Attributes

    protected

    Definition Classes

    TypeMap

46. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )