Class scala.reflect.api.Types.RefinedTypeExtractor
abstract class RefinedTypeExtractor extends AnyRef
Instance Constructors
new RefinedTypeExtractor()
Abstract Value Members
abstract def unapply(tpe: Universe.RefinedType): Option[(List[Universe.Type], Universe.Scope)]
Concrete Value Members
final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
final def ##(): Int
- Definition Classes
- AnyRef → Any
def +(other: String): String
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to any2stringadd[Universe.RefinedTypeExtractor] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
def ->[B](y: B): (Universe.RefinedTypeExtractor, B)
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to ArrowAssoc[Universe.RefinedTypeExtractor] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
final def asInstanceOf[T0]: T0
- Definition Classes
- Any
def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
def ensuring(cond: (Universe.RefinedTypeExtractor) ⇒ Boolean, msg: ⇒ Any): Universe.RefinedTypeExtractor
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to Ensuring[Universe.RefinedTypeExtractor] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: (Universe.RefinedTypeExtractor) ⇒ Boolean): Universe.RefinedTypeExtractor
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to Ensuring[Universe.RefinedTypeExtractor] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Universe.RefinedTypeExtractor
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to Ensuring[Universe.RefinedTypeExtractor] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean): Universe.RefinedTypeExtractor
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to Ensuring[Universe.RefinedTypeExtractor] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
def equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to StringFormat[Universe.RefinedTypeExtractor] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
final def getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
final def synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
def toString(): String
- Definition Classes
- AnyRef → Any
final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
def →[B](y: B): (Universe.RefinedTypeExtractor, B)
- Implicit
- This member is added by an implicit conversion from Universe.RefinedTypeExtractor to ArrowAssoc[Universe.RefinedTypeExtractor] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.12.9/scala-reflect/scala/reflect/api/Types$RefinedTypeExtractor.html
An extractor class to create and pattern match with syntax
RefinedType(parents, decls)
Here,parents
is the list of parent types of the class, anddecls
is the scope containing all declarations in the class.