Dotty Documentation

0.14.0-bin-SNAPSHOT

abstract case class TypeBounds
extends CachedProxyType with TypeType with Product with Serializable

Type bounds >: lo <: hi

[-] Constructors

TypeBounds ( lo: Type , hi: Type )

[-] Members

[+] val hi : Type
[+] val lo : Type
[+] def & ( that: TypeBounds ) ( implicit ctx: Context ) : TypeBounds
[+] override def & ( that: Type ) ( implicit ctx: Context ) : Type
[+] override def computeHash ( bs: Binders ) : Int

Compute hashcode relative to enclosing binders bs

[+] def contains ( tp: Type ) ( implicit ctx: Context ) : Boolean
[+] def derivedTypeBounds ( lo: Type , hi: Type ) ( implicit ctx: Context ) : TypeBounds

The non-alias type bounds type with given bounds

[+] override def eql ( that: Type ) : Boolean

Equality used for hash-consing; uses eq on all recursive invocations, except where a BindingType is involved. The latter demand a deep isomorphism check.

[+] override def equals ( that: Any ) : Boolean
[+] override def iso ( that: Any , bs: BinderPairs ) : Boolean

Is this isomorphic to that, assuming pairs of matching binders bs? It is assumed that this.ne(that).

[+] override def stableHash : Boolean

Is the hash of this type the same for all possible sequences of enclosing binders?

[+] override def underlying ( implicit ctx: Context ) : Type

The type to which this proxy forwards operations.

[+] def | ( that: TypeBounds ) ( implicit ctx: Context ) : TypeBounds
[+] override def | ( that: Type ) ( implicit ctx: Context ) : Type