Dotty Documentation

0.14.0-bin-SNAPSHOT

object TypeComparer
extends Object with Serializable

[-] Constructors

[-] Members

[+] private class AnyConstantType

Class for unification variables used in natValue.

[+] final class ApproxState

The approximation state indicates how the pair of types currently compared relates to the types compared originally. - NoApprox: They are still the same types - LoApprox: The left type is approximated (i.e widened)" - HiApprox: The right type is approximated (i.e narrowed)"

[+] object ApproxState

The approximation state indicates how the pair of types currently compared relates to the types compared originally. - NoApprox: They are still the same types - LoApprox: The left type is approximated (i.e widened)" - HiApprox: The right type is approximated (i.e narrowed)"

[+] val FreshApprox : ApproxState

A special approximation state to indicate that this is the first time we compare (approximations of) this pair of types. It's converted to NoApprox in isSubType, but also leads to leftRoot being set there.

[+] private val HiApprox : Int
[+] private val LoApprox : Int
[+] val NoApprox : ApproxState
[+] def explained ( op: Context => T ) ( implicit ctx: Context ) : String

Like [[explaining]], but returns the trace instead

[+] def explaining ( say: String => Unit ) ( op: Context => T ) ( implicit ctx: Context ) : T

Show trace of comparison operations when performing op as result string

[+] def show ( res: Any ) ( implicit ctx: Context ) : String