Dotty Documentation

0.5.0-bin-SNAPSHOT

object CheckRealizable
extends Object

Realizability status

[-] Constructors

[-] Members

[+] class HasProblemBase
[+] class HasProblemBaseArg
[+] 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