|
Scala Library Documentation
|
|
scala/None.scala]
case
object
None
extends Option[Nothing]| Method Summary | |
def
|
get
: Nothing
get the value of this option.
@requires that the option is nonEmpty.
|
def
|
isEmpty
: Boolean
True if the option is the
None value, false otherwise. |
override final def
|
productArity
: Int
return k for a product
A(x_1,...,x_k)) |
override final def
|
productElement
(arg0 : Int) : Any
for a case class
A(x_1,...,x_k)), returns x_(i+1)
for 0 <= i < k |
override final def
|
productPrefix
: String
By default the empty string. Implementations may override this
method in order to prepend a string prefix to the result of the
toString methods.
|
protected def
|
readResolve : AnyRef |
override final def
|
toString : String |
| Methods inherited from Option | |
| isDefined, get, getOrElse, map, flatMap, filter, foreach, orElse, elements, toList |
| Methods inherited from Product | |
| element, arity |
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
def
isEmpty : Boolean
None value, false otherwise.
def
get : Nothing
override final
def
toString : String
override final
def
productPrefix : String
override final
def
productArity : Int
A(x_1,...,x_k))A(x_1,...,x_k)), returns x_(i+1)
for 0 <= i < kn - the position of the n-th elementIndexOutOfBoundsException - protected
def
readResolve : AnyRef
|
Scala Library Documentation
|
|