如何解决过滤 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)
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
