管道
管道既可以是 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)