Dotty Documentation

0.17.0-bin-SNAPSHOT

object Not
extends Object with LowPriorityNot with Serializable

[-] Constructors

[-] Members

[+] implicit def amb1 ( implicit ev: T ) : Not [ T ]

One of two ambiguous methods used to emulate negation in Scala 2

[+] implicit def amb2 ( implicit ev: T ) : Not [ T ]

One of two ambiguous methods used to emulate negation in Scala 2

[+] def value : Not [ Nothing ]

A value of type Not to signal a successful search for Not[C] (i.e. a failing search for C). A reference to this value will be explicitly constructed by Dotty's implicit search algorithm