haskell - 在管道内运行消费者

Question

我需要组合一个消费者和一个管道，以便消费者的输出可以满足管道的输入。

我想这可以用这样的组合器解决:

Consumer i m r -> (r -> Producer o m r') -> Pipe i o m r'

或这个:

Consumer i m i' -> Pipe i' o m r -> Pipe i o m r

或者像下面这样的提升功能:

Consumer i m r -> Pipe i o m r

或者像这样:

Consumer i m o -> Pipe i o m r

我试着做 consumer >~ pipe没有成功。那么如何处理呢？

Answer 1

对于您的第一个类型签名，如果您的 Consumer和 Producer使用多态类型同义词 Consumer'和 Producer' ，那么你想要的组合子是 (>>=) :

(>>=) :: Pipe i o m r -> (r -> Pipe i o m r') -> Pipe i o m r'

A Consumer' i m r将类型检查为 Pipe i o m r .同样，一个 Producer' o m r'将类型检查为 Pipe i o m r' .