如何简化嵌套地图调用?

时间:2015-07-08 05:25:24

标签: scala functor

假设我有一些嵌套的仿函数,例如List[Option[Int]]并且需要调用最内在的map

现在我使用嵌套的maps

scala> val opts: List[Option[Int]] = List(Some(0), Some(1))
opts: List[Option[Int]] = List(Some(0), Some(1))

scala> opts.map(o => o.map(_ + 1))
res0: List[Option[Int]] = List(Some(1), Some(2))

例如,如果我有3个嵌套级别怎么办? 是否有嵌套maps的简单替代方法?

3 个答案:

答案 0 :(得分:9)

是的,这可以使用scalaz.Functor:

scala> import scalaz.Functor
import scalaz.Functor

scala> import scalaz.std.list._
import scalaz.std.list._

scala> import scalaz.std.option._
import scalaz.std.option._

scala> Functor[List].compose[Option].map(List(some(0), some(1)))(_ + 1)
res1: List[Option[Int]] = List(Some(1), Some(2))

但是,这比使用嵌套map简单地调用map要长。如果您经常映射嵌套结构,则可以创建辅助函数:

def map2[F[_], G[_], A, B](fg: F[G[A]])(f: A => B)
  (implicit F0: Functor[F], G0: Functor[G]): F[G[B]] =
  F0.map(fg)(g => G0.map(g)(f))

def map3[F[_], G[_], H[_], A, B](fg: F[G[H[A]]])(f: A => B)
  (implicit F0: Functor[F], G0: Functor[G], H0: Functor[H]): F[G[H[B]]] =
  F0.map(fg)(g => G0.map(g)(h => H0.map(h)(f)))

...

用法:

scala> map2(List(some(0), some(1)))(_ + 1)
res3: List[Option[Int]] = List(Some(1), Some(2))

scala> map3(List(some(some(0)), some(some(1))))(_ + 1)
res4: List[Option[Option[Int]]] = List(Some(Some(1)), Some(Some(2)))

答案 1 :(得分:5)

如果你有很多嵌套的仿函数而且你不想弄平它们(即它们不是monad或者你不想把它们用作monad) - 那么镜头可能有所帮助。有快速实现,支持可穿越镜头:http://www.warski.org/blog/2015/03/quicklens-traversing-options-and-lists/

示例(抱歉没有尝试编译它):

modify(opts)(_.each.each).using(_ + 1)

无论如何,你必须指定嵌套级别,但是你不必在这里嵌套函数。并且它足以指定一次,例如(概念示例,没有检查):

def md2[T]: (l: List[Option[T]]) => modify(l)(_.each.each)

md2[Int](opts).using(_ + 1)     

答案 2 :(得分:0)

从我理解的问题中你想要修剪列表迭代器e.i.删除列表的上一级,在这种情况下,您可以使用flatten将列表列表转换为单个列表。

我将使用flatten

删除几个列表

代码: -

val lists = List( 
                    List( 
                        List(
                                List("1"),List("2")
                            ),
                        List(
                                List("3"),List("4") 
                            ) ,
                        List(
                                List("a"),List("b")
                            ),
                        List(
                                List("c"),List("d")
                            ) 
                            )
                  )

val innerVal = lists.flatten.foreach(println)

结果: -

List(List(1), List(2))
List(List(3), List(4))
List(List(a), List(b))
List(List(c), List(d))