final case class Refinement(reference: AppliedReference, decls: Set[RefinementDecl]) extends AppliedReferenceExceptIntersection with AppliedReferenceExceptUnion with Product with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Refinement
  2. Product
  3. Equals
  4. AppliedReferenceExceptUnion
  5. AppliedReferenceExceptIntersection
  6. AppliedReference
  7. AbstractReference
  8. LightTypeTagRef
  9. Serializable
  10. LTTSyntax
  11. AnyRef
  12. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Refinement(reference: AppliedReference, decls: Set[RefinementDecl])

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  6. final def combine(args: Seq[LightTypeTagRef]): AbstractReference
    Definition Classes
    LightTypeTagRef
  7. final def combineImpl(args: Seq[LightTypeTagRef]): AbstractReference
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  8. final def combineNonPos(args: Seq[Option[LightTypeTagRef]]): AbstractReference
    Definition Classes
    LightTypeTagRef
  9. final def combineNonPosImpl(args: Seq[Option[LightTypeTagRef]]): AbstractReference
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  10. val decls: Set[RefinementDecl]
  11. final def decompose: Set[AppliedReferenceExceptIntersection]

    decompose intersection type

    decompose intersection type

    Definition Classes
    LightTypeTagRef
  12. final def decomposeImpl: Set[AppliedReferenceExceptIntersection]

    decompose intersection type

    decompose intersection type

    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  13. final def decomposeUnion: Set[AppliedReferenceExceptUnion]
    Definition Classes
    LightTypeTagRef
  14. final def decomposeUnionImpl: Set[AppliedReferenceExceptUnion]
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. final def getPrefix: Option[AppliedReference]
    Definition Classes
    LightTypeTagRef
  19. final def getPrefixImpl: Option[AppliedReference]
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  20. lazy val hashCode: Int
    Definition Classes
    Refinement → AnyRef → Any
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. final def longNameInternalSymbol: String
    Definition Classes
    LightTypeTagRef
  23. final def longNameInternalSymbolImpl: String
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  24. final def longNameWithPrefix: String
    Definition Classes
    LightTypeTagRef
  25. final def longNameWithPrefixImpl: String
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. def productElementNames: Iterator[String]
    Definition Classes
    Product
  30. val reference: AppliedReference
  31. final def repr: String

    Fully-qualified rendering of a type, including packages and prefix types.

    Fully-qualified rendering of a type, including packages and prefix types. Use toString for a rendering that omits package names

    Definition Classes
    LightTypeTagRef
  32. final def reprImpl: String

    Fully-qualified rendering of a type, including packages and prefix types.

    Fully-qualified rendering of a type, including packages and prefix types. Use toString for a rendering that omits package names

    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  33. final def scalaStyledName: String
    Definition Classes
    LightTypeTagRef
  34. final def scalaStyledNameImpl: String
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  35. final def shortName: String
    Definition Classes
    LightTypeTagRef
  36. final def shortNameImpl: String
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  37. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  38. final def toString(): String

    Render to string, omitting package names

    Render to string, omitting package names

    Definition Classes
    LightTypeTagRef → AnyRef → Any
  39. final def toStringImpl: String

    Render to string, omitting package names

    Render to string, omitting package names

    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  40. final def typeArgs: List[AbstractReference]
    Definition Classes
    LightTypeTagRef
  41. final def typeArgsImpl: List[AbstractReference]
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  44. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  45. final def withoutArgs: AbstractReference
    Definition Classes
    LightTypeTagRef
  46. final def withoutArgsImpl: AbstractReference
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax

Deprecated Value Members

  1. final def longName: String
    Definition Classes
    LightTypeTagRef
    Annotations
    @deprecated
    Deprecated

    (Since version 2.2.2) Produces Scala version dependent output, with incorrect prefixes for types with value prefixes. Use longNameWithPrefix instead, or longNameInternalSymbol for old behavior

  2. final def longNameImpl: String
    Attributes
    protected[this]
    Definition Classes
    LTTSyntax
    Annotations
    @deprecated
    Deprecated

    (Since version 2.2.2) Produces Scala version dependent output, with incorrect prefixes for types with value prefixes. Use longNameWithPrefix instead, or longNameInternalSymbol for old behavior

Inherited from Product

Inherited from Equals

Inherited from AppliedReferenceExceptUnion

Inherited from AppliedReferenceExceptIntersection

Inherited from AppliedReference

Inherited from AbstractReference

Inherited from LightTypeTagRef

Inherited from Serializable

Inherited from LTTSyntax

Inherited from AnyRef

Inherited from Any

Ungrouped