O object

DottyPredef

extends Object

Supertypes

Object

Members

final inline def 

assert

( assertion: Boolean ,  message: => Any ) : Unit

final inline def 

assert

( assertion: Boolean ) : Unit

def 

assertFail

( ) : Nothing

def 

assertFail

( message: => Any ) : Nothing

def 

extension_nn

[T] ( x: T | Null ) : x.type & T

Strips away the nullability from a value. e.g. val s1: String|Null = "hello" val s: String = s1.nn

Note that .nn performs a checked cast, so if invoked on...

Strips away the nullability from a value. e.g. val s1: String|Null = "hello" val s: String = s1.nn

Note that .nn performs a checked cast, so if invoked on a null value it'll throw an NPE.

final inline def 

implicitly

[T] ( implicit  ev: T ) : T

inline def 

locally

[T] ( body: T ) : T

Used to mark code blocks as being expressions, instead of being taken as part of anonymous classes and the like. This is just a different name for [ide...

Used to mark code blocks as being expressions, instead of being taken as part of anonymous classes and the like. This is just a different name for [[identity]].

inline def 

summon

[T] ( implicit  x: T ) : x.type

Summon a given value of type T. Usually, the argument is not passed explicitly.

Summon a given value of type T. Usually, the argument is not passed explicitly.

inline def 

valueOf

[T] : T

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

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