連線管道

Created: November-22, 2018

使用 >-> 連線 Producers，Consumers 和 Pipes 以組成更大的 Pipe 功能。

printNaturals::MonadIO m => Effect m ()
printNaturals = naturalsUntil 10 >-> intToStr >-> fancyPrint

Producer，Consumer，Pipe 和 Effect 型別都是根據一般的 Proxy 型別定義的。因此， >-> 可用於各種目的。左引數定義的型別必須與右引數使用的型別匹配：

(>->) :: Monad m => Producer b m r -> Consumer b   m r -> Effect       m r
(>->) :: Monad m => Producer b m r -> Pipe     b c m r -> Producer   c m r
(>->) :: Monad m => Pipe   a b m r -> Consumer b   m r -> Consumer a   m r
(>->) :: Monad m => Pipe   a b m r -> Pipe     b c m r -> Pipe     a c m r