Dotty Documentation

0.1.1-bin-SNAPSHOT

object CheckRealizable

Realizability status

[-] Constructors

[-] Members

[+] class HasProblemBounds
[+] class HasProblemField
[+] object NotConcrete
[+] class NotFinal
[+] object NotStable
[+] abstract class Realizability
[+] object Realizable
[+] def boundsRealizability ( tp: Type ) ( implicit ctx: Context ) : Realizability
[+] def realizability ( tp: Type ) ( implicit ctx: Context ) : Realizability