Что такое точечная трубка ". |" оператора в Хаскелле?

Question

Я понимаю "." (точка) как функция композиции. Я понимаю «|» (труба) как «или», синтаксис введения охраны (от here), но I 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 сек точно так же, как . оператор используется для композиции функций. Наконец, .| - это новый синтаксис для замены $=, =$ и =$=, которые в любом случае были синонимами.