私は、パイプの概念のさまざまな実装の違いを理解しようとしています。 コンジットとパイプの違いの1つは、パイプ同士の融着方法です。 コンジットは2つの駅のいずれかのパイプが、その結果が返されるパイプ、および他の1と、私はそれを正しく理解していれば (>->) :: (Monad m, Proxy p)
=> (b' -> p a' a b' b m r) -> (c' -> p b' b
私は単純なプロデューサ/コンシューマモデルを持っていますが、コンシューマはプロデューサに何らかの状態を戻したいとします。たとえば、下流に流れるオブジェクトをファイルに書きたいオブジェクトにし、上流のオブジェクトをファイルに書き込まれたオブジェクトの位置を表すトークン(オフセットなど)にします。 これら2つのプロセスは、このような単純な {-# LANGUAGE GeneralizedNewtype