管道
管道既可以是 await
也可以是 yield
。
type Pipe a b = Proxy () a () b
这个管道等待一个 Int
并将其转换为 String
:
intToStr::Monad m => Pipe Int String m ()
intToStr = forever $ await >>= (yield . show)
管道既可以是 await
也可以是 yield
。
type Pipe a b = Proxy () a () b
这个管道等待一个 Int
并将其转换为 String
:
intToStr::Monad m => Pipe Int String m ()
intToStr = forever $ await >>= (yield . show)