Class/Object

scala.meta.internal.semanticdb

ExistentialType

Related Docs: object ExistentialType | package semanticdb

Permalink

final case class ExistentialType(tpe: Type = ..., declarations: Option[Scope] = None) extends Type with GeneratedMessage with Message[ExistentialType] with Updatable[ExistentialType] with Product with Serializable

Annotations
@SerialVersionUID()
Linear Supertypes
Product, Equals, Updatable[ExistentialType], Message[ExistentialType], GeneratedMessage, Serializable, java.io.Serializable, Type, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExistentialType
  2. Product
  3. Equals
  4. Updatable
  5. Message
  6. GeneratedMessage
  7. Serializable
  8. Serializable
  9. Type
  10. AnyRef
  11. Any
Implicitly
  1. by XtensionSemanticdbType
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExistentialType(tpe: Type = ..., declarations: Option[Scope] = None)

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to any2stringadd[ExistentialType] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd

  4. def ->[B](y: B): (ExistentialType, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to ArrowAssoc[ExistentialType] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    AnyRef → Any

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  7. def clearDeclarations: ExistentialType

    Permalink

  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. def companion: ExistentialType.type

    Permalink
    Definition Classes
    ExistentialType → GeneratedMessage

  10. val declarations: Option[Scope]

    Permalink

  11. def ensuring(cond: (ExistentialType) ⇒ Boolean, msg: ⇒ Any): ExistentialType

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to Ensuring[ExistentialType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  12. def ensuring(cond: (ExistentialType) ⇒ Boolean): ExistentialType

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to Ensuring[ExistentialType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  13. def ensuring(cond: Boolean, msg: ⇒ Any): ExistentialType

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to Ensuring[ExistentialType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  14. def ensuring(cond: Boolean): ExistentialType

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to Ensuring[ExistentialType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

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

    Permalink
    Definition Classes
    AnyRef

  16. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  17. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to StringFormat[ExistentialType] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    AnyRef → Any

  19. def getDeclarations: Scope

    Permalink

  20. def getField(__field: FieldDescriptor): PValue

    Permalink
    Definition Classes
    ExistentialType → GeneratedMessage

  21. def getFieldByNumber(__fieldNumber: Int): Any

    Permalink
    Definition Classes
    ExistentialType → GeneratedMessage

  22. final def isDefined: Boolean

    Permalink
    Definition Classes
    Type

  23. final def isEmpty: Boolean

    Permalink
    Definition Classes
    Type

  24. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  25. def mergeFrom(_input__: CodedInputStream): ExistentialType

    Permalink
    Definition Classes
    ExistentialType → Message

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

    Permalink
    Definition Classes
    AnyRef

  27. def nonEmpty: Boolean

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to XtensionSemanticdbType performed by method XtensionSemanticdbType in scala.meta.internal.semanticdb.
    Definition Classes
    XtensionSemanticdbType

  28. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  30. final def serializedSize: Int

    Permalink
    Definition Classes
    ExistentialType → GeneratedMessage

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

    Permalink
    Definition Classes
    AnyRef

  32. def toByteArray: Array[Byte]

    Permalink
    Definition Classes
    GeneratedMessage

  33. def toByteString: ByteString

    Permalink
    Definition Classes
    GeneratedMessage

  34. def toPMessage: PMessage

    Permalink
    Definition Classes
    GeneratedMessage

  35. def toProtoString: String

    Permalink
    Definition Classes
    ExistentialType → GeneratedMessage

  36. final def toTypeMessage: TypeMessage

    Permalink
    Definition Classes
    Type

  37. val tpe: Type

    Permalink

  38. def update(ms: (Lens[ExistentialType, ExistentialType]) ⇒ Mutation[ExistentialType]*): ExistentialType

    Permalink
    Definition Classes
    Updatable

  39. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  42. def withDeclarations(__v: Scope): ExistentialType

    Permalink

  43. def withTpe(__v: Type): ExistentialType

    Permalink

  44. def writeDelimitedTo(output: OutputStream): Unit

    Permalink
    Definition Classes
    GeneratedMessage

  45. def writeTo(_output__: CodedOutputStream): Unit

    Permalink
    Definition Classes
    ExistentialType → GeneratedMessage

  46. def writeTo(output: OutputStream): Unit

    Permalink
    Definition Classes
    GeneratedMessage

  47. def →[B](y: B): (ExistentialType, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExistentialType to ArrowAssoc[ExistentialType] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Deprecated Value Members

  1. def getAllFields: Map[FieldDescriptor, Any]

    Permalink
    Definition Classes
    GeneratedMessage
    Annotations
    @deprecated
    Deprecated

    (Since version 0.6.0) Use toPMessage

  2. def getField(field: FieldDescriptor): Any

    Permalink
    Definition Classes
    GeneratedMessage
    Annotations
    @deprecated
    Deprecated

    (Since version 0.6.0) Use getField that accepts a ScalaPB descriptor and returns PValue

Inherited from Product

Inherited from Equals

Inherited from Updatable[ExistentialType]

Inherited from Message[ExistentialType]

Inherited from GeneratedMessage

Inherited from Serializable

Inherited from java.io.Serializable

Inherited from Type

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion XtensionSemanticdbType from ExistentialType to XtensionSemanticdbType

Inherited by implicit conversion any2stringadd from ExistentialType to any2stringadd[ExistentialType]

Inherited by implicit conversion StringFormat from ExistentialType to StringFormat[ExistentialType]

Inherited by implicit conversion Ensuring from ExistentialType to Ensuring[ExistentialType]

Inherited by implicit conversion ArrowAssoc from ExistentialType to ArrowAssoc[ExistentialType]

Ungrouped