Co to jest rurka kropkowa ". |" operator w Haskell?

Question

Rozumiem "." (kropka) jako skład funkcji. Rozumiem "|" (pipe) jako "lub", składnia wprowadzająca straży (od here), ale I saw an answer on http-conduits using ".|", która używa tego operatora w sposób, którego nie rozumiem.

Pozostałe odnośniki do rur znalazłem, takie jak:

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

... sugerują składni "$$", "$ =" " = $ = "," = $ "do łączenia przewodów w przepływie danych.

Co powinienem nazwać ". |" ten operator i jak to działa?

Przewidywalnie, szukanie w sieci dla ".mashkell" lub "" dot-rurki "haskell" lub "" dot-pipetowych "kanałów operatorskich" nie było zbyt udane.

Answer 1

To jest tylko (nowa) nowa składnia, którą conduit używa do fuzji. Autor napisał niedawno o tym blog-post. Cytując ze stanowiska, zaproponował (i ostatecznie to zrobił) do

Wymień $=, =$ i =$= operatorów - które są synonimami każdego drugiej - z operatorem .|. To zapożycza intuicję z powłoki Unix , gdzie operator rurki oznacza dane rurociągów z jednego procesu do innego: . Ta analogia ma naprawdę dobre znaczenie dla kanału, więc dlaczego nie pożyczyć jej? (Wzywamy wszystkich tych podmiotów „Fuzja”).

Tak na marginesie, jeśli kiedykolwiek trzeba spojrzeć w górę i operatorów, HayooHoogle są miejsca do pracy. Istnieje również Stackage Hoogle (dzięki @duplode), który pozwala wyszukać operatorów dla poszczególnych resolverów (co jest szczególnie przydatne tutaj, ponieważ jest to ostatnia zmiana).

Answer 2

.| została wprowadzona przez bibliotekę Conduit i jest synonimem fuse.

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

fuse służy do składu conduit s sam sposób jak . operatora dla kompozycji funkcji. Wreszcie, .| to nowa składnia do zastąpienia $=, =$ i =$=, które i tak były synonimami.