gpt4 book ai didi

haskell - 当两个单子(monad)都没有变压器时合并两个单子(monad)?

转载 作者:行者123 更新时间:2023-12-03 23:57:08 27 4
gpt4 key购买 nike

我正在玩写一个网络应用程序。在这种情况下,我使用 scottyredis ,但是这个问题出现在任何 web/db 组合中。在此之前我使用了 happstack,所以我也喜欢那里的一个例子。

Scotty 让您在嵌套的 monad 中定义路由,这使得访问路由中的数据库连接变得容易:

main = do
db <- connect defaultConnectInfo
scotty 3000 $ do

get "/keys" $ do
keys <- liftIO $ runRedis db $ keys "*"
html $ T.pack $ show keys

get 中的 do block 的类型为: Web.Scotty.ActionM () .所有 redis 命令的类型为 Database.Redis.Redis a . redis 或 scotty 都没有单子(monad)转换器。

将这些结合起来的最佳方法是什么?我是haskell 的新手,但我确实设法让ReaderT 与happstack 中的web monad 一起工作。

理想情况下,我可以以某种方式创建一个支持 keys 的新 monad 堆栈。和 html在同一个做 block 。

最佳答案

出于某种原因,我觉得 liftIO 很丑,但它真的不错。特别是如果你这样做:

queryRedis :: Connection -> Redis a -> ActionM a
queryRedis db r = liftIO $ runRedis db r

并定义一个部分应用函数 redis = queryRedis db .感谢大家

关于haskell - 当两个单子(monad)都没有变压器时合并两个单子(monad)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9034060/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com