过滤 IO 的集合：List[IO[Page]] scala

问题描述

我正在重构一个 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
      }
    })

这接近我想要的；但是，它不起作用，因为 filter 需要一个返回布尔值的函数，但 alreadyAccessible 是 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 comprehension 语法，我只是不明白为什么我不能做我正在做的事情。

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

解决方法

include ("connection.php"); $sql = "select * from products"; $result = mysqli_query($con,$sql); while ($row = $result->fetch_assoc()) { ?> <div class="container"> <div class="row"> <div class="col-lg-12"> <div class="card" style="width: 18rem;"> <img src="<?php echo $row['Pimage'] ?>" class="card-img-top" alt="..."> <div class="card-body"> <h5 class="card-title"><?php echo $row['Pname'] ?></h5> <p class="card-text"><?php echo $row['Pdesc'] ?></p> <P><?php echo $row['Pprice'] ?>PKR</P> <a href="#" class="btn btn-warning">ADD To Cart</a> </div> </div> </div> </div> </div> <?php } ?> 将成为 granted。 IO[List[Page]] inside 其他任何东西都没有特别的意义，除非您真的要将 actions 视为值并重新排序/过滤它们等。

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)