WithFilter
 scala.Option.WithFilter
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.
Attributes
- Source
 - Option.scala
 - Graph
 - 
    
 - Supertypes
 
Members list
In this article