0

我正在重构一个 scala http4s 应用程序以消除一些导致我的应用程序阻塞的讨厌的副作用。我正在用cats.effect.IO 替换.unsafeRunSync。问题如下：

我有 2 个列表： alreadyAccessible: IO[List[Page]] 和 pages: List[Page] 我需要过滤掉不在 alreadyAccessible 中的页面。然后将结果列表映射到数据库中的“授予访问权限”到这些页面。（例如，调用另一个访问数据库并返回 IO[Page] 的方法。

    val addable: List[Page] = pages.filter(p => !alreadyAccessible.contains(p))
    val added: List[Page] = addable.map((p: Page) => {
      pageModel.grantAccess(roleLst.head.id, p.id) match {
        case Right(p) => p
      }
    })

这接近我想要的；但是，它不起作用，因为过滤器需要一个返回布尔值但已经可访问的函数是 IO[List[Page]] 类型的，这使您无法从 IO monad 中删除任何内容。我了解您无法从 IO 中删除数据，因此可以对其进行转换：

val added: List[IO[Page]] = for(page <- pages) {
val granted = alreadyAccessible.flatMap((aa: List[Page]) => {
        if (!aa.contains(page))
           pageModel.grantAccess(roleLst.head.id, page.id) match { case Right(p) => p }
        else null
      })
    } yield granted

不幸的是，这不适用于以下错误：

Error:(62, 7) ';' expected but 'yield' found.
    } yield granted

我认为因为我以某种方式滥用了 for 理解语法，所以我只是不明白为什么我不能做我正在做的事情。

我知道对于这样的问题必须有一个直接的解决方案，因此非常感谢任何输入或建议。感谢您花时间阅读本文！

4

1 回答 1

3

granted将是一个IO[List[Page]]. 除非您真的要像值一样对待动作并重新排序/过滤它们等，否则IO 在其他任何东西中都没有特别的意义。

val granted: IO[List[Page]] = for {

你如何计算它？好吧，第一步是执行alreadyAccessible以获取实际列表。其实alreadyAccessible是名不副实。它不是可访问页面的列表；这是一个获取可访问页面列表的操作。我建议你重命名它getAlreadyAccessible。

    alreadyAccessible <- getAlreadyAccessible

pages然后你用它过滤

    val required = pages.filterNot(alreadyAccessible.contains)

现在，我无法解读您对这些页面所做的操作。我只是假设你有某种功能grantAccess: Page => IO[Page]。如果将此函数映射到required，您将得到一个List[IO[Page]]，这是不可取的。相反，我们应该traverse使用grantAccess，这将产生一个IO[List[Page]]执行每个IO[Page]然后将所有结果组装成一个List[Page]。

    granted <- required.traverse(grantAccess)

我们完成了

} yield granted
于 2020-12-30T06:26:52.413 回答