Dotty Documentation

0.17.0-bin-SNAPSHOT

object DottyPredef
extends Object with Serializable

[-] Constructors

[-] Members

[+] @Body @forceInline final inline def assert ( assertion: => Boolean , message: => Any ) : Unit
[+] @Body @forceInline final inline def assert ( assertion: => Boolean ) : Unit
[+] def assertFail ( ) : Unit
[+] def assertFail ( message: => Any ) : Unit
[+] @Body @forceInline final inline def implicitly ( implicit ev: T ) : T
[+] @Body @forceInline inline def locally ( body: => T ) : T
[+] @Body inline def the ( implicit x: T ) : x.type
[+] @Body inline def valueOf : T

Retrieve the single value of a type with a unique inhabitant.