ドットパイプとは何ですか？ "|"ハスケルの演算子？

Question

私は " （ドット）を機能構成として表示する。私は "|" （またはパイプ）を「or」ガード導入構文（hereから）として扱いますが、このオペレータを私が理解できない方法で使用する私はsaw an answer on http-conduits using ".|"です。

など、私が発見した導管のためのその他の参考文献：

• https://docs.google.com/presentation/d/1RBefOCZ7AKOo4f1yiF4mtKPAT3l5vY9ky2SR02O4Vvg/edit#slide=id.g3c22e35a9_0205
• http://www.yesodweb.com/blog/2014/03/network-conduit-async

は... "、 "$ ="、 "$$" のような構文を提案します= $ = "、" = $ "を使用してデータフローのコンジットを結合します。

私はこれを "。|この演算子とはどのように動作しますか？

「。| haskell」または「 'dot pipe' haskell」または「 'dot pipe' haskell operator conduits」のグーグルリングはあまり成功しませんでした。

Answer 1

これは、融合のためにconduitが使用する（最近の）新しい構文です。作者はそれほど前にblog-postを書きました。ポストから引用すると、彼が提案した（そして最終的にこれをしなかった）

に=$、$=を交換し、そして=$=オペレーター - .|演算子と - すべて各 他の同義語です。これはUnixの シェルからの直観を借りています。パイプ演算子はあるプロセスから別のパイプへのパイプデータを示します。 です。その類推はコンジットのために本当にうまくいくので、 を借りてみませんか？あなたは今までのオペレータを検索する必要がある場合（私たちは、これらの演算子のすべてを呼び出す「融合」を）

余談として、HayooとHoogleはどこへ行く場所です。 Stackage Hoogle（ありがとう@duplode）もあります。これにより、特定のリゾルバの演算子を検索できます（これは最近の変更であるため特に便利です）。

Answer 2

.|は、Conduitライブラリによって導入され、fuseと同義です。

fuse 
    :: Monad m => Conduit a m b -> ConduitM b c m r -> ConduitM a c m r 

fuse.演算子は関数の組成物に使用されるconduit S同様の組成のために使用されます。 最後に、.|は、とにかく同義語だった$=,=$、および=$=を置き換える新しい構文です。