使用 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)。