Comment filtrer les None's de la liste [Option] ?

Question

Si j'ai un List[Option[A]] en Scala, quelle est la façon idiomatique de filtrer les éléments suivants None valeurs ?

Une façon de procéder est d'utiliser ce qui suit :

val someList: List[Option[String]] = List(Some("Hello"), None, Some("Goodbye"))
someList.filter(_ != None)

Existe-t-il un moyen plus "idiomatique" ? Cela semble assez simple.

Answer 1

Si vous voulez vous débarrasser des options en même temps, vous pouvez utiliser flatten :

scala> someList.flatten
res0: List[String] = List(Hello, Goodbye)

Answer 2

someList.filter(_.isDefined) si vous voulez garder le type de résultat comme List[Option[A]]

Answer 3

El cats La bibliothèque dispose également flattenOption qui transforme tout F[Option[A]] dans un F[A] (où F[_] est un FunctorFilter )

import cats.implicits._

List(Some(1), Some(2), None).flattenOption == List(1, 2)