如何在同步上下文中使用arrow-kt中的IO组合

Question

我有以下接口：

interface UserRepository {
  fun role(codename: String): IO<Option<Role>>

  fun accessRights(roleId: Long): IO<List<AccessRight>>
}

现在尝试使用它来编写有效的this操作，如下所示：

private fun retrieveRole(roleCodename: String): IO<Option<RoleTo>> =
  IO.fx {
    val role = userRepository.role(roleCodename).bind()
    role.map { r ->
      val ar = userRepository.accessRights(r.id).bind()
      RoleTo.of(r, ar)
    }
  }

代码在第二次绑定(调用userRepository.accessRights(r.id).bind()，因为bind是挂起函数)时编译失败。我怎样才能正确地组合两个操作？我不明白为什么第一个绑定可以工作，但是第二个不能，我不想让我的函数挂起，或者我不得不这样做？

Answer 1

我能够使用traverse和IO的应用实例来解决问题

private fun retrieveRole(roleCodename: String): IO<Option<RoleTo>> =
  IO.fx {
    val role = userRepository.role(roleCodename).bind()
    val accessRights = role.traverse(IO.applicative()) {
      userRepository.accessRights(it.id)
    }.bind()
    role.map2(accessRights) {
      (r, ar) -> RoleTo.of(r, ar)
    }
  }

感谢您指出map需要纯函数这一事实。

Answer 2

这是一个常见的问题。如果你有Option<A>或Either<E, A>，并且你想对它采取行动，你的第一反应是在块上使用它：

either.map { !someIO }

问题是没有覆盖left/none选项。您应该在两端都执行操作，并在执行IO之前将其提取出来。

!either.fold({ ioLogError(it) }, { someIo })

现在，从0.10开始，因为fold是一个内联函数，所以您也可以在其中使用!。我不能保证将来会是这种情况，因为这是我们为了方便而留下的一种意外的内联行为。