sealed trait Type extends Product

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Type
  2. Product
  3. Equals
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def canEqual(that: Any): Boolean
    Definition Classes
    Equals
  2. abstract def productArity: Int
    Definition Classes
    Product
  3. abstract def productElement(n: Int): Any
    Definition Classes
    Product

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def /(pathElement: String): Path
  4. def <:<(other: Type): Boolean

    true if this type is a subtype of other.

  5. def =:=(other: Type): Boolean

    Is this type equivalent to other.

    Is this type equivalent to other.

    Note that plain == will distinguish types from type aliases, which is typically not desirable, so =:= is usually the most appropriate comparison operator.

  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def asLeaf: Option[Type]

    If the underlying type of this type is a scalar or an enum then yield it otherwise yield None.

  9. def asNamed: Option[NamedType]
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  11. def dealias: Type

    Strip off aliases

  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  14. def exists: Boolean

    true if a non-TypeRef or a TypeRef to a defined type

  15. def field(fieldName: String): Option[Type]

    Yield the type of the field of this type named fieldName or None if there is no such field.

  16. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. def hasField(fieldName: String): Boolean

    true if this type has a field named fieldName, false otherwise.

  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def isInterface: Boolean
  21. def isLeaf: Boolean

    Is this type a leaf type?

    Is this type a leaf type?

    true if after stripping of aliases the underlying type a scalar or an enum, false otherwise.

  22. def isList: Boolean

    Is this type a list.

  23. def isNamed: Boolean
  24. def isNullable: Boolean

    Is this type nullable?

  25. def isUnderlyingLeaf: Boolean

    Is the underlying of this type a leaf type?

    Is the underlying of this type a leaf type?

    Strip off all aliases, nullability and enclosing list types until an underlying leaf type is reached, in which case yield true, or an a object, interface or union type which is reached, in which case yield false.

  26. def isUnion: Boolean
  27. def item: Option[Type]

    The element type of this type.

    The element type of this type.

    If this type is is a list, yield the non-list underlying type. Otherwise yield None.

  28. def list: Type

    This type if it is a (nullable) list, ListType(this) otherwise.

  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. def nominal_=:=(other: Type): Boolean
  31. def nonNull: Type

    A non-nullable version of this type.

    A non-nullable version of this type.

    If this type is nullable, yield the non-nullable underlying type. Otherwise yield this type.

  32. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  33. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  34. def nullable: Type

    This type if it is nullable, Nullable(this) otherwise.

  35. def path(fns: List[String]): Option[Type]

    Yield the type of the field at the end of the path fns starting from this type, or None if there is no such field.

  36. def pathIsList(fns: List[String]): Boolean

    Does the path fns from this type specify multiple values.

    Does the path fns from this type specify multiple values.

    true if navigating through the path fns from this type might specify 0 or more values. This will be the case if the path passes through at least one field of a List type.

  37. def pathIsNullable(fns: List[String]): Boolean

    Does the path fns from this type specify a nullable type.

    Does the path fns from this type specify a nullable type.

    true if navigating through the path fns from this type might specify an optional value. This will be the case if the path passes through at least one field of a nullable type.

  38. def productElementName(n: Int): String
    Definition Classes
    Product
  39. def productElementNames: Iterator[String]
    Definition Classes
    Product
  40. def productIterator: Iterator[Any]
    Definition Classes
    Product
  41. def productPrefix: String
    Definition Classes
    Product
  42. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  43. def toString(): String
    Definition Classes
    AnyRef → Any
  44. def underlying: Type
  45. def underlyingField(fieldName: String): Option[Type]

    Yield the type of the field named fieldName of the object type underlying this type.

    Yield the type of the field named fieldName of the object type underlying this type.

    Strip off all aliases, nullability and enclosing list types until an underlying object type is reached which has a field named fieldName, in which case yield the type of that field; if there is no such field, yields None.

  46. def underlyingLeaf: Option[Type]

    Yield the leaf type underlying this type.

    Yield the leaf type underlying this type.

    Strip off all aliases, nullability and enclosing list types until an underlying leaf type is reached, in which case yield it, or an a object, interface or union type which is reached, in which case yield None.

  47. def underlyingObject: Option[Type]

    Yield the object type underlying this type.

    Yield the object type underlying this type.

    Strip off all aliases, nullability and enclosing list types until an underlying object type is reached, in which case yield it, or a non-object type which isn't further reducible is reached, in which case yield None.

  48. def variantField(fieldName: String): Boolean

    true if this type has a field named fieldName which is undefined in some interface it implements

  49. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  50. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  51. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  52. def withField[T](fieldName: String)(body: (Type) => Result[T]): Result[T]
  53. def withModifiersOf(tpe: Type): Type
  54. def withUnderlyingField[T](fieldName: String)(body: (Type) => Result[T]): Result[T]

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped