haskell - 有没有办法像 withCString 这样链接函数？

Question

有没有办法像 withCString 这样链接函数？ ?我的意思是任何
类似于 f :: Foo -> (CFoo -> IO a) -> IO a 的函数.

例如，假设有一个函数 cFunc :: CString -> CFoo -> CBar -> IO ()
通常，我会做类似的事情:

haskellFunc string foo bar =
  withCString string $ \ cString ->
    withCFoo foo $ \ cFoo ->
      withCBar bar $ \ cBar ->
        cFunc cString cFoo cBar

但我想做类似的事情:

haskellFunc = (withCString |.| withCFoo |.| withCBar) cFunc

使用一些适当的组合运算符 |.| .

我正在编写带有很多 C 绑定(bind)的库，而这个样板文件来了
经常。难道我做错了什么？

Answer 1

您可以使用 Cont inuation applicative组成这些a -> (b -> IO c) -> IO c功能:

import Control.Monad.Cont

haskellFunc :: String -> Foo -> Bar -> IO ()
haskellFunc string foo bar = flip runCont id $ 
    cFunc <$> 
      cont (withCString string) <*> 
      cont (withCFoo foo) <*> 
      cont (withCBar bar)

或者使用一些额外的语法:

haskellFunc' :: String -> Foo -> Bar -> IO ()
haskellFunc' string foo bar = flip runCont id $
    cFunc <<$>> withCString string <<*>> withCFoo foo <<*>> withCBar bar
  where
    f <<$>> x = f <$> cont x
    f <<*>> x = f <*> cont x