有没有组合器:
ConduitT i o m r
通过下游消耗的输入?
如果没有,有没有办法使用核心包中提供的组合器以干净的方式创建它?
我遇到的“实际问题” - 我正在使用“测试”功能编写/映射它们来测试原始o
,以检查每个结果i
是否与{{([i],o) -> Bool
有关1}}它看到了。我要么映射一个ConduitT ([i], o) Bool m r
函数,要么将它与一些Bool
组合,它为每个收到的([i], o)
输出一个o
,具有一些潜在的一元效应。可能有更好的方法来完成所有这些!我想到的一种方法是使用Chan / TChan,如果m是IO,但我可能不一定在IO中这样做。
我尝试过简单地编写/映射ConduitT i o
的{{1}}结果,但是我没有访问它所消耗的i
,所以我是有点卡住;这个传递操作符是我想到的可能有用的操作符。
提前致谢!