Cómo convertir X => Opción [R] para función parcial [X, R]
-
19-09-2019 - |
Pregunta
Mientras tenemos un PartialFunction[X,R]
que es muy fácil de convertirlo en una función que devuelve Option[R]
, por ejemplo.
def pfToOptf[X, R](f: PartialFunction[X,R])(x: X) =
if (f.isDefinedAt(x)) Some(f(x))
else None
Sin embargo, ¿qué pasaría si la tarea es opuesta: supongamos que tengo una función f
conseguir X
como un argumento y regresar Option[R]
como resultado. Y quiero hacer una PartialFunction[X,R]
fuera de él. ¿Qué es la mejor manera?
Lo que yo he llegado con apariencia bastante feas de mi gusto:
def optfToPf[X,R](f: X => Option[R]) : PartialFunction[X,R] = {
object extractor {
def unapply(x: X): Option[R] = f(x)
}
{ case extractor(r) => r }
}
¿Hay alguna manera mejor que me perdí?
Solución
A partir Scala 2.9
, Function.unlift
hace precisamente esto:
def unlift[T, R](f: (T) => Option[R]): PartialFunction[T, R]
Activa una función T => Opción [R] en una función parcial [T, R].
Otros consejos
¿Qué tal esto:
Welcome to Scala version 2.8.0.r19650-b20091114020153 (Java HotSpot(TM) Client VM, Java 1.6.0_17).
Type in expressions to have them evaluated.
Type :help for more information.
scala> def optfToPf[X,R](f: X => Option[R]): PartialFunction[X,R] = x => f(x) match {
| case Some(r) => r
| }
optfToPf: [X,R](f: (X) => Option[R])PartialFunction[X,R]
scala>
supongo que se podría anular aplicar y isDefinedAt a mano, pero lo haría de la forma que le parezca fea.
def optfToPf[X,R](f: X => Option[R]) = new PartialFunction[X,R] {
def apply(x: X): R = f(x).get
def isDefinedAt(x: X): Boolean = f(x) != None
}
Pruebas:
scala> val map = Map(1 -> 2)
map: scala.collection.immutable.Map[Int,Int] = Map(1 -> 2)
scala> map(1)
res0: Int = 2
scala> def mapOpt(key: Int) = map.get(key)
mapOpt: (key: Int)Option[Int]
scala> mapOpt(1)
res1: Option[Int] = Some(2)
scala> mapOpt(2)
res2: Option[Int] = None
scala> val mapPf = optfToPf(mapOpt _)
mapPf: java.lang.Object with PartialFunction[Int,Int] = <function1>
scala> mapPf.isDefinedAt(2)
res3: Boolean = false
scala> mapPf.isDefinedAt(1)
res4: Boolean = true
scala> mapPf(1)
res5: Int = 2
scala> mapPf(2)
java.util.NoSuchElementException: None.get