TypeBounds

tastyquery.Types.TypeBounds
sealed abstract class TypeBounds(val low: Type, val high: Type) extends TypeMappable

Attributes

Graph
Supertypes
class TypeMappable
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

final def contains(tp: TypeOrWildcard)(using Context): Boolean
final def contains(that: TypeBounds)(using Context): Boolean
final def intersect(that: TypeBounds)(using Context): TypeBounds
final def isSameBounds(that: TypeBounds)(using Context): Boolean
final def union(that: TypeBounds)(using Context): TypeBounds

Inherited methods

Attributes

Inherited from:
TypeMappable
def showBasic: String

Attributes

Inherited from:
TypeMappable
final def showMultiline: String

Attributes

Inherited from:
TypeMappable

Concrete fields

val high: Type
val low: Type