无法使用（ - >）r monad使用SDL2渲染

Question

我有一个小的工作SDL2示例（C ++教程的简单端口），我正在尝试使用（ - >）r monad重构渲染代码。 这是没有重构的样本的工作部分

renderClear renderer
renderCopy renderer texture nullPtr nullPtr
renderPresent renderer

制作和运行 - 纹理就在那里。 都

renderClear renderer
flip ($) renderer $ do
    copy texture nullPtr nullPtr
renderPresent renderer

和

renderClear renderer
renderCopy renderer texture nullPtr nullPtr
flip ($) renderer $ do
    present

工作也很好。 然而

renderClear renderer
flip ($) renderer $ do
    copy texture nullPtr nullPtr
    present

只是绘制黑色窗口就是这样。 present是renderPresent的别名， copy是renderCopy ，第一个参数转移到结尾。 这与使用IO的这些功能有关吗？ 我怎样才能解决这个问题？

Answer 1

当你把它组合成

flip ($) renderer $ do
    copy texture nullPtr nullPtr
    present

整个do块在(->) r monad中，因此IO或者你拥有的任何底层monad都没有对这些动作进行排序，而是基本上使用了

(f >> g) x = g x

只留下present中的结合。

我认为解决这个问题的方法是使用一个ReaderT monad变换器，它知道如何在排序时使用底层monad，将其变成类似的东西（你需要重新定义copy并适当地present ）

flip runReaderT renderer $ do
    copy texture nullPtr nullPtr
    present