haskell - 将功能提升到 Conduit Sink

Question

我有一个函数f :: ByteString -> String ，并且需要一个 Sink ByteString (ResourceT IO) .
我怎么得到这个？

不幸的是，这些文档不是很有帮助......

Answer 1

这是该问题的一般解决方案:让我们采用任何函数i -> r , 其中 i是 Monoid ，然后通过折叠所有 await 将其变成水槽支持 mappend .

import Data.Conduit
import Data.Conduit.List as CL
import Data.Monoid

monoidFold :: (Monoid i, Monad m) => (i -> r) -> Sink i m r
monoidFold f = f `fmap` CL.fold mappend mempty

由于 ByteString是 Monoid , 你的函数类型为 ByteString -> String可以作为 monoidFold的参数.

myMD5 :: ByteString -> String
monoidFold myMD5 :: Monad m => Sink ByteString m String