We need a whole WithFilter class to honor the "doesn't create a new collection" contract even though it seems unlikely to matter much in a collection with max size 1.
A method that should be called from every well-designed equals method that is open to be overridden in a subclass.
If the given partial function pf
is defined for the
option's value, apply it to the value.
If the option is nonempty, p(value), otherwise false.
If the option is nonempty and the given predicate p
yields false
on its value, return None
.
If the option is nonempty, return a function applied to its value.
Apply the given procedure f
to the option's value,
if it is nonempty.
get the value of this option.
If the option is nonempty return its value, otherwise return the result of evaluating a default expression.
True if the option is a Some
(.
True if the option is the None
value, false otherwise.
An singleton iterator returning the option's value if it is nonempty or the empty iterator if the option is empty.
If the option is nonempty, return a function applied to its value, wrapped in a Some i.
If the option is nonempty return it, otherwise return the result of evaluating an alternative expression.
The option's value if it is nonempty, or null
if it is empty.
return k for a product A(x_1,.
def
productElement(arg0: Int): Any
For a product A(x_1,.
def
productElements: Iterator[Any]
def
productIterator: Iterator[Any]
An iterator that returns all fields of this product
def
productPrefix: String
By default the empty string.
def
toLeft[X](right: ⇒ X): Product with Either[A, X]
An Either
that is a Right
with the given argumentright
if this is empty, or a Left
if this is nonempty with the
option's value.
def
toList: List[A]
A singleton list containing the option's value if it is nonempty
or the empty list if the option is empty.
def
toRight[X](left: ⇒ X): Product with Either[X, A]
An Either
that is a Left
with the given argumentleft
if this is empty, or a Right
if this is nonempty with the
option's value.
def
toString(): String
Returns a string representation of the object.
def
withFilter(p: (A) ⇒ Boolean): WithFilter
Necessary to keep Option from being implicitly converted to
Iterable in for comprehensions.
This case object represents non-existent values.
version
1.0, 16/07/2003
authors:
Martin Odersky