问题标签 [haskell-pipes-safe]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
2 问题
0
投票
0
回答
117
浏览
haskell - 将 Pipes.Safe 与 IO 操作一起使用
我正在使用 Pipes.Files，它又依赖于 Pipes.Safe。我有这样的管道：
问题是类型analyze是
而allFiles有MonadSafe m和MonadIO m约束。理论上liftIO应该解决这个问题，但我得到了这个错误：
还有第二个错误，我现在不知道如何解释。
编辑：这是其他类型的签名：
0
投票
1
回答
74
浏览
haskell - Haskell-pipes：如何使用 drawAll 来测试具有 MonadSafe 约束的生产者？
我有一个生产者，给定一个路径，它遍历文件系统产生 Haskell 文件的路径。它建立在管道文件之上：
现在我想用 Hspec 对其进行测试，但我发现很难将生产者转换为列表。MonadSafe m如果不是因为那个导致很多类型错误的约束，它会更简单。这是我写的：
这是应该如何使用的：
编译测试会出现以下错误：