Dotty Documentation

0.13.0-bin-SNAPSHOT

object TypeComparer
extends Object

[-] Constructors

[-] Members

[+] private class AnyConstantType

Class for unification variables used in natValue.

[+] final class ApproxState
[+] object ApproxState
[+] 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