author: michael pilquist

... What happens when we use Task with Stream ? We can use eval just like we did with 10 : val s : Stream [ Task , Int ] = Stream.eval ( Task ( " asdf " .toInt ) ) When we convert this stream to a task via one of the stream eliminators ...

... def take ( n : Int ) : Pull [ 0 , Option [ R ] ] if n < = 0 then Result ( None ) else step match = case Left ( r ) = > Result ( Some ( r ) ) case Right ( ( hd , tl ) ) = > Output ( hd ) >> tl.take ( n - 1 ) We can build lots of ...