我正在 github 上查看这个同时使用 play 和 doobie 的 repo。
我想了解它最终是如何从猫的 connectionIO/IO 转换为构建 playframework 的 Future 的。
我正在查看一个控制器,我可以看到 userRepo,但我看不到它从期货到 IO 的去向或方式。
def doEdit(): Action[AnyContent] = UserAction { implicit req =>
GsForms.user.bindFromRequest.fold(
formWithErrors => editView(formWithErrors),
data => userRepo.edit(data)
.map(_ => Redirect(PublishedSpeakerRoutes.detail(req.user.slug)).flashing("success" -> "Profile updated"))
)
}