tasty-query
API
Generated with
tasty-query/tastyquery/Trees/RefinedTypeTree

RefinedTypeTree

tastyquery.Trees$.RefinedTypeTree
final case class RefinedTypeTree(underlying: TypeTree, refinements: List[RefinementMemberDef], refinedCls: ClassSymbol)(pos: SourcePosition) extends TypeTree

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class TypeTree
class TypeArgTree
class Tree
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

final override def withPos(pos: SourcePosition): RefinedTypeTree

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def toPrefix: NonEmptyPrefix

Attributes

Inherited from:
TypeTree
final def toType: Type

Attributes

Inherited from:
TypeTree
final def toTypeOrWildcard: Type

Attributes

Inherited from:
TypeTree

Deprecated and Inherited methods

def walkTree(op: Tree => Unit): Unit

Attributes

Deprecated
[Since version 0.10.0]
Inherited from:
Tree
def walkTree[R](op: Tree => R)(reduce: (R, R) => R, default: => R): R

Attributes

Deprecated
[Since version 0.10.0]
Inherited from:
Tree
Generated with