使用 runEffect 執行管道
我們使用 runEffect
來執行我們的 Pipe
:
main::IO ()
main = do
runEffect $ naturalsUntil 10 >-> intToStr >-> fancyPrint
請注意,runEffect
需要 Effect
,這是一個獨立的 Proxy
,沒有輸入或輸出:
runEffect::Monad m => Effect m r -> m r
type Effect = Proxy X () () X
(其中 X
是空型別,也稱為 Void
)。