- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试使用 HDBC
和 Haskell.GI
实现一个小型桌面应用程序。我使用 glade 构建窗口和对话框,并使用 GtkBuilder
加载它们。在实现了几个场景之后,我最终始终使用相同的模式,在 do
block 中编写“ Action ”,其签名为:
Connection -> Builder -> a -> IO b
这些“ Action ”在 IO
monad 的上下文中组合,主要问题是我必须传递我的 Connection
和 Builder
在周围。我预见的另一个问题是,如果我想向我的应用程序添加另一个外部依赖项(例如,访问图像扫描仪),我将不得不更改我所有“ Action ”的签名,更重要的是,它们的数量。
我能做什么:我可以定义一个类型同义词:
type Action a b = Connection -> Builder -> a -> IO b
我还可以创建一个命名元组来消除元数问题:
data Context =
Context {
conn :: Connection,
builder :: Builder}
但是,这仍然没有解决这样一个事实,即每次我想访问数据库时,我都必须调用 (conn ctx)
或使用 let
在每个 Action 中都有约束力。
我觉得最理想的是制作我自己的 monad,我可以在其中编写我的 Action ,我不会明确地谈论我的 Connection
或 Builder
值.
如果知道 IO
已经是一个 monad,我该如何定义一个这样的 monad?
顺便说一句,它与 State
monad 有什么关系吗?
最佳答案
[..] the main problem being that I have to pass my
Connection
andBuilder
all around.
所以这些是您(重复)阅读的“环境”的一部分。这就是 Reader
monad 的用途。 mtl
包包含 monad 转换器 ReaderT
它将阅读器功能添加到基本 monad,在您的例子中是 IO
。
假设一个简单的 Action ,比如..
no_action :: Connection -> Builder -> Int -> IO Int
no_action _ _ i = return (i + 1)
您可以将它放入一个类似于 IO
的新 Monad 中,但可以通过定义 Context
并应用 monad 转换器来访问连接和构建器:
data Context = Context { connection :: Connection
, builder :: Builder }
type CBIO b = ReaderT Context IO b
将你的 Action 提升到这个新的(组合的)monad 中值得一个单独的功能:
liftCBIO :: (Connection -> Builder -> a -> IO b) -> (a -> CBIO b)
liftCBIO f v = do
context <- ask
liftIO (f (connection context) (builder context) v)
然后你可以总是写(liftCBIO no_action) num
或者...
cbio_no_action = liftCBIO no_action
...和cbio_no_action num
。
要实际运行您的新 monad,您可以使用 runReaderT
.. 但这也值得一个更好的名称:
runWithInIO = flip runReaderT
如果您愿意,您也可以更改它以合并构建Context
。
使用上面的代码看起来像这样:
main = do
i <- runWithInIO (Context Connection Builder) $ do
a <- cbio_no_action 20
liftIO $ putStrLn "Halfway through!"
b <- cbio_no_action 30
return (a + b)
putStrLn $ show i
关于haskell - 如何将上下文和 `IO` monad 隐藏到另一个 monad 中?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55706425/
IO 设备如何知道属于它的内存中的值在memory mapped IO 中发生了变化? ? 例如,假设内存地址 0 专用于保存 VGA 设备的背景颜色。当我们更改 memory[0] 中的值时,VGA
我目前正在开发一个使用Facebook sdk登录(通过FBLoginView)的iOS应用。 一切正常,除了那些拥有较旧版本的facebook的人。 当他们按下“使用Facebook登录”按钮时,他
假设我有: this - is an - example - with some - dashesNSRange将使用`rangeOfString:@“-”拾取“-”的第一个实例,但是如果我只想要最后
Card.io SDK提供以下详细信息: 卡号,有效期,月份,年份,CVV和邮政编码。 如何从此SDK获取国家名称。 - (void)userDidProvideCreditCardInfo:(Car
iOS 应用程序如何从网络服务下载图片并在安装过程中将它们安装到用户的 iOS 设备上?可能吗? 最佳答案 您无法控制应用在用户设备上的安装,因此无法在安装过程中下载其他数据。 只需在安装后首次启动应
我曾经开发过一款企业版 iOS 产品,我们公司曾将其出售给大型企业,供他们的员工使用。 该应用程序通过 AppStore 提供,企业用户获得了公司特定的配置文件(包含应用程序配置文件)以启用他们有权使
我正在尝试将 Card.io SDK 集成到我的 iOS 应用程序中。我想为 CardIO ui 做一个简单的本地化,如更改取消按钮标题或“在此保留信用卡”提示文本。 我在 github 上找到了这个
我正在使用 CardIOView 和 CardIOViewDelegate 类,没有可以设置为 YES 的 BOOL 来扫描 collectCardholderName。我可以看到它在 CardIOP
我有一个集成了通话工具包的 voip 应用程序。每次我从我的 voip 应用程序调用时,都会在 native 电话应用程序中创建一个新的最近通话记录。我在 voip 应用程序中也有自定义联系人(电话应
iOS 应用程序如何知道应用程序打开时屏幕上是否已经有键盘?应用程序运行后,它可以接收键盘显示/隐藏通知。但是,如果应用程序在分屏模式下作为辅助应用程序打开,而主应用程序已经显示键盘,则辅助应用程序不
我在模拟器中收到以下错误: ImageIO: CGImageReadSessionGetCachedImageBlockData *** CGImageReadSessionGetCachedIm
如 Apple 文档所示,可以通过 EAAccessory Framework 与经过认证的配件(由 Apple 认证)进行通信。但是我有点困惑,因为一些帖子告诉我它也可以通过 CoreBluetoo
尽管现在的调试器已经很不错了,但有时找出应用程序中正在发生的事情的最好方法仍然是古老的 NSLog。当您连接到计算机时,这样做很容易; Xcode 会帮助弹出日志查看器面板,然后就可以了。当您不在办公
在我的 iOS 应用程序中,我定义了一些兴趣点。其中一些有一个 Kontakt.io 信标的名称,它绑定(bind)到一个特定的 PoI(我的意思是通常贴在信标标签上的名称)。现在我想在附近发现信标,
我正在为警报提示创建一个 trigger.io 插件。尝试从警报提示返回数据。这是我的代码: // Prompt + (void)show_prompt:(ForgeTask*)task{
您好,我是 Apple iOS 的新手。我阅读并搜索了很多关于推送通知的文章,但我没有发现任何关于 APNS 从 io4 到 ios 6 的新更新的信息。任何人都可以向我提供 APNS 如何在 ios
UITabBar 的高度似乎在 iOS 7 和 8/9/10/11 之间发生了变化。我发布这个问题是为了让其他人轻松找到答案。 那么:在 iPhone 和 iPad 上的 iOS 8/9/10/11
我想我可以针对不同的 iOS 版本使用不同的 Storyboard。 由于 UI 的差异,我将创建下一个 Storyboard: Main_iPhone.storyboard Main_iPad.st
我正在写一些东西,我将使用设备的 iTunes 库中的一部分音轨来覆盖 2 个视频的组合,例如: AVMutableComposition* mixComposition = [[AVMutableC
我创建了一个简单的 iOS 程序,可以顺利编译并在 iPad 模拟器上运行良好。当我告诉 XCode 4 使用我连接的 iPad 设备时,无法编译相同的程序。问题似乎是当我尝试使用附加的 iPad 时
我是一名优秀的程序员,十分优秀!